Sciweavers

5 search results - page 1 / 1
» Automatic Synthesis of Fast Compact Asynchronous Control Cir...
Sort
View
IFIP
1993
Springer
14 years 2 months ago
Automatic Synthesis of Fast Compact Asynchronous Control Circuits
Al Davis, Bill Coates, Ken Stevens
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
14 years 3 months ago
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
Jordi Cortadella, Michael Kishinevsky, Steven M. B...
ICCAD
2006
IEEE
155views Hardware» more  ICCAD 2006»
14 years 7 months ago
Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li...
ICCAD
1993
IEEE
111views Hardware» more  ICCAD 1993»
14 years 3 months ago
Unifying synchronous/asynchronous state machine synthesis
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
Kenneth Y. Yun, David L. Dill
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
14 years 7 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...