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)