Automatic logic model build process with autonomous quality checking

• US 8,515,727 B2
• Filed: 03/19/2008
• Issued: 08/20/2013
• Est. Priority Date: 03/19/2008
• Status: Expired due to Fees

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Adams, Matthew A., Alexander, Khary J., Pardini, Matthew G.
• Primary Examiner(s): Alhija, Saif
• Assistant Examiner(s): GEBRESILASSIE, KIBROM K
• Application Number:
  US12/051,288
• Publication Number:
  US 20090240483A1
• Time in Patent Office: 1,980 Days
• Field of Search: 703/14, 703/15, 703/1, 703/6, 703/22, 715/230, 715/234, 715/511, 717168-178, 717/104, 717/120, 717/124, 717/135
• US Class Current: 703/22
• CPC Class Codes: G06F 11/261 by simulating additional hardware, e.g. fault simulation
• CPC Class Codes: G06F 2117/08 HW-SW co-design, e.g. HW-SW partitioning
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A computer program product stored including machine executable instructions stored on machine readable media, the instructions configured for performing automatic logic build processes and implementing autonomic quality checking, by implementing a method including: providing a model repository for holding at least one component; updating the model repository with at least one component; creating a tag for each sub-component of a selected component of the model repository; associating each tag with a latest version of each respective sub-component; and issuing a component submit notice to identify at least one of a dependency and a priority between selected components. A system is also provided.

Claims

1. A computer program product for performing automatic logic build processes for building models for simulation of any one of hardware or software designs, the models comprising logic components and sub-components having design logic, the computer program product comprising:

a non-transitory tangible storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising;

creating a component tag for a component, the component tag comprising a priority level of the component;

selecting a version of a plurality of sub-components for inclusion in the component tag;

associating the component tag with the selected versions of the plurality of sub-components;

creating a new component model based on a common model and the sub-components associated with the component tag;

testing the new component model, the testing resulting in one of a successful completion or an unsuccessful completion;

qualifying the new component model as a released component based on the testing resulting in the successful completion;

updating the common model based on the qualifying of the new component model;

determining the priority level of new component model based on the testing resulting in the unsuccessful completion;

preventing the release of the common model based on the determining that the priority level of new component model is a predetermined high priority; and

updating the common model using a previous version of a component model and eliminating new component model from the common model based on the determining that the priority level of new component model is a predetermined low priority.

2. The computer program product of claim 1, wherein the method further comprises creating and testing an other component model in parallel with the creating and testing of the new component model, and the updating the common model is further based on results of the testing of the other component.

3. The computer program product of claim 2, wherein the testing the new component model comprises testing a dependency between the new component model and the other component model.

4. The computer program product of claim 1, wherein the testing comprises performing an incremental regression test against the new component model.

5. The computer program product of claim 1, wherein the method further comprises testing the common model based on the qualifying of the new component model.

6. A system for performing automatic logic build processes for building models for simulation of any one of hardware or software designs, the models comprising logic components and sub-components having design logic, the system comprising:

a processor and a memory, the processor configured to perform a method, the method comprising;

creating a component tag for a component, the component tag comprising a priority level of the component;

selecting a version of a plurality of sub-components for inclusion in the component tag;

associating the component tag with the selected versions of the plurality of sub-components;

creating a new component model based on a common model and the sub-components associated with the component tag;

testing the new component model, the testing resulting in one of a successful completion or an unsuccessful completion;

qualifying the new component model as a released component based on the testing resulting in the successful completion;

updating the common model based on the qualifying of the new component model;

determining the priority level of new component model based on the testing resulting in the unsuccessful completion;

preventing the release of the common model based on the determining that the priority level of new component model is a predetermined high priority; and

updating the common model using a previous version of a component model and eliminating new component model from the common model based on the determining that the priority level of new component model is a predetermined low priority.

7. The system of claim 6, wherein the method further comprises creating and testing another component model in parallel with the creating and testing of the new component model and the updating the common model is further based on results of the testing of the another component.

8. The system of claim 7, wherein the testing the new component model comprises testing a dependency between the new component model and the other component model.

9. The system of claim 6, wherein the testing comprises performing an incremental regression test against the new component model.

10. A method for performing automatic logic build processes for building models for simulation of any one of hardware or software designs, the models comprising logic components and sub-components having design logic, the method comprising:

creating a component tag for a component, the component tag comprising a priority level of the component;

selecting, by a computer, a version of a plurality of sub-components for inclusion in the component tag;

associating the component tag with the selected versions of the plurality of sub-components;

creating a new component model based on a common model and to the sub-components associated with the component tag;

testing the new component model, the testing resulting in one of a successful completion or an unsuccessful completion;

qualifying the new component model as a released component based on the testing resulting in the successful completion;

updating the common model based on the qualifying of the new component model;

determining the priority level of new component model based on the testing resulting in the unsuccessful completion;

preventing the release of the common model based on the determining that the priority level of new component model is a predetermined high priority; and

updating the common model using a previous version of a component model and eliminating new component model from the common model based on the determining that the priority level of new component model is a predetermined low priority.

11. The method of claim 10, further comprising creating and testing another component model in parallel with the creating and testing of the new component model and the updating the common model is further based on results of the testing of the another component.

12. The method of claim 11, wherein the testing the new component model comprises testing a dependency between the new component model and the other component model.

13. The method of claim 10, wherein the testing comprises performing an incremental regression test against the new component model.