DocumentCode :
3164017
Title :
Hierarchical Optimization of Asynchronous Circuits
Author :
Bill Lin, Gjalt de Jong, Tilman Kolks
Author_Institution :
IMEC, Leuven, Belgium
fYear :
1995
fDate :
1995
Firstpage :
712
Lastpage :
717
Abstract :
Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and communicate with each other. This paper is concerned with the problem of synthesizing such hierarchically defined systems. When the individual components are synthesized and implemented separately, it is desirable to take into account the degrees of freedom that arise from the interactions with the other components and from the specification. Specifically, we consider how one can find the set of implementations that can be "correctly substituted" for a component in the system while preserving the behavior of the total system. The notion of correct substitution is formally defined for a hierarchical network of possibly non-deterministic modules and a new solution framework based on trace theory is presented to compute and represent this complete set of correct substitutions. We show that the complete set can be captured by a single trace structure using the notion of a "maximal trace structure". We indicate how asynchronous synthesis methods may be applied to explore the solution space e.g. to generate a delay-insensitive implementation.
Keywords :
Algorithm design and analysis; Asynchronous circuits; Automatic control; Circuit synthesis; Clocks; Computer networks; Delay; Integrated circuit interconnections; Power dissipation; Space exploration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1995. DAC '95. 32nd Conference on
Conference_Location :
San Francisco, CA
ISSN :
0738-100X
Print_ISBN :
0-89791-725-1
Type :
conf
DOI :
10.1109/DAC.1995.250057
Filename :
1586794
Link To Document :
بازگشت