System, methods and apparatus for generation of simulation stimulus
AssigneeCadence Design Systems, Inc.
InventorsAndreas Kuehlmann, Nathan Kitchen
Life of this patent
Estimating the term…
Abstract
A method and apparatus for producing a verification of digital circuits is provided. In an exemplary embodiment, a set of Boolean and Integer constraints are derived, and a set of Boolean and Integer stimuli are generated that meet the constraints. These stimuli are then used to verify a digital design, and a verification report is generated. In other example embodiments, a computing apparatus and computer software product are provided. The computer software product containing a set of executable instructions that, when executed, configure the computing apparatus to produce a verification report by the provided methods.
Claims24
A computer-implemented method of producing a verification report of a digital design comprising:
- generating a description of a digital design;
- generating a set of Boolean constraints and a set of integer constraints describing a valid set of input stimuli for the design description, including:
- randomly selecting a Boolean or an Integer sample variable;
- randomly changing the state of the selected sample variable;
- and
- determining a change in the number of satisfied clauses in combined set of Boolean and Integer constraints;
- generating a mixed Boolean-Integer input stimuli set for the digital design description, the input stimuli satisfying the set of Boolean constraints and the set of integer constraints;
- performing, on a computing apparatus, a verification on the design description utilizing the input stimuli;
- and
- producing a verification report from the verification.
A computing apparatus comprising:
- a processor;
- a memory;
- a storage wherein the storage contains a set of processor executable instructions that, when executed by the processor will configure the computing apparatus to:
- generate a description of a digital design;
- generate a set of Boolean constraints and a set of integer constraints describing a valid set of input stimuli for the design description, including;
- randomly select a Boolean or an Integer sample variable;
- randomly change the state of the selected sample variable;
- and
- determine a change in the number of satisfied clauses in combined set of Boolean and Integer constraints;
- generate a mixed Boolean-Integer input stimuli set for the digital design description, the input stimuli satisfying the set of Boolean constraints and the set of integer constraints;
- perform a verification on the design description utilizing the input stimuli;
- and
- produce a verification report from the verification.
A computer software product comprising:
- a non-transitory machine-readable medium, the non-transitory machine-readable medium containing set of processor executable instructions sufficient to configure a computing apparatus to:
- generate a description of a digital design;
- generate a set of Boolean constraints and a set of integer constraints describing a valid set of input stimuli for the design description, including:
- randomly select a Boolean or an Integer sample variable;
- randomly change the state of the selected sample variable;
- and
- determine a change in the number of satisfied clauses in combined set of Boolean and Integer constraints;
- generate a mixed Boolean-Integer input stimuli set for the digital design description, the input stimuli satisfying the set of Boolean constraints and the set of integer constraints;
- perform a verification on the design description utilizing the input stimuli;
- and
- produce a verification report from the verification.
Dependencies are inferred from the claim text.