首页>
外国专利>
METHOD FOR DETERMINING THE QUALITY OF A QUANTITY OF PROPERTIES, USEFUL FOR VERIFICATION AND FOR SPECIFICATION OF CIRCUITS
METHOD FOR DETERMINING THE QUALITY OF A QUANTITY OF PROPERTIES, USEFUL FOR VERIFICATION AND FOR 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.
展开▼