On Specifications and Proofs of Timed Circuits.
Matthias FüggerChristoph LenzenUlrich SchmidPublished in: CoRR (2022)
Keyphrases
- delay insensitive
- asynchronous circuits
- petri net
- finite state machines
- timed automata
- low power
- theorem prover
- search engine
- mathematical proofs
- formal proofs
- formal proof
- analog vlsi
- natural deduction
- functional requirements
- theorem proving
- inference rules
- discrete event
- operational semantics
- analog circuits
- computer programs
- formal specification
- power consumption
- high speed
- low cost
- neural network
- interactive theorem proving