Hardware-Verification using First Order BDDs.
Klaus SchneiderRamayya KumarThomas KropfPublished in: CHDL (1993)
Keyphrases
- decision diagrams
- hardware designs
- digital circuits
- hardware and software
- low cost
- first order logic
- model checking
- real time
- binary decision diagrams
- formal verification
- higher order
- image processing
- markov decision processes
- heuristic search
- computing systems
- massively parallel
- computer systems
- embedded systems
- face verification
- hardware architecture
- parallel hardware
- stochastic dominance
- linear temporal logic
- timed automata
- hardware software
- functional verification
- asynchronous circuits
- single chip
- hardware design
- horn clauses
- computing power
- hardware implementation
- personal computer
- knowledge representation
- neural network