Edge-valued binary decision for multi-level hierarchical verification
Edge-valued binary decision for multi-level hierarchical verification
复制标题
用于多级分层验证的边值二元决策
DOI：
10.1109/dac.1992.227813
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
S. Sastry
中科院分区：
文献类型：
--
作者：
Y. Lai;S. Sastry
作者提出了一种新的数据结构，称为边值二元决策图（ev）作为函数的表示。EV是有序二元决策图的扩展，允许多级和分层验证。证明了EV是任意整数函数的紧凑和规范表示。因此，规范可以处于比实现更高的级别。EV的可变排序策略可以从更高级别的功能规范派生，而不是从门级规范派生。包括64-b比较器和64-b纹波进位加法器的设计示例
The authors present a new data structure called edge-valued binary decision diagrams (EVs) as a representation of functions. An EV is an extension of ordered binary decision diagrams that allows for multilevel and hierarchical verification. It is shown that an EV is a compact and canonical representation for arbitrary integer functions. Hence, the specification can be at a higher level than the implementation. The variable ordering strategy for an EV can be derived from a higher-level functional specification instead of the gate-level specification. Examples of the design of a 64-b comparator and of a 64-b ripple-carry adder are included.<<ETX>>