Author:
Vasudevan Shobha,Sheridan David,Patel Sanjay,Tcheng David,Tuohy Bill,Johnson Daniel
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation;2023 IEEE 16th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC);2023-12-18
2. AUTG: An Automatic UVM-based TestBench Generator for VLSI Chip Design Verification;2023 International Conference on Microelectronics (ICM);2023-12-17
3. LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
4. SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications;ACM Transactions on Design Automation of Electronic Systems;2023-10-16
5. Towards Accelerating Assertion Coverage Using Surrogate Logic Models;2023 IEEE International Symposium on Circuits and Systems (ISCAS);2023-05-21