Method and system for reducing storage requirements of simulation data via KEYWORD restrictions

• US 7,480,608 B2
• Filed: 03/17/2008
• Issued: 01/20/2009
• Est. Priority Date: 04/04/2002
• Status: Expired due to Term

• Current Assignee: SAP SE
• Original Assignee: International Business Machines Corporation
• Inventors: Roesner, Wolfgang, Williams, Derek Edward, Gabele, Carol Ivash
• Primary Examiner(s): Shah; Kamini S
• Assistant Examiner(s): Luu; Cuong V
• Application Number:
  US12/049,736
• Publication Number:
  US 20080168057A1
• Time in Patent Office: 309 Days
• Field of Search: None
• US Class Current: 703/21
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

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 possible keyword/value pairs sets for which result data can be obtained, and the restriction list specifies a fewer number of keyword/value pair sets for which the result data can be queried based upon at least one keyword. In response to receipt of result data obtained by simulation of the HDL model, the result data are stored within a data storage subsystem by reference to the restriction list, such that particular result data attributable to each of the plurality of keyword/value sets is separately accessible.

Claims

1. A system for managing data results of simulation processing of a hardware description language (HDL) model based upon keywords, said system comprising:

means for receiving a restriction list associated with the HDL model, wherein the HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained and said restriction list includes a plurality of restrictions specifying keyword/value pair sets for which said result data can be queried, wherein said restriction list specifies a fewer number than said maximum number of keyword/value pair sets for which said result data can be queried based upon at least one keyword;

means for processing said restriction list to eliminate at least one redundant restriction among said plurality of restrictions;

means for receiving result data obtained by simulation of the HDL model; and

means for storing said result data within a data storage subsystem by reference to said restriction list such that particular result data attributable to each of said plurality of keyword/value sets is separately accessible.

2. The system of claim 1, wherein said means for receiving result data comprises means for receiving in association with the result data a keyword/value pair set employed during simulation when said result data was generated.

3. The system of claim 1, wherein said restriction list includes a plurality of restrictions specifying keyword/value pair sets for which said result data can be queried, said system further comprising means for building within said data storage subsystem a restriction table associating each of said plurality of restrictions with a corresponding set of said result data.

4. The system of claim 1, wherein said means for storing includes means for building a keyword table containing a plurality of entries each associated with a respective one of multiple unique value sets, wherein each entry indicates a storage location for result data attributable to the associated value set.

5. The system of claim 1, and further comprising:

means for receiving a query specifying parameters including at least one keyword;

means, responsive said query, for accessing said data storage system to obtain result data satisfying said parameters of said query; and

means for outputting a query response containing said result data satisfying said parameters of said query.

6. A program product, comprising:

a computer readable storage medium; and

a data management program code encoded within said computer readable storage medium, wherein said data management program code causes a data processing system to perform a method including the following steps;

receiving a restriction list associated with the HDL model, wherein the HDL model has a maximum number of possible keyword/value pairs sets for which result data can be obtained and said restriction list includes a plurality of restrictions specifying keyword/value pair sets for which said result data can be queried, wherein said restriction list that specifies a fewer number than said maximum number of keyword/value pair sets for which said result data can be queried based upon at least one keyword;

processing said restriction list to eliminate at least one redundant restriction among said plurality of restrictions;

receiving result data obtained by simulation of the HDL model; and

storing said result data within a data storage subsystem by reference to said restriction list such that particular result data attributable to each of said plurality of keyword/value sets is separately accessible.

7. The program product of claim 6, wherein said receiving further comprises receiving in association with the result data a keyword/value pair set employed during simulation when said result data was generated.

8. The program product of claim 6, wherein said restriction list includes a plurality of restrictions specifying keyword/value pair sets for which said result data can be queried, said program product further causes the data processing system to build within said data storage subsystem a restriction table associating each of said plurality of restrictions with a corresponding set of said result data.

9. The program product of claim 6, wherein said storing includes building a keyword table containing a plurality of entries each associated with a respective one of multiple unique value sets, wherein each entry indicates a storage location for result data attributable to the associated value set.

10. The program product of claim 6, wherein said method further includes the steps of:

receiving a query specifying parameters including at least one keyword;

responsive said query, accessing said data storage system to obtain result data satisfying said parameters of said query; and

outputting a query response containing said result data satisfying said parameters of said query.