Inventors:
Phanindra Mannava - Folsom CA, US
Seungjoon Park - Los Altos CA, US
Ajit Dingankar - El Dorado Hills CA, US
Ching-Tsun Chou - Palo Alto CA, US
Nikhil Mittal - Bangalore, IN
Radhakrishnan V. Mahalikudi - Bangalore, IN
Mayank Singhal - Bangalore, IN
International Classification:
G06F 17/30
G06F 9/00
US Classification:
703 21, 707100, 707E17044, 707E17005
Abstract:
A method and apparatus for ensuring efficient validation coverage of an architecture, such as protocol or interconnect architecture, is herein described. A coverage space of states for an architecture is generated and stored in a database. During simulation, states of the coverage space encountered are marked. From this, the states encountered and not encountered may be determined. Based on the states not encountered, a targeted test suite is developed to target at least some of the states not encountered during previous simulation. This feedback loop from simulation to refining of a test suite based on states of a coverage space not encountered during simulation may be recursively repeated until adequate validation, i.e. an adequate confidence level of validation, of the coverage space is achieved.