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