首页>
外国专利>
SYSTEM AND METHOD FOR CHECKING EQUIVALENCE BETWEEN DESCRIPTIONS
SYSTEM AND METHOD FOR CHECKING EQUIVALENCE BETWEEN DESCRIPTIONS
展开▼
机译:用于检查描述之间的对等的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A behavior synthesis apparatus performs a behavior synthesis while optimizing an intermediate point pair, which is equivalent to each other only under a condition to be referenced. When an equivalence condition is provided for an intermediate cone, an equivalence condition setting unit provides the intermediate cone with the condition for the equivalence. A logic-cone comparison unit determines whether or not the intermediate cone is equivalent under the provided equivalence condition. An intermediate-point-result reflection unit simplifies the intermediate cone with respect to the intermediate point pair determined to be equivalent in the logic cones to be verified. The logic-cone comparison unit checks the equivalence using the simplified logic cone.
展开▼