Author:
Hertz S.,Sheridan D.,Vasudevan S.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification;2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS);2024-07-03
2. AutoModel: Automatic Synthesis of Models From Communication Traces of SoC Designs;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-07
3. Prioritizing Information Flow Violations: Generation of Ranked Security Assertions for Hardware Designs;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06
4. ARTmine: Automatic Association Rule Mining with Temporal Behavior for Hardware Verification;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
5. (Security) Assertions by Large Language Models;IEEE Transactions on Information Forensics and Security;2024