FastPath: A Hybrid Approach for Efficient Hardware Security Verification.
Saved in:
| 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 |
| ISSN: | 0738100X |
|---|---|
| DOI: | 10.1109/DAC63849.2025.11132905 |