Elettrolinux

FSMDesigner4 is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits. A pure combinatorial circuit has no internal registers, so its outputs depend only on its primary inputs. On the contrary a synchronous sequential circuit having internal registers sees its outputs changing according to its inputs but also memorized values in its registers. As consequence, the circuit state at the moment t+1 also depends on its state at the moment t. This type of circuit can be formally modelized as a Finite States Machine (FSM). Some features of FSMDesigner4 are:

FSMDesigner4 is enclosed on various GNU/Linux distributions like Mandriva and OpenSUSE (below images). It's a project of the University of Heidelberg - Computer Architecture Group - in the Research Area. Click here for the project page.