首页>
外国专利>
System, method and computer program product for equivalence checking between designs with sequential differences
System, method and computer program product for equivalence checking between designs with sequential differences
展开▼
机译:用于在具有顺序差异的设计之间进行等效性检查的系统,方法和计算机程序产品
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system, method and computer program product are provided for equivalency checking between a first design and a second design having sequential differences. To accomplish the equivalency checking, sequential differences between a first design and a second design are identified. It is then determined whether the first design and the second design are equivalent, utilizing the identified sequential differences.
展开▼