art décomp

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

Author, © and licence

© 2009 Piotr Szotkowski <p.szotkowski@tele.pw.edu.pl> licensed under AGPL 3 (see LICENCE)