Invention Grant
US08132135B2 Method and system for creating a boolean model of multi-path and multi-strength signals for verification
有权
用于创建用于验证的多路径和多强度信号的布尔模型的方法和系统
- Patent Title: Method and system for creating a boolean model of multi-path and multi-strength signals for verification
- Patent Title (中): 用于创建用于验证的多路径和多强度信号的布尔模型的方法和系统
-
Application No.: US12260353Application Date: 2008-10-29
-
Publication No.: US08132135B2Publication Date: 2012-03-06
- Inventor: Kei-Yong Khoo , Mitchell Hines , Chih-Chang Lin
- Applicant: Kei-Yong Khoo , Mitchell Hines , Chih-Chang Lin
- Applicant Address: US CA San Jose
- Assignee: Cadence Design Systems, Inc.
- Current Assignee: Cadence Design Systems, Inc.
- Current Assignee Address: US CA San Jose
- Agency: Vista IP Law Group, LLP
- Main IPC: G06F9/455
- IPC: G06F9/455 ; G06F17/50
Abstract:
A system, method, computer program product for verification and equivalence checking. In one approach, the system, method, and computer program product analyzes the switching paths in a manner consistent with circuit functionality to provide a complete application which can verify the complex characteristics in the circuits to the accurate RTL model function, including FPGA, ROM Arrays, RAM circuits, and other custom integrated circuit designs.
Public/Granted literature
- US20090113363A1 METHOD AND SYSTEM FOR CREATING A BOOLEAN MODEL OF MULTI-PATH AND MULTI-STRENGTH SIGNALS FOR VERIFICATION Public/Granted day:2009-04-30
Information query
