Hot Fuzz: Assisting verification by fuzz testing microelectronic hardware.
Henning SiemenJonas LienkeGeorg GläserPublished in: SMACD (2023)
Keyphrases
- hardware designs
- model checking
- hardware and software
- symbolic execution
- formal verification
- low cost
- real time
- image processing
- search engine
- software implementation
- computing power
- massively parallel
- vlsi implementation
- hardware architecture
- test generation
- software testing
- thin film
- hardware implementation
- test cases
- learning algorithm