Invention Grant
US08117571B1 System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations
有权
系统，方法和计算机程序产品，用于确定使用抽象和转换的网表的等价性
- Patent Title: System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations
- Patent Title (中): 系统，方法和计算机程序产品，用于确定使用抽象和转换的网表的等价性
-
Application No.: US12260851Application Date: 2008-10-29
-
Publication No.: US08117571B1Publication Date: 2012-02-14
- Inventor: Pankaj P. Chauhan , Deepak Goyal , Anmol Mathur
- Applicant: Pankaj P. Chauhan , Deepak Goyal , Anmol Mathur
- 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: Klarquist Sparkman, LLP
- Main IPC: G06F17/50
- IPC: G06F17/50
Abstract:
A system, method and computer program product are provided for determining equivalence of netlists utilizing at least one transformation. In use, a netlist including a plurality of infinite portions and a plurality of finite portions is identified. Additionally, at least some of the finite portions are transformed, utilizing at least one predetermined transformation. Further, an equivalence of the netlist and another netlist is determined, utilizing at least a subset of the finite portions and the infinite portions. Moreover, an abstraction is performed on the netlist.
Information query
