%0 Journal Article
%T HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
%A Jayasena, Aruna
%A Mishra, Prabhat
%J Computing Research Repository
%V 2023
%N 2309
%D 2023-09-14
%~ DeepDyve