A Survey on Assertion-based Hardware Verification.
Hasini WitharanaYangdi LyuSubodha CharlesPrabhat MishraPublished in: ACM Comput. Surv. (2022)
Keyphrases
- low cost
- hardware designs
- hardware and software
- real time
- model checking
- massively parallel
- computer systems
- formal verification
- vlsi implementation
- evolutionary algorithm
- image processing
- embedded systems
- personal computer
- person identification
- high end
- verification method
- control program
- parallel hardware
- computing systems
- signature verification
- formal analysis
- face verification
- hardware implementation
- data acquisition
- operating system
- data sets