@misc{indiciaeafd35290f03d,
  title = {HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction},
  author = {Aruna Jayasena and Prabhat Mishra},
  year = {2024},
  doi = {10.1109/tcad.2024.3383961},
  url = {https://arxiv.org/abs/2309.08002},
  note = {Source identifier: 2309.08002}
}