Title :
Synthesis of asynchronous controllers using integer linear programming
Author :
Carmona, Josep ; Colom, José-Manuel ; Cortadella, Jordi ; García-Vallés, Fernando
Author_Institution :
Software Dept., Univ. Politecnica de Catalunya, Barcelona
Abstract :
A novel strategy for the logic synthesis of asynchronous control circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. Techniques that are capable of checking implementability conditions, such as complete state coding, and deriving a gate netlist to implement the specified behavior are presented. These techniques can handle Petri net specifications consisting of several thousands of transitions and provide a significant speed-up compared with techniques that have previously been proposed
Keywords :
Petri nets; asynchronous circuits; integer programming; linear programming; logic design; Petri net specifications; asynchronous control circuits; gate netlist; integer linear programming; logic synthesis; Asynchronous circuits; Circuit synthesis; Control system synthesis; Design automation; Explosions; Integer linear programming; Logic circuits; Petri nets; Protocols; Signal synthesis; Asynchronous circuits; Petri nets; logic synthesis; structural methods;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.2005.859516
