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-MMXIX Piotr Szotkowski p.szotkowski@tele.pw.edu.pl, licensed under AGPL 3 (see LICENCE)