Title :
State encoding of large asynchronous controllers
Author :
Carmona, Josep ; Cortadella, Jordi
Author_Institution :
Univ. Politecnica de Catalunya, Barcelona
Abstract :
A novel method to solve the state encoding problem in signal transition graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifications with hundreds of signals. This new method opens the door to incorporate logic synthesis in the design flow of large control circuits obtained from high-level specifications. The experimental results validate the quality of the encoded circuits and show the significant improvements that can be obtained by the synthesis of large controllers
Keywords :
Petri nets; asynchronous circuits; high level synthesis; Petri nets; asynchronous controllers; control circuits; design flow; encoded circuits; encoding problem; high-level specifications; logic synthesis; signal transition graphs; state encoding; structural theory; Asynchronous circuits; Circuit synthesis; Concurrent computing; Encoding; Logic circuits; Logic design; Petri nets; Protocols; Signal synthesis; State-space methods; Algorithms; Asynchronous circuits; Design; Petri nets; state encoding;
Conference_Titel :
Design Automation Conference, 2006 43rd ACM/IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
1-59593-381-6
DOI :
10.1109/DAC.2006.229414
