Patent ID: 6665844
Filing Date: 2003-12-16
Classification: G06F

Abstract:
A computer program product comprising:a computer usable medium having a computer readable program code embodied therein for causing a computer to verify a simulated system's compliance with a defined system specification, wherein the system specification has explicitly defined don't care conditions, the computer readable program code comprising: code that, for each incompletely specified function represented by an ordered pair (f,d) wherein f is an on-set and wherein d is a don't care set, transforms the ordered pair representation into an interval represented by an ordered pair [m, M] wherein [m, M]={f, mâŠ‚fâŠ‚M}; code that propagates a set of input conditions through such interval to produce a set of output conditions representative of such on-set and of such don't care set; and code that verifies that the set of output conditions meets the defined system specification.