Temporal Properties of Self-Timed Rings
Authors:
- 24 August 2001
- book chapter
- Published by Springer Nature
- p. 140-154
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- KRONOS: a verification tool for real-time systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Uppaal: Status & developmentsLecture Notes in Computer Science, 1997
- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata1997
- Modeling the effects of temporal proximity of input transitions on gate propagation delay and transition time1996
- An algorithm for exact bounds on the time separation of events in concurrent systemsIEEE Transactions on Computers, 1995
- A gate-delay model for high-speed CMOS circuits1994
- Delay-insensitive multi-ring structuresIntegration, 1993
- On the analysis and optimization of selftimed processor arraysIntegration, 1991
- Bubbles can make self-timed pipelines fastJournal of Signal Processing Systems, 1990
- MicropipelinesCommunications of the ACM, 1989