Searching for "Timed Verification of Asynchronous Circuits." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Timed Verification of Asynchronous Circuits
- …Timed Verication of Asynchronous Circuits ? Jesper Mller, Henrik Hulgaard, and Henrik Reif…
- Cited by 1 (0 self) – Add To MetaCart
-
Variable Delay Timing Analysis of Logic Circuits Behnam Bani-Eqbal
- … variations in the gates. The algorithm can also be used for the timing verification of asynchronous circuits…
- Add To MetaCart
-
Practical timing analysis of asynchronous circuits using time separations of events
- … separately. Timing verification of asynchronous circuits has been primarily concerned with controller…
- Cited by 5 (3 self) – Add To MetaCart
-
Implementing Asynchronous Circuits using a Conventional EDA Tool-Flow
- … to perform timing verification of the asynchronous circuit’s path constraints at various stages of the EDA…
- Add To MetaCart
-
On the GALS Design Methodology of ETH Zurich
- … verification Asynchronous circuits require certain timing conditions to hold for correct operation…
- Cited by 1 (0 self) – Add To MetaCart
-
ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning
- … computational fee. It is well-known that continuous time verification of asynchronous circuits is much harder…
- Add To MetaCart
-
Timing Analysis for Extended Burst-Mode Circuits
- … [12] are two well-known techniques for hazard detection and timing verification of asynchronous…
- Cited by 12 (7 self) – Add To MetaCart
-
Min-Max Timing Analysis and An Application to Asynchronous Circuits
- … detection and timing verification of asynchronous circuits with bounded component delays. Devadas et al. [25…
- Cited by 14 (0 self) – Add To MetaCart
Showing 1 through 8.
