Patents by Inventor Kei-Yong Khoo
Kei-Yong Khoo has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 8875087Abstract: Disclosed is an improved method, system, and computer program product to perform automated generation and/or modification of control scripts for EDA tools. A script generator/modifier mechanism is used to access an optimization database to identify potential content of the control script. This potential content is then analyzed to identify the appropriate content to insert into the control script, to accomplish the intended goal of the user in operating the EDA tool. The script generator/modifier mechanism may itself be implemented in a script format.Type: GrantFiled: September 30, 2012Date of Patent: October 28, 2014Assignee: Cadence Design Systems, Inc.Inventors: Yinghua Li, Kei-Yong Khoo
-
Patent number: 8132135Abstract: 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.Type: GrantFiled: October 29, 2008Date of Patent: March 6, 2012Assignee: Cadence Design Systems, Inc.Inventors: Kei-Yong Khoo, Mitchell Hines, Chih-Chang Lin
-
Patent number: 7735035Abstract: 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.Type: GrantFiled: May 31, 2006Date of Patent: June 8, 2010Assignee: Cadence Design Systems, Inc.Inventors: Kei-Yong Khoo, Mitchell Hines, Chih-Chang Lin
-
Patent number: 7669165Abstract: Method and system for equivalence checking of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of a circuit, receiving a power specification file for describing power requirements of the circuit, creating a low power gate netlist for representing a design implementation of the circuit using the RTL netlist and the power specification file, creating a reference low power RTL netlist for representing a design specification of the circuit using the RTL netlist and the power specification file, and performing equivalence checking between the low power gate netlist and the reference low power RTL netlist. The method further includes annotating low power information described in the power specification file into the reference low power RTL netlist, and creating low power logic in the reference low power RTL netlist.Type: GrantFiled: October 25, 2006Date of Patent: February 23, 2010Assignee: Cadence Design Systems, Inc.Inventors: Manish Pandey, Rajat Arora, Chih-Chang Lin, Huan-Chih Tsai, Bharat Chandramouli, Kei-Yong Khoo
-
Patent number: 7627842Abstract: Disclosed are techniques for performing the verification of circuits where corresponding signals in the circuits or specifications are encoded differently and/or redundancy occurs in the signals. Verification, such as logic equivalence checking of circuits, can be performed where the corresponding signals in the two circuits are encoded differently, and/or redundancy occurs in the signals.Type: GrantFiled: June 1, 2004Date of Patent: December 1, 2009Assignee: Cadence Design Systems, Inc.Inventors: Kei-Yong Khoo, Chih-Chang Lin
-
Patent number: 7620919Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: GrantFiled: August 29, 2007Date of Patent: November 17, 2009Assignee: Cadence Design Systems, Inc.Inventors: Manish Pandey, Yung-Te Lai, Bret Siarowski, Kei-Yong Khoo, Chih-Chang Lin
-
Patent number: 7620918Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: GrantFiled: August 29, 2007Date of Patent: November 17, 2009Assignee: Cadence Design Systems, Inc.Inventors: Manish Pandey, Yung-Te Lai, Bret Siarowski, Kei-Yong Khoo, Chih-Chang Lin
-
Publication number: 20090113363Abstract: 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.Type: ApplicationFiled: October 29, 2008Publication date: April 30, 2009Applicant: CADENCE DESIGN SYSTEMS, INC.Inventors: Kei-Yong KHOO, Mitchell HINES, Chi-Chang Lin
-
Publication number: 20080127014Abstract: Method and system for equivalence checking of a low power design are disclosed. The method includes receiving a register-transfer level (RTL) netlist representation of a circuit, receiving a power specification file for describing power requirements of the circuit, creating a low power gate netlist for representing a design implementation of the circuit using the RTL netlist and the power specification file, creating a reference low power RTL netlist for representing a design specification of the circuit using the RTL netlist and the power specification file, and performing equivalence checking between the low power gate netlist and the reference low power RTL netlist. The method further includes annotating low power information described in the power specification file into the reference low power RTL netlist, and creating low power logic in the reference low power RTL netlist.Type: ApplicationFiled: October 25, 2006Publication date: May 29, 2008Applicant: Cadence Design Systems, Inc.Inventors: Manish Pandey, Rajat Arora, Chih-Chang Lin, Huan-Chih Tsai, Bharat Chandramouli, Kei-Yong Khoo
-
Patent number: 7373618Abstract: A system, method, computer program, and article of manufacture for generating a golden circuit including datapath components for equivalence checking of synthesized revised circuit. The method includes generating a set of static, dynamic and derived candidates for the datapath component subcircuit, evaluating the similarity degree for each candidate in relation to the revised circuits and selecting one candidate for implementation in the golden circuit. As a result, the subcircuit of datapath component in the golden circuit is replaced with the subcircuit which is more similar to the revised circuit to improve the efficiency of the equivalence checking.Type: GrantFiled: November 10, 2005Date of Patent: May 13, 2008Assignee: Cadence Design Systems, Inc.Inventors: Kei-Yong Khoo, Tao Feng, Debjyoti Paul, Chih-Chang Lin
-
Publication number: 20070294650Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: ApplicationFiled: August 29, 2007Publication date: December 20, 2007Applicant: CADENCE DESIGN SYSTEMS, INC.Inventors: Manish Pandey, Yung-Te Lai, Bret Siarkowski, Kei-Yong Khoo, Chih-Chang Lin
-
Publication number: 20070294649Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: ApplicationFiled: August 29, 2007Publication date: December 20, 2007Applicant: CADENCE DESIGN SYSTEMS, INC.Inventors: Manish Pandey, Yung-Te Lai, Bret Siarkowski, Kei-Yong Khoo, Chih-Chang Lin
-
Patent number: 7266790Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: GrantFiled: September 4, 2003Date of Patent: September 4, 2007Assignee: Cadence Design Systems, Inc.Inventors: Manish Pandey, Yung-Te Lai, Bret Siarkowski, Kei-Yong Khoo, Chih-Chang Lin
-
Publication number: 20040177332Abstract: Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.Type: ApplicationFiled: September 4, 2003Publication date: September 9, 2004Inventors: Manish Pandey, Yung-Te Lai, Bret Siarkowski, Kei-Yong Khoo, Chih-Chang Lin