research
∙
09/14/2023
HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
Hardware-firmware co-verification is critical to design trustworthy syst...
share
research
∙
02/23/2023
Sequence-Based Incremental Concolic Testing of RTL Models
Concolic testing is a scalable solution for automated generation of dire...
research
∙
02/17/2023
