Title :
High-level state machine specification and synthesis
Author :
Kuehlmann, Andreas ; Bergamaschi, Reinaldo A.
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Abstract :
A method and algorithms for exploring the design space between the register-transfer and behavioral levels are presented. The method consists of the specification of a high-level state machine, which combines the advantages of a specific control structure, by means of states and transitions, with the flexibility of behavioral descriptions inside each high-level state. High-level synthesis techniques are used for synthesizing this machine. As a result, the user has control over the final controller implementation and is able to perform high-level tradeoffs between control and data path
Keywords :
finite state machines; formal specification; behavioral descriptions; behavioral levels; control path; data path; design space; high level state machine specification; register-transfer level; Algorithm design and analysis; Control system synthesis; Design optimization; Encoding; High level synthesis; Logic; Scheduling algorithm;
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1992. ICCD '92. Proceedings, IEEE 1992 International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-3110-4
DOI :
10.1109/ICCD.1992.276229
