首页>
外国专利>
Design analysis tool and method for deriving correspondence between storage elements of two memory models
Design analysis tool and method for deriving correspondence between storage elements of two memory models
展开▼
机译:用于导出两个内存模型的存储元素之间的对应关系的设计分析工具和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and system automatically generates a bit-cell correspondence between a first memory model and a second memory model of a memory. The method includes receiving data from the first and the second memory model, obtaining true-inverted fan-in cones for words in the memory models to obtain correspondence between sets of words in the two models, writing word binary sequences into the words to obtain a set of bit-cell correspondences, and using inherent structural information in memory designs to generalize bit-cell correspondence obtained on bit-cells of a pair of corresponding words to obtain bit-cell correspondence information for all the bit-cells in the memory models. Correspondence is detected if one of the bit-cell binary sequences written into a bit-cell in the first memory model is equal to or an invert of another of the bit-cell binary sequences written into a bit-cell in the second memory model.
展开▼