发明名称 Verification technique
摘要 A method includes determining whether or not a statement in a design has any functionality. The functionality includes impact on the operation of the design. Also included in the invention is an impact checker to determine the impact of portions of the design on the operation of the design.
申请公布号 US7996799(B2) 申请公布日期 2011.08.09
申请号 US20070923663 申请日期 2007.12.03
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 FARKASH MONICA;UR SHMUEL
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址