art décomp

A library for symbolic functional decomposition of finite state machines, aimed at their implementation in field-programmable gate array devices.

This library implements the method and algorithms described in the PhD thesis Symbolic Functional Decomposition Method for Implementation of Finite State Machines in FGPA Devices.

© MMIX-MMXII Piotr Szotkowski p.szotkowski@tele.pw.edu.pl, licensed under AGPL 3 (see LICENCE)