Accelerating Coverage Directed Test Generation for Functional Verification-Reference-Cited by-同舟云学术

Accelerating Coverage Directed Test Generation for Functional Verification

Published:2018-05-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 on Great Lakes Symposium on VLSI
language:
Short-container-title:

Author:

Wang Fanchao¹,Zhu Hanbin¹,Popli Pranjay¹,Xiao Yao¹,Bodgan Paul¹,Nazarian Shahin¹

Affiliation:

1. University of Southern California, Los Angeles, CA, USA

Publisher

ACM

Link

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

Reference17 articles.

1. Graph-Based Algorithms for Boolean Function Manipulation

2. Symbolic Boolean manipulation with ordered binary-decision diagrams

3. B. Bünz and M. Lamm. "Graph Neural Networks and Boolean Satisfiability". In: 2017. B. Bünz and M. Lamm. "Graph Neural Networks and Boolean Satisfiability". In: 2017.

4. Event-driven gate-level simulation with GP-GPUs

5. M. Cheng J. Li and S. Nazarian. "DRL-cloud: Deep reinforcement learningbased resource provisioning and task scheduling for cloud service providers". In: ASPDAC. 2018. M. Cheng J. Li and S. Nazarian. "DRL-cloud: Deep reinforcement learningbased resource provisioning and task scheduling for cloud service providers". In: ASPDAC. 2018.

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

1. Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and Prospect;ACM Transactions on Design Automation of Electronic Systems;2024-06-21

2. SSFuzz:Generating syntactic and semantic seeds for RISC-V processors;Proceedings of the Great Lakes Symposium on VLSI 2024;2024-06-12

3. Exploring Coverage Metrics in Hardware Fuzzing: A Comprehensive Analysis;Proceedings of the Great Lakes Symposium on VLSI 2024;2024-06-12

4. Two-dimensional Search Space for Extracting Broadside Tests from Functional Test Sequences;ACM Transactions on Design Automation of Electronic Systems;2024-04-22

5. Robust GNN-Based Representation Learning for HLS;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28