Achieving high coverage in hardware equivalence checking via concolic verification.
Pritam RoySagar ChakiPublished in: Formal Methods Syst. Des. (2022)
Keyphrases
- achieving high
- verification method
- hardware designs
- low cost
- real time
- hardware and software
- model checking
- formal verification
- computing power
- massively parallel
- hardware implementation
- computer systems
- face verification
- hardware architecture
- software implementation
- image processing
- parallel hardware
- computational power
- signature verification
- high end
- single chip
- digital circuits
- genetic algorithm