HIVE: Scalable Hardware-Firmware Co-Verification Using Scenario-Based Decomposition and Automated Hint Extraction
| Title: | HIVE: Scalable Hardware-Firmware Co-Verification Using Scenario-Based Decomposition and Automated Hint Extraction |
|---|---|
| Authors: | Jayasena, A., Mishra, P. |
| Source: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 43(10):3278-3291 Oct, 2024 |
| Database: | IEEE Xplore Digital Library |
| ISSN: | 02780070 19374151 |
|---|---|
| DOI: | 10.1109/TCAD.2024.3383961 |
| Published in: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. |