Automated verification of digital design
AssigneeNCR Corporation
InventorsDonald G. Tipon, Steven J. Schlesinger, Chinh Kim Nguyen, Darrin J. Marshall
Life of this patent
Estimating the term…
Abstract
A system for verifying design of a digital system. A digital system, which receives input vectors and produces output vectors, is simulated. The invention generates a sequence of synthesized input vectors, and applies them to the simulated system. These input vectors cause changes in internal variables, and the output vectors. The invention also independently computes the values which internal variables and output vectors are expected to assume. The invention then compares the simulated internal and output variables with the computed values. If they agree, the simulation is assumed to function properly.
Claims5
In a computer simulation of a digital system, which produces a trace file which contains output vectors indicative of states of the system, the improvement comprising:
- a) extracting a set of primary vectors from the output vectors, which primary vectors comprise a reduced set of the output vectors;
- and
- b) deriving secondary vectors from data contained within the trace file, through a procedure independent of said simulation;
- and
- c) comparing secondary vectors with primary vectors.
Apparatus for analyzing a digital system which receives input vectors, and produces output vectors, comprising:
- a) means for generating a set of input vectors, without human intervention;
- b) simulation means, for simulating operation of the digital system, which
- i) accepts the input vectors and
- ii) produces first output vectors, based on the input vectors;
- c) analysis means, which
- i) accepts the input vectors;
- ii) predicts response of the digital system to the input vectors,
- iii) produces second output vectors, indicative of the response;
- and
- iv) compares the first and second output vectors.
In the simulation of a digital system, wherein a record of vectors produced by the system are stored in a trace file, the improvement comprising:
- a) extracting from the trace file a subset of vectors;
- b) independent of the simulation, deriving predicted values of the subset of the vectors;
- and
- c) comparing the predicted values with the subset.
Dependencies are inferred from the claim text.