HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction.
Aruna JayasenaPrabhat MishraPublished in: CoRR (2023)
Keyphrases
- ibm zenterprise
- computer systems
- hardware designs
- automatic extraction
- low cost
- operating system
- commodity hardware
- hardware and software
- information extraction
- input output
- real time
- low latency
- computing systems
- semi automated
- power consumption
- error detection
- hardware implementation
- face verification
- computing power
- personal computer
- fully automated
- data analytics
- parallel hardware
- massively parallel
- decomposition algorithm
- formal verification
- map reduce
- highly scalable
- model checking
- data mining