US 7,742,909 B2Granted

Reconstruction of data from simulation models

AssigneeInternational Business Machines Corporation

InventorsCharles Lenier Alley, Anthony Joseph Bybell

Life of this patent

Estimating the term…

Loading patent…

Abstract

Systems and media for reconstructing data from simulation models are disclosed. Embodiments may include a media containing instructions for accessing an alias from an alias file. The media may include instructions for searching for a net name and, if the net name is not found, searching an alias index file for an alias index entry associated with the net name, the alias index entry having a net name and an associated position. The instructions may also include, if the net name entry is found, instructions for accessing from an alias file an alias associated with the net name. A further embodiment may include instructions for receiving a net name and a position of an alias in the alias file, creating an alias index entry for the alias having a net name and the position of the alias, and storing the created alias index entry in the alias index file.

Claims7

Dependent claims

A storage device having a machine-accessible medium containing instructions effective, when executing in a data processing system, to cause said data processing system to perform operations for accessing an alias from an alias file in simulating an integrated circuit comprising:

by a simulation model generator, flattening a simulation model of the integrated circuit during a build and optimizing equivalent nets out of the simulation model;
generating by an alias file generator an alias file for the simulation model containing locations for the equivalent nets that were optimized out of the simulation model;
simultaneously with generating the alias file, generating by an alias index file generator an alias index file for the generated alias file by, for each entry of the alias file, receiving a net name, record length, and a position of an alias in the alias file, creating an alias index entry for the alias, and storing the created alias index entry;
searching by a simulator a simulation model for a particular net name;
in response to failing to find the particular net name in the model, automatically searching by an alias index access system an alias cache for the particular net name to attempt to determine an alias for the particular net name;
in response to failing to find the particular net name in the alias cache, automatically searching by the alias index access system the generated alias index file for an alias index entry associated with the net name, the alias index entry having a net name, a record length, and an associated position in the alias file;
in the event the net name entry is found, accessing by the alias index access system from an alias file an alias associated with the net name;
fetching by the alias index access system the alias associated with the net name from the alias file;
and
inserting by the alias index access system the alias into the flattened simulation model.

7 more elements

An alias index system implemented on a computer system for simulating an integrated circuit, the system comprising:

a simulation model generator to generate a simulation model of a design of the integrated circuit by flattening a simulation model during a build and optimizing equivalent nets out of the simulation model;
an alias file generator to generate an alias file for the simulation model containing locations for the equivalent nets that were optimized out of the simulation model;
an alias file in communication with the simulation model generator and having a plurality of net names and associated aliases;
an alias index file generator in communication with the alias file to generate an alias index file based on the alias file simultaneously with generation of an alias file by the alias file generator, the alias index file having a plurality of alias index entries each having a net name and an indication of a position of the net name in the alias file;
wherein the alias index file generator generates alias index files by, for each entry of the alias file, receiving a net name, record length, and a position of an alias in the alias file, creating an alias index entry for the alias, and storing the created alias index entry;
a simulator for searching a simulation model for a particular net name;
an alias index access system to automatically search, in response to the simulator failing to find the particular net name in the model, an alias cache for the particular net name to attempt to determine an alias for the particular net name and, in response to failing to find the particular net name in the alias cache, automatically searching by the alias index access system the generated alias index file for an alias index entry associated with the net name, the alias index entry having a net name, a record length, and an associated position in the alias file;
and
wherein the alias index access system fetches the alias associated with the net name from the alias file and inserts the alias into a flattened simulation model.

6 more elements

Dependencies are inferred from the claim text.

Facts

Application: 12/348,034Filed 2 Jan 2009 · continuation
Priority: 24 May 2005
Published: US 2009/0106009 A123 Apr 2009
Granted: 22 Jun 2010
Term ends: Not estimatedThe source records don’t support an estimate.

Classification2 codes

G06F 30/33
Circuit design at the digital level: design verification, e.g. functional simulation or model checking
G06F
Computing and data processing

Family

Application11/135,739Parent of this continuation · filed 24 May 2005
US 2009/0106009 A1Pre-grant publication · published 23 Apr 2009
US 7,526,419 B2Parent of this continuation · filed 28 Apr 2009
US 2006/0271515 A1Published application
US 7,742,909 B2This patent

From the US filing history. Foreign family members aren’t listed.