Invention Grant
- Patent Title: Computing validation coverage of integrated circuit model
- Patent Title (中): 集成电路模型的计算验证覆盖
-
Application No.: US13444094Application Date: 2012-04-11
-
Publication No.: US08495536B2Publication Date: 2013-07-23
- Inventor: Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
- Applicant: Bo Fan , Liang Chen , Yongfeng Pan , Fan Zhou
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Agent Yuanmin Cai; Kevin B. Anderson
- Priority: CN201110270261 20110831
- Main IPC: G06F17/50
- IPC: G06F17/50

Abstract:
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.
Public/Granted literature
- US20130055179A1 COMPUTING VALIDATION COVERAGE OF INTEGRATED CIRCUIT MODEL Public/Granted day:2013-02-28
Information query