Cadence Design Systems, Inc.

Yonghao Chen

Abhishek Kanungo

Vivek Chickermane

Ankur Gupta

Manish Pandey

Patrick Gallagher

Pinhong Chen

Sandeep Bhatia

Qi Wang

Huan-Chih Tsai

Franz Erich Marschner

Christina Chu

Steven Sharp

Phil Giangarra

Philip Benedict Giangarra

Michael James Floyd

Apurva Kalia

Leonardo Valencia

Debra Jean Wimpey

Amit Kohli

Sulabh Nangalia

Mickey Rodriguez

A logic simulation electronic design automation (EDA) application, the logic can be configured to receive a circuit design of an integrated circuit (IC) chip, the circuit design comprising an imported module comprising a list of simple immediate assertions (SIAs) for the imported module, wherein the circuit design comprises a first power domain and a second power domain, wherein the first power domain controls a power state of the second power domain and the imported module is assigned to the second power domain. The logic simulation EDA application can be configured to convert, in response to user input, each SIA in the list of SIAs into a respective hybrid deferred assertion (HDA) to form a list of HDAs for the imported module and execute a simulation of the IC chip, and execution of the simulation can include execution of a plurality of time slots for a plurality of simulation cycles.

Hybrid deferred assertion for circuit design

Embodiments of the present disclosure may include receiving, at one or more computing devices, the electronic circuit design, wherein the electronic circuit design includes at least one Unified Power Format file. Embodiments may further include generating, using the one or more computing devices, a schematic of a power supply network, based upon, at least in part, the at least one Unified Power Format file, the schematic including one or more power supply network components.

System, method, and computer program product for power supply network visualization

A method and system are provided for automatically creating an implicit literal value in a user defined enumerated data type by inserting an additional literal value, scanning the HDL design files for broken interdependencies or potential incompatibilities with the implicitly defined literal value, and modifying the HDL design files to be in accordance with the implicitly defined literal value while maintaining the semantics of the VHDL language reference model.

Method and system for providing an implicit unknown value to user ENUM data constructs in an HDL system to model power shutoff in simulation

Method and system for providing an implicit unknown value to user enum data constructs in an HDL system to model power shutoff in simulation

A method for implementing a single file format for power-related information for an IC comprising: providing a circuit design in at least one design file in a non-transitory computer readable storage device; providing power-related design information in a file in the computer readable storage device that is separate from the at least one design file and that specifies multiple power domains within the circuit design, each power domain including one or more design object instances from within the circuit design and that specifies multiple power modes each power mode corresponding to a different combination of on/off states of the multiple specified power domains and that specifies isolation behavior relative to respective power domains; and using a computer to add power control circuitry to the circuit design that implements the power domains and power modes and isolation behavior specified in the power specification information.

Method and mechanism for implementing electronic designs having power information specifications background

Method, apparatus, and computer readable medium for simulating a logic design having power domains are described. In some examples, a switchable power domain of the power domains is identified, the switchable power domain having primary inputs and having a power state switchable between a power-on state and a power-off state. The logic design is traversed to analyze driver and load logic of each of the primary inputs to the switchable power domain to identify any pure pass-through nets each of which has no driver and no load logic in the switchable power domain. An implicit logic device is inserted at each of the primary inputs not coupled to a pure pass-through net, each implicit logic device being in a corrupting state when the switchable power domain is in the power-off state and in a bypassing state when the switchable power domain is in the power-on state, the corrupting state corrupting the respective primary input with an undefined logic state, the bypassing state driving the respective primary input with a logic state of respective driver logic. An event-driven simulation of the logic design is performed.

Method and apparatus for event-based simulation of a digital design having a power shut-off feature

Method and system for simulating state retention of an RTL design are disclosed. The method includes receiving a netlist description of the circuit represented in a register-transfer-level (RTL) design environment, receiving power information specifications of the circuit, identifying one or more power domains of the circuit using the netlist description and the power information specifications, associating the one or more power domains and the power information specifications in the RTL design environment, where the one or more power domains are controlled by a set of power control signals through a power manager logic, and simulating state retention behavior in response to variations in power applied to the power domain.

Method and system for simulating state retention of an RTL design

A method of adding power control circuitry to a circuit design at each of an RTL and a netlist level comprising: demarcating multiple power domains within the circuit design; specifying multiple power modes each power mode corresponding to a different combination of on/off states of the multiple demarcated power domains; and defining isolation behavior relative to respective power domains.

Method and system for simulating isolation of a power domain are disclosed. The method includes receiving a netlist description of the circuit that is represented in a register-transfer-level (RTL) design environment, receiving power information specifications of the circuit, associating the plurality of power domains and the power information specifications in the RTL design environment, where the plurality of power domains are controlled by a set of power control signals through a power manager logic, isolating a power domain among the plurality of power domains for simulation, and simulating isolation behavior of the power domain in response to variations in power applied to the power domain.

Growing community of inventors

Groton, MA, United States of America

Yonghao Chen