An Endeavor to Industrialize Hardware Fuzzing: Automating NoC Verification in UVM.
Ruiyang MaHuatao ZhaoJiayi HuangShijian ZhangGuojie LuoPublished in: DATE (2024)
Keyphrases
- real time
- low cost
- hardware designs
- model checking
- hardware and software
- face verification
- computer systems
- multi processor
- verification method
- image processing
- hardware architecture
- computing systems
- hardware implementation
- vlsi implementation
- data acquisition
- network on chip
- formal methods
- hardware design
- routing algorithm
- multi core processors
- asynchronous circuits
- quality of service
- wireless sensor networks
- functional verification