ACCELERATING FUNCTIONAL COVERAGE CLOSURE THROUGH ITERATIVE MACHINE LEARNING
Keywords:
Functional Coverage Closure, Machine Learning Verification, SoC Design Validation, Adaptive Test Generation, Coverage-Directed VerificationAbstract
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