Invention Grant
- Patent Title: Verification technique
- Patent Title (中): 验证技术
-
Application No.: US11923663Application Date: 2007-12-03
-
Publication No.: US07996799B2Publication Date: 2011-08-09
- Inventor: Monica Farkash , Shmuel Ur
- Applicant: Monica Farkash , Shmuel Ur
- Applicant Address: US NY Armonk
- Assignee: International Business Machines Corporation
- Current Assignee: International Business Machines Corporation
- Current Assignee Address: US NY Armonk
- Main IPC: G06F17/50
- IPC: G06F17/50
Abstract:
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.
Public/Granted literature
- US20090144676A1 DESIGN VERIFICATION TECHNIQUE Public/Granted day:2009-06-04
Information query
