Funder
Intel Corporation CAD SRS Funding
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Elements of Timed Pattern Matching;ACM Transactions on Embedded Computing Systems;2024-06-10
2. The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-12
3. Recurrence in Dense-Time AMS Assertions;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021-11
4. Migrating Assertions from Dense to Discrete Time;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021