Invention Grant
US07350168B1 System, method and computer program product for equivalence checking between designs with sequential differences
有权
用于在具有连续差异的设计之间进行等价检查的系统，方法和计算机程序产品
- Patent Title: System, method and computer program product for equivalence checking between designs with sequential differences
- Patent Title (中): 用于在具有连续差异的设计之间进行等价检查的系统，方法和计算机程序产品
-
Application No.: US11129238Application Date: 2005-05-12
-
Publication No.: US07350168B1Publication Date: 2008-03-25
- Inventor: Anmol Mathur , Nikhil Sharma , Deepak Goyal , Gagan Hasteer , Rajarshi Mukherjee
- Applicant: Anmol Mathur , Nikhil Sharma , Deepak Goyal , Gagan Hasteer , Rajarshi Mukherjee
- Applicant Address: US CA Santa Clara
- Assignee: Calypto Design Systems, Inc.
- Current Assignee: Calypto Design Systems, Inc.
- Current Assignee Address: US CA Santa Clara
- Agency: Zilka-Kotab, PC
- Main IPC: G06F17/50
- IPC: G06F17/50
Abstract:
A system, method and computer program product are provided for equivalency checking between a first design and a second design having sequential differences. To accomplish the equivalency checking, sequential differences between a first design and a second design are identified. It is then determined whether the first design and the second design are equivalent, utilizing the identified sequential differences.
Information query
