Residue BDD and Its Application to the Verification of Arithmetic Circuits.
Shinji KimuraPublished in: DAC (1995)
Keyphrases
- asynchronous circuits
- model checking
- face verification
- binary decision diagrams
- delay insensitive
- image processing
- signature verification
- formal verification
- arithmetic operations
- high level synthesis
- high speed
- analog vlsi
- artificial intelligence
- digital circuits
- logic synthesis
- false acceptance rate
- electronic circuits
- concurrent systems
- circuit design
- amino acids
- search engine