Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Refinement of Hardware Assertion Checkers;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
2. A Survey on Assertion-based Hardware Verification;ACM Computing Surveys;2022-01-31
3. Enhancing Network-on-Chip Performance by Reusing Trace Buffers;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-04
4. SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs;2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS);2020-04
5. A Comparative Study of Assertion Mining Algorithms in GoldMine;Machine Learning in VLSI Computer-Aided Design;2019