首页>
外国专利>
System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation
System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation
展开▼
机译:用于利用至少一种变换确定网表等效性的系统,方法和计算机程序产品
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system, method and computer program product are provided for determining equivalence of netlists utilizing at least one transformation. In use, a netlist including a plurality of infinite portions and a plurality of finite portions is identified. Additionally, at least some of the finite portions are transformed, utilizing at least one predetermined transformation. Further, an equivalence of the netlist and another netlist is determined, utilizing at least a subset of the finite portions and the infinite portions. Moreover, the transformation identifies a word-level functionality of the at least some of the finite portions by converting bit-level functionality into word-level functionality.
展开▼