Timing analysis of asynchronous circuits using timed automata
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 189-205
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Reachability analysis of dynamical systems having piecewise-constant derivativesTheoretical Computer Science, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Verifying ET-LOTOS programs with KRONOS1995
- Symbolic controller synthesis for discrete and timed systems1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- A theory of timed automataTheoretical Computer Science, 1994
- Timed Boolean Functions1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991
- Analysis of digital circuits through symbolic reductionIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991