发明名称 TRANSACTION BASED DESIGN VERIFICATION WITH HIERARCHICAL VERIFICATION COMPONENTS
摘要 A library of data structures is disclosed. These data structures will be used in verification components during the verification process of a device. The data structures are utilized to perform the tasks such as generating data objects, applying data objects to a design under verification, monitoring a physical interface, extracting data objects from a physical interface, and data checking objects. Additionally, the ability to utilize existing verification components as constituent elements to construct other verification components is disclosed.
申请公布号 WO02099707(A3) 申请公布日期 2003.12.18
申请号 WO2002US18131 申请日期 2002.06.04
申请人 QUALIS DESIGN CORPORATION 发明人 BERGERON, JANICK
分类号 G06F17/50;H04L12/24 主分类号 G06F17/50
代理机构 代理人
主权项
地址