Fast and compact sequential circuits through the information-driven circuit synthesis

Modern circuit implementation technologies (FPGAs, CPLDs, complex gates, etc.) introduce new implementation constraints and optimization criteria to sequential circuit synthesis. Moreover, to ensure good quality results, these criteria need to be applied throughout the entire circuit synthesis process, starting at state encoding. In this paper, we present new methods and tools for state encoding and combinational synthesis of sequential circuits based on new criteria of information flow optimization. Together they form a unified and complete pre-placement synthesis chain. Experimental results indicate that the unified, information-driven approach is effective, resulting in circuits from IWLS benchmark being on average 25% smaller and 30% faster than those synthesized by another state-of-the-art tools.

[1]  Lech Józwiak,et al.  Information relationships and measures: an analysis apparatus for efficient information system synthesis , 1997, EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167).

[2]  Mariusz Rawski,et al.  The influence of the number of values in sub-functions on the effectiveness and efficiency of the functional decomposition , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[3]  Lech Jozwiak,et al.  A new state assignment method targeting FPGA implementations , 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

[4]  P. R. Stephan,et al.  SIS : A System for Sequential Circuit Synthesis , 1992 .

[5]  Lech Józwiak,et al.  High-quality sub-function construction in functional decomposition based on information relationship measures , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

[6]  Tiziano Villa,et al.  NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations , 1989, 26th ACM/IEEE Design Automation Conference.

[7]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[8]  B. Steinbach,et al.  PARALLEL AUTOMATON AND ITS HARDWARE IMPLEMENTATION , 2000 .