Circuits as Streams in Coq: Verification of a Sequential Multiplier.
Christine Paulin-MohringPublished in: TYPES (1995)
Keyphrases
- formal methods
- asynchronous circuits
- model checking
- delay insensitive
- data streams
- floating point
- formal analysis
- theorem prover
- logic synthesis
- learning algorithm
- formal verification
- sliding window
- real time
- verification method
- sequential search
- face verification
- case study
- data sets
- temporal logic
- high speed
- low cost
- software engineering
- expert systems
- digital circuits
- transactional data
- knowledge base
- neural network
- database
- functional verification
- tunnel diode