互连体系结构状态覆盖测量方法

摘要

本文描述了一种用于确保诸如协议或互连体系结构的体系结构的有效确认覆盖的方法和装置。生成体系结构的状态的覆盖空间并将其存储在数据库中。在模拟期间，标记遇到的覆盖空间的状态。由此，可确定遇到和未遇到的状态。基于未遇到的状态，开发目标测试套件以将先前模拟期间未遇到的状态中的至少某些作为目标。这种从模拟到基于在模拟期间未遇到的覆盖空间的状态改进测试套件的反馈环可递归地重复，直到达到覆盖空间的足够的确认，即足够的确认置信水平。

主权项

1. 一种装置，包括：保持覆盖数据库的存储介质，所述覆盖数据库包括与体系结构的第一数量的可能状态相对应的第一数量的条目，其中与所述多个可能状态中的一个可能状态相对应的所述第一数量的条目中的一个条目包括多个参数值，所述参数值中的每一个表示对应所述一个可能状态的所述体系结构的相关联的参数的值。