FastPath: A Hybrid Approach for Efficient Hardware Security Verification.

Saved in:
Bibliographic Details
Title: FastPath: A Hybrid Approach for Efficient Hardware Security Verification.
Authors: Deutschmann, Lucas1, lucas.deutschmann@rptu.de, Meza, Andres2, anmeza@ucsd.edu, Stoffel, Dominik1, dominik.stoffel@rptu.de, Kunz, Wolfgang1, wolfgang.kunz@rptu.de, Kastner, Ryan2, kastner@ucsd.edu
Source: DAC: Annual ACM/IEEE Design Automation Conference; 2025, Issue 62, p1-7, 7p
Database: Applied Science & Technology Source
Description
ISSN:0738100X
DOI:10.1109/DAC63849.2025.11132905