Login / Signup
BDD-Based Hardware Verification.
Gianpiero Cabodi
Marco Murciano
Published in:
SFM (2006)
Keyphrases
</>
hardware designs
low cost
hardware and software
real time
model checking
computational power
computer systems
computing power
parallel processing
hardware implementation
hardware design
formal verification
hardware architecture
image processing
personal computer
video sequences
heuristic search algorithms
binary decision diagrams
asynchronous circuits
digital signal processor
parallel hardware