首页>
外国专利>
Method and Apparatus for Performing Formal Verification of Polynomial Datapath
Method and Apparatus for Performing Formal Verification of Polynomial Datapath
展开▼
机译:用于执行多项式数据路径的形式验证的方法和设备
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and apparatus are provided for use in synthesis of RTL integrated circuit design to determine the functional equivalence of designs. For example, the receiver receives a plurality of designs for synthesis in RTL and a data flow graph is derived for each design. Internal bit widths in the data flow graph representations are restricted (52) to provide a first modified version of each of the designs. These first modified versions are compared each with the design from which it was derived in a comparison unit (54). The input bit widths of the data flow graph representation are then restricted to be no wider than the output bit widths (56) to derive second modified versions of the designs (58). These second modified versions are compared with each other (60) to determine which are equivalent. Equivalent designs can be passed to an RTL synthesis unit 62, or otherwise further evaluated.
展开▼