Author:
Mukherjee Subhankar,Dasgupta Pallab,Mukhopadhyay Siddhartha
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A run-time verification method with consideration of uncertainties for cyber–physical systems;Microprocessors and Microsystems;2023-09
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. Migrating Assertions from Dense to Discrete Time;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021
4. CEPA;Proceedings of the 39th International Conference on Computer-Aided Design;2020-11-02
5. AMS-Miner: Mining AMS Assertions Using Interval Arithmetic;2018 31st International Conference on VLSI Design and 2018 17th International Conference on Embedded Systems (VLSID);2018-01