Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs


This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach uses a novel FSM decomposition technique, which partitions both the states of a machine and its inputs between several sub-machines. The technique developed exploits incomplete output specifications in order to minimize the interconnect complexity of the resulting network, and uses a custom Genetic Algorithm to explore the space of possible partitions. User-controlled trade-off between logic depth and logic area is allowed, and the algorithm itself during execution determines the number of sub-FSMs in the resulting decomposition. The results from MCNC benchmarks applied to Xilinx XC4000 and Altera FLEX8000 devices are presented.

DOI: 10.1007/978-3-540-48302-1_33

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@inproceedings{Constantinides1999SynthiaSO, title={Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs}, author={George A. Constantinides and Peter Y. K. Cheung and Wayne Luk}, booktitle={FPL}, year={1999} }