发明授权
- 专利标题： Computing validation coverage of integrated circuit model
- 专利标题（中）： 集成电路模型的计算验证覆盖
-
申请号： US13444094申请日： 2012-04-11
-
公开(公告)号： US08495536B2公开(公告)日： 2013-07-23
- 发明人: Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
- 申请人： Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 代理商 Yuanmin Cai; Kevin B. Anderson
- 优先权： CN201110270261 20110831
- 主分类号： G06F17/50
- IPC分类号： G06F17/50
摘要：
Embodiments of the present invention provide a method of computing validation coverage of an integrated circuit model, comprising: obtaining a logical structure of a integrated circuit model under validation; searching and recording signal paths in the integrated circuit model under validation based on the logical structure; and computing coverage of validation with respect to the signal paths. According to the technical solution as provided in the embodiments of the present invention, a signal path-based validation coverage may be obtained, thereby providing data regarding validation completeness more accurately.
公开/授权文献
信息查询
