Trends in functional verification-Reference-Cited by-同舟云学术

Trends in functional verification

Published:2015-06-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 52nd Annual Design Automation Conference
language:
Short-container-title:

Author:

Foster Harry D.¹

Affiliation:

1. Mentor Graphics Corporation, Wilsonville, OR

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2744769.2744921

Reference6 articles.

1. ARM® AMBA® 5 CHI (Coherent Hub Interface) Specification 2013 ARM Ltd. ARM® AMBA® 5 CHI (Coherent Hub Interface) Specification 2013 ARM Ltd.

2. R. Collett "2002 IC/ASIC functional verification study " Industry Report from Collett International Research Inc. 2003. R. Collett "2002 IC/ASIC functional verification study " Industry Report from Collett International Research Inc. 2003.

3. R. Collett "2004 IC/ASIC functional verification study " Industry Report from Collett International Research Inc. 2005. R. Collett "2004 IC/ASIC functional verification study " Industry Report from Collett International Research Inc. 2005.

4. Applied Assertion-Based Verification: An Industry Perspective

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An effective fault localization approach for Verilog based on enhanced contexts;Frontiers of Computer Science;2024-06-06

2. Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12

3. PALS: Distributed Gradient Clocking on Chip;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2023-11

4. A Technique of X-PROP Verification of Power-Aware Debug Logic Integration Using Formal Verification Techniques;2023 3rd Asian Conference on Innovation in Technology (ASIANCON);2023-08-25

5. G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09