A Scalable Approach for Hardware Semiformal Verification.
Tomás GrimmDjones LettninMichael HübnerPublished in: CoRR (2018)
Keyphrases
- low cost
- hardware designs
- hardware and software
- commodity hardware
- real time
- vlsi implementation
- highly scalable
- hardware implementation
- image processing
- personal computer
- data acquisition
- low latency
- signature verification
- formal verification
- hardware architecture
- model checking
- verification method
- computer systems
- web scale
- memory efficient
- software implementation
- standard pc
- lightweight
- parallel hardware