Method for determining the quality of a set of properties, applicable for the verification and specification of circuits

摘要

The method involves determining an existence of a subset of characteristics that stands in relation with one another. A verification is made to find whether a value of a preset expression is definitely determined at a time point by the interaction of the characteristics to an input model of a machine. The expression depends on the values of the input and output parameters at the time points. The characteristics standing in relation forms a sequence of characteristics. Independent claims are also included for the following: (1) a method of functional verification of digital circuits, in which the circuit is verifier with a set of characteristics (2) a method of specification of digital circuits.