发明名称 |
Method for optimizing integrated circuit device design and service |
摘要 |
Improved analysis and refinement of integrated circuit device design and other programs is facilitated by methods in reach-ability analysis is performed using hints which define a particular path through a program. To ensure that a reasonable number of states are reached during reach-ability analysis a order to apply the hints is determined. The ordering prioritizes hints which define program paths which set a given variable over hints which define program slice which use the given variable.
|
申请公布号 |
US7788646(B2) |
申请公布日期 |
2010.08.31 |
申请号 |
US20050250969 |
申请日期 |
2005.10.14 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
WARD DAVID |
分类号 |
G06F9/44;G06F17/50 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|