ACCELERATING FUNCTIONAL COVERAGE CLOSURE THROUGH ITERATIVE MACHINE LEARNING

Authors

  • Kaushik Velapa Reddy Microsoft, USA Author

Keywords:

Functional Coverage Closure, Machine Learning Verification, SoC Design Validation, Adaptive Test Generation, Coverage-Directed Verification

Abstract

This article presents a novel machine learning-based method for closing functional coverage in System-on-Chip (SoC) verification that improves coverage quality and drastically cuts down on verification cycle time. To automatically detect coverage gaps and provide focused test cases, it introduces a unique framework that blends deep neural networks with iterative learning algorithms, building on well-established coverage-directed test generation approaches. Five industrial SoC designs with gates ranging from 2M to 15M are used for evaluation. The results show a 52% decrease in verification effort compared to previous methods and a 15% improvement in functional coverage, with 99.2%. Using a three-phase learning architecture—adaptive test generation, initial coverage analysis, and continual refinement—the suggested method accelerates coverage convergence for complex corner instances by 3.8 times. This approach consistently outperforms standard coverage closure techniques, especially when identifying and targeting hard-to-reach coverage points that usually require extensive manual intervention, as confirmed by an analysis of over 50,000 simulation runs across various design configurations. The system's use at three significant semiconductor businesses further validates the results, reducing the manual test generation effort by 71% while increasing overall verification confidence through more thorough coverage of corner cases. The results show that machine learning-driven verification closure is feasible in actual industrial environments and provides a foundation for future automation of hardware verification processes.

References

Raviv Gal and Avi Ziv, "Machine Learning in the Service of Hardware Functional Verification," August 2022, Machine Learning Applications in Electronic Design Automation (pp.377-424). Available: https://www.researchgate.net/publication/366756895_Machine_Learning_in_the_Service_of_Hardware_Functional_Verification

InBuilt Data Research Team, "The Evolution and Impact of Machine Learning Models in Industry 4.0," Jun 15, 2024. Available: https://www.linkedin.com/pulse/evolution-impact-machine-learning-models-industry-inbuiltdata-0mxoc

Ven Chen, Sandip Ray, Magdi S Abadir, Jayanta Bhadra, "Challenges and Trends in Modern SoC Design Verification," August 2017, IEEE Design and Test PP(99):1-1. Available: https://www.researchgate.net/publication/318890041_Challenges_and_Trends_in_Modern_SoC_Design_Verification

Dan Zhao, Shambhu Upadhyaya, Martin Margala, "Minimizing concurrent test time in SoCs by balancing resource usage," January 2002. Available: https://www.researchgate.net/publication/314814240_Minimizing_concurrent_test_time_in_SoC's_by_balancing_resource_usage

Hanna Jang, Seonghee Yim, Sunchang Choi, Seonil Brian Choi, and A. Cheng, "Machine Learning Based Verification Planning Methodology Using Design and Verification Data," Design and Verification Conference (DVCon), 2023. Available: https://dvcon-proceedings.org/wp-content/uploads/Machine-Learning-Based-Verification-Planning-Methodology-Using-Design-and-Verification-Data-1.pdf

Amin Safaei, Q.M. Jonathan Wu, Yimin Yang, "System-on-a-chip (SoC)-based hardware acceleration for foreground and background identification ," ScienceDirect.. Available: https://www.sciencedirect.com/science/article/abs/pii/S0016003217303666

Kiran Vittal, "SoC Design and Verification Solutions for a New Era of AI Chips," Synopsys Blogs, Mar 08, 2024. Available: https://www.synopsys.com/blogs/chip-design/advanced-soc-verification-enables-new-era-ai-chips.html

Rob van Blommestein, "Enhance Chip Verification with AI and Machine Learning," Jul 12, 2022. Available: https://www.synopsys.com/blogs/chip-design/enhance-chip-verification-with-ai-and-machine-learning.html

Pol Borrellas, Irene Unceta, "The Challenges of Machine Learning and Their Economic Implications," 25 February 2021. Available: https://www.mdpi.com/1099-4300/23/3/275

arxiv, "AROhI: An Interactive Tool for Estimating ROI of Data Analytics," arXiv:2407.13839v1, 18 Jul 2024. Available: https://arxiv.org/html/2407.13839v1

Ramya, "Next-Generation Processors: Integrating AI and VLSI Technologies," October 17, 2024. Available: https://vlsifirst.com/blog/next-generation-processors-integrating-ai-and-vlsi-technologies

Cadence Technical Staff, "Reinforcement Learning". Available: https://www.cadence.com/en_US/home/explore/reinforcement-learning.html

Published

2024-11-20

How to Cite

Kaushik Velapa Reddy. (2024). ACCELERATING FUNCTIONAL COVERAGE CLOSURE THROUGH ITERATIVE MACHINE LEARNING. INTERNATIONAL JOURNAL OF RESEARCH IN COMPUTER APPLICATIONS AND INFORMATION TECHNOLOGY (IJRCAIT), 7(2), 1401-1411. https://ijrcait.com/index.php/home/article/view/IJRCAIT_07_02_108