| Patent Number |
Title Of Patent |
Date Issued |
| 7617085 |
Program product supporting specification of signals for simulation result viewing |
November 10, 2009 |
| According to a method of data processing, a data set including at least one entry specifying a signal group by a predetermined signal group name is received by a data processing system. In response to receipt of the data set, the entry in the data set is processed to identify the signal |
| 7552043 |
Method, system and program product for selectively removing instrumentation logic from a simulat |
June 23, 2009 |
| According to a method of simulation processing, a simulation model is received that includes a plurality of design entity instances modeling a digital system and one or more instrumentation entity instances, separate from the plurality of design entity instances, that generate instances |
| 7536288 |
Method, system and program product supporting user tracing in a simulator |
May 19, 2009 |
| According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generat |
| 7529655 |
Program product for defining and recording minimum and maximum event counts of a simulation util |
May 5, 2009 |
| According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event as an outlying count event. While simulating a design utilizing the HDL simulation mod |
| 7519524 |
Program product for providing a configuration specification language supporting incompletely spe |
April 14, 2009 |
| In a hardware definition language (HDL) file among one or more files, one or more design entities containing a functional portion of a digital system are specified. The one or more design entities logically contain a plurality of latches having a respective plurality of different possibl |
| 7493248 |
Method, system and program product supporting phase events in a simulation model of a digital sy |
February 17, 2009 |
| According to a method of simulation processing, an instrumented simulation executable model of a design is built by compiling one or more hardware description language (HDL) files specifying one or more design entities within the design and one or more instrumentation entities and in |
| 7480608 |
Method and system for reducing storage requirements of simulation data via KEYWORD restrictions |
January 20, 2009 |
| Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possib |
| 7469400 |
Method, system and program product supporting presentation of a simulated or hardware system inc |
December 23, 2008 |
| Within a display device, a respective one of a plurality of design graphical representations is displayed for each of a plurality of hierarchically arranged design entity instances within a simulated system. The design entity instances include a particular design entity instance cont |
| 7454737 |
Method, system and program product for specifying and using register entities to configure a sim |
November 18, 2008 |
| In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains first and second latches each having a respective plurality of different possible latch values. W |
| 7454325 |
Method, system and program product for defining and recording threshold-qualified count events o |
November 18, 2008 |
| According to one method of simulation processing, a count event counter for a count event is created within instrumentation of a hardware description language (HDL) simulation model of a design and a threshold greater than 1 is established for the count event counter. The design is t |
| 7453759 |
Clock-gated model transformation for asynchronous testing of logic targeted for free-running, da |
November 18, 2008 |
| Asynchronous behavior of a circuit is modeled by modifying latches in a netlist to add an extra port to the latches, e.g., a single-port latch is transformed into a dual-port latch. Each input port has an enable line and a data input. The data input in the added port is a feedback line |
| 7441209 |
Method, system and program product for providing a configuration specification language supporti |
October 21, 2008 |
| A digital system includes one or more design entities containing a functional portion of the digital system. Within a configuration database, one or more configuration entities are instantiated. The configuration entities including an Error checking Dial (EDial) having a plurality of |
| 7434193 |
Method, system and program product for specifying a configuration for a digital system utilizing |
October 7, 2008 |
| In a method of data processing, a database defines a Dial entity and at least one instance of the Dial entity. Each instance of the Dial entity has an input having a plurality of different possible input values and one or more outputs, and each of the plurality of different possible |
| 7426461 |
Method, system and program product for providing a configuration specification language supporti |
September 16, 2008 |
| In a hardware definition language (HDL) file among one or more files, one or more design entities containing a functional portion of a digital system are specified. The one or more design entities logically contain a plurality of latches having a respective plurality of different possibl |
| 7395524 |
Method, system and program product providing a configuration specification language having clone |
July 1, 2008 |
| Methods, data processing systems, and program products supporting the insertion of clone latches within a digital design are disclosed. According to one method, a parent latch within the digital design is specified in an HDL statement in one of the HDL files representing a digital de |
| 7392501 |
Method, system and program product providing a configuration specification language supporting a |
June 24, 2008 |
| A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at |
| 7392169 |
Method, system and program product for defining and recording minimum and maximum event counts o |
June 24, 2008 |
| According to one method of simulation processing, instrumentation code, such as an runtime executive (rtx), receives one or more statements describing an count event and identifying the count event as an outlying count event. While simulating a design utilizing the HDL simulation mod |
| 7389490 |
Method, system and program product for providing a configuration specification language supporti |
June 17, 2008 |
| In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a latch having a respective plurality of different possible latch values. With one or more statem |
| 7386825 |
Method, system and program product supporting presentation of a simulated or hardware system inc |
June 10, 2008 |
| Within a display device, a respective one of a plurality of design graphical representations is displayed for each of a plurality of hierarchically arranged design entity instances within a simulated system. The design entity instances include a particular design entity instance cont |
| 7373290 |
Method and system for reducing storage requirements of simulation data via keyword restrictions |
May 13, 2008 |
| Disclosed herein is a method of managing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, a restriction list associated with the HDL model is received. The HDL model has a maximum number of possib |
| 7366999 |
Method, system and program product providing a configuration specification language supporting a |
April 29, 2008 |
| A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at |
| 7359847 |
Tracking converage results in a batch simulation farm network |
April 15, 2008 |
| A method and system for providing centralized access to count event information from testing of a hardware simulation model within a batch simulation farm which includes simulation clients and an instrumentation server. Count event data for said hardware simulation model is received |
| 7305639 |
Method and apparatus for specifying multiple voltage domains and validating physical implementat |
December 4, 2007 |
| A method, an apparatus and computer instructions are provided for specifying multiple voltage domains of a signal and macros in a processor chip and validating physical implementation and interconnections of the signal and macros. A set of attributes is provided for designs to define |
| 7299436 |
System and method for accurately modeling an asynchronous interface using expanded logic element |
November 20, 2007 |
| A system and method for accurately modeling an asynchronous interface using expanded logic elements are provided. With the apparatus and method, the logic of an asynchronous interface is reduced to primitive logic elements. These primitive logic elements are expanded by the mechanism |
| 7284210 |
Method for reconfiguration of random biases in a synthesized design without recompilation |
October 16, 2007 |
| A method, system and computer program product for performing testing and verification is disclosed. The method includes converting a bias data specification to a driver specification. The driver specification is then parsed into a base constraint and bias file, wherein the base constrain |
| 7266489 |
Method, system and program product for determining a configuration of a digital design by refere |
September 4, 2007 |
| A method for determining the configuration of a digital design first obtains a set of latch values of a plurality of latches within the digital design. A setting of a Dial instance is then determined based upon the set of latch values by reference to a configuration database that spe |
| 7249330 |
Method, system and program product providing a configuration specification language having split |
July 24, 2007 |
| Methods, data processing systems, and program products supporting multi-cycle simulation are disclosed. According to one method, a configuration database including at least one data structure representing an instance of a Dial entity is received. The instance of the Dial entity has a |
| 7239993 |
Method, system and program product that automatically generate coverage instrumentation for conf |
July 3, 2007 |
| A method, data processing system, and program product for building an instrumented simulation model of a digital design are disclosed. According to the method, a model build tool locates, within design data collectively defining a simulation model of the digital design, a definition |
| 7236918 |
Method and system for selective compilation of instrumentation entities into a simulation model |
June 26, 2007 |
| In a method of compiling a simulation model of a digital design, a compiler receives an indication of a desired set of instrumentation entities to be included within a simulation model of a digital design described by a plurality of hierarchically arranged design entities. The instru |
| 7213225 |
Method, system and program product for specifying and using register entities to configure a sim |
May 1, 2007 |
| In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains first and second latches each having a respective plurality of different possible latch values. W |
| 7206732 |
C-API instrumentation for HDL models |
April 17, 2007 |
| A method and system for instrumenting testcase execution processing of a hardware description language (HDL) model using a simulation control program. In accordance with the method of the present invention, a set name application program interface (API) entry point is called wherein |
| 7203633 |
Method and system for selectively storing and retrieving simulation data utilizing keywords |
April 10, 2007 |
| Disclosed herein is a method of storing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, result data obtained by simulation of at least one HDL model are received. In association with the result d |
| 7194400 |
Method and system for reducing storage and transmission requirements for simulation results |
March 20, 2007 |
| A simulation control program receives a hardware description language (HDL) model including design entities and count event registers. Each count event registers is associated with a respective instance of an event. The count event registers include first and second registers for cou |
| 7168061 |
Method, system and program product for implementing a read-only dial in a configuration database |
January 23, 2007 |
| In at least one hardware definition language (HDL) file, a design entity containing a functional portion of a digital system is specified. The design entity logically contains a plurality of configuration latches each having multiple different possible latch values. The latch values of |
| 7162404 |
Method, system and program product for configuring a simulation model of a digital design |
January 9, 2007 |
| A configuration database associated with a digital design stores at least one data structure defining a Dial instance and a mapping between each possible input value of the Dial instance and a respective output value. The output value controls which of a number of different possible latc |
| 7158924 |
Dynamic loading of C-API HDL model instrumentation |
January 2, 2007 |
| A method and system for tracking instances of a testcase execution event within a hardware description language (HDL) model using a simulation control program. In accordance with the method of the present invention, a design entity list is generated within the HDL model, wherein the |
| 7146302 |
Method, system and program product that utilize a configuration database to configure a hardware |
December 5, 2006 |
| A system configuration database is constructed in volatile memory by first determining which types of integrated circuits are present in a hardware system and the number of each type. In response to a determination, a system configuration database is loaded into volatile memory that |
| 7143387 |
Method, system and program product providing a configuration specification language that support |
November 28, 2006 |
| Methods, data processing systems, and program products are disclosed that support the definition and accessing of links indicating a relationship between configuration construct instances, such as Dial and Dial group instances, within a digital design. According to one method, first and |
| 7143019 |
Maintaining data integrity within a distributed simulation environment |
November 28, 2006 |
| A method and system for associating instrumentation data with a simulation model within a batch simulation farm in which a simulation client communicates with an instrumentation server to process simulation data with respect to the simulation model. In accordance with the method of t |
| 7143018 |
Non-redundant collection of harvest events within a batch simulation farm network |
November 28, 2006 |
| A method and system for minimizing redundancy in collected harvest event testcases from a batch simulation farm which includes a harvest testcase server that collects simulation data for a simulation model from at least one simulation client. In accordance with the method of the present |
| 7134098 |
Method, system and program product for specifying a configuration for multiple signal or dial in |
November 7, 2006 |
| A digital system includes a plurality of hierarchically arranged design entity instantiations including a first entity instantiation containing second and third instantiations of the same design entity. Each of the instantiations contains a respective instance of a configurable entity |
| 7096434 |
Method, system and program product providing a configuration specification language supporting a |
August 22, 2006 |
| A method is disclosed of associating a mapping function with a configuration construct of a digital design defined by one or more hardware description language (HDL) files. According to the method, in the HDL files, a configuration latch is specified within a design entity forming at |
| 7092868 |
Annealing harvest event testcase collection within a batch simulation farm |
August 15, 2006 |
| A method and system for resolving testcase collection inconsistencies between a testcase list which includes testcases that have triggered harvest events within a simulation model, and a harvest hit table which records harvest events that have been triggered during simulation of the |
| 7092864 |
Signal override for simulation models |
August 15, 2006 |
| A method, system, and data structure for overriding a signal during model simulation. An override signal port is instantiated within a model for delivering an override signal from an instrumentation entity to a signal selection means, wherein the signal selection means selects between th |
| 7085703 |
Count data access in a distributed simulation environment |
August 1, 2006 |
| A method and system for providing centralized access to instrumentation count event information generated by simulation testing of a hardware simulation model, in which simulation testing is performed within a batch simulation farm by multiple simulation clients communicating with an |
| 7080347 |
Method, system and program product for specifying a configuration of a digital system described |
July 18, 2006 |
| A method of specifying a configurable digital system is disclosed. According to the method, at least one design entity containing a functional portion of a digital system is specified in at least one hardware definition language (HDL) file. The design entity logically contains a conf |
| 7080346 |
Method, system and program product for automatically transforming a configuration of a digital s |
July 18, 2006 |
| A method of processing a configuration of a digital system is disclosed. The digital system contains a configuration latch having a plurality of possible latch values that each corresponds to a different configuration of a functional portion of the digital system. The digital system furt |
| 7062746 |
Method, system and program product that utilize a configuration database to configure a hardware |
June 13, 2006 |
| In a configuration database, at least one latch data structure is created that corresponds to a hardware latch in a hardware system to be configured. The at least one latch data structure includes a method field indicating which of a plurality of different access methods can be used |
| 7062745 |
Method, system and program product for specifying and using a dial having a default value to con |
June 13, 2006 |
| In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a configuration latch having a plurality of different possible configuration values that each cor |
| 7039894 |
Method, system and program product for specifying and using dials having phased default values t |
May 2, 2006 |
| In at least one hardware definition language (HDL) file, at least one design entity containing a functional portion of a digital system is specified. The design entity logically contains a configuration latch having a plurality of different possible configuration values that each cor |
