FoCuS: A Dynamic Regression Suite Generation Platform for Processor Functional Verification.
Amir Hekmatpour, James Coulter, Azadeh Salehi · 2005
Functional verification of complex integrated circuits such as processors utilize a large number of tests. To manage the verification resources and reduce redundancies optimized regression suites are required. We describe a platform for generating coverage-based regression test suites that can be simulated to verify the changes and enhancements to a system (hardware, software) to ensure that the design does not violate the desired functionality. The web-based platform called FoCuS provides integrated regression suite generation, optimization and management. Application of FoCuS to advanced processor verification has shown consistent regression suite quality and size improvement over existing greedy and ad-hoc methods. 1