DocumentCode
2472006
Title
State encoding of large asynchronous controllers
Author
Carmona, Josep ; Cortadella, Jordi
Author_Institution
Univ. Politecnica de Catalunya, Barcelona
fYear
0
fDate
0-0 0
Firstpage
939
Lastpage
944
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2006 43rd ACM/IEEE
Conference_Location
San Francisco, CA
ISSN
0738-100X
Print_ISBN
1-59593-381-6
Type
conf
DOI
10.1109/DAC.2006.229414
Filename
1688933
Link To Document