On Specifications and Proofs of Timed Circuits.
Matthias FüggerChristoph LenzenUlrich SchmidPublished in: Principles of Systems Design (2022)
Keyphrases
- delay insensitive
- asynchronous circuits
- petri net
- finite state machines
- theorem proving
- formal proofs
- discrete event
- timed automata
- high level
- low power
- formal proof
- theorem prover
- concurrent systems
- high speed
- reactive systems
- digital circuits
- formal specification
- markov chain
- natural deduction
- decision procedures
- vlsi circuits