Presentation
Design-Aware Multi-Armed Bandit Approach for Automated Design Verification
DescriptionConstrained Random Verification (CRV) is the standard methodology for ASIC design verification. Parametrized tests are used to limit the sampling space and activate specific design functionalities. Despite its widespread use, the vast input space poses significant challenges in achieving coverage closure. We introduce a design-aware Multi-Armed Bandit strategy to enhance test scheduling during regression, with the objective of maximizing coverage while minimizing the number of required simulations. This approach selects tests based on their estimated probability of improving coverage, leveraging design hierarchy and cyclomatic complexity information. By preempting non-contributing tests, our method achieves an average coverage improvement of 1.12% while reducing simulation efforts by 68% compared to traditional CRV methods.
Event Type
Networking
Work-in-Progress Poster
TimeSunday, June 226:00pm - 7:00pm PDT
LocationLevel 3 Lobby