Sciweavers

65 search results - page 2 / 13
» Asynchronous Data-Driven Circuit Synthesis
Sort
View
179
Voted
ACSD
2001
IEEE
121views Hardware» more  ACSD 2001»
15 years 10 months ago
A structural encoding technique for the synthesis of asynchronous circuits
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
Josep Carmona, Jordi Cortadella, Enric Pastor
138
Voted
VLSID
1995
IEEE
97views VLSI» more  VLSID 1995»
15 years 10 months ago
Synthesis of asynchronous circuits for stuck-at and robust path delay fault testability
In this paper, we present methods for synthesizing multi-level asynchronous circuits to be both hazard-free
Steven M. Nowick, Niraj K. Jha, Fu-Chiung Cheng
150
Voted
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
15 years 11 months ago
XBM2PLA: A Flexible Synthesis Tool for Extended Burst Mode Machines
This paper describes the results of a new synthesis tool (XBM2PLA) for asynchronous state machines [2]. XBM2PLA generates the boolean functions for an asynchronous circuit. XBM2PL...
Oliver Kraus, Martin Padeffke
ENTCS
2010
113views more  ENTCS 2010»
15 years 6 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith
145
Voted
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
16 years 12 days ago
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
Yu Zhou, Danil Sokolov, Alexandre Yakovlev