Skip to content


Subversion checkout URL

You can clone with
Download ZIP
Branch: master
Fetching contributors…

Cannot retrieve contributors at this time

11 lines (6 sloc) 457 Bytes

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, licensed under AGPL 3 (see LICENCE)

Jump to Line
Something went wrong with that request. Please try again.