Enhanced TED: a new data structure for RTL verification

P Lotfi-Kamran, M Massoumi… - … Conference on VLSI …, 2008 - ieeexplore.ieee.org
21st International Conference on VLSI Design (VLSID 2008), 2008ieeexplore.ieee.org
This work provides a canonical representation for manipulation of RTL designs. Work has
already been done on a canonical and graph-based representation called Taylor expansion
diagram (TED). Although TED can effectively be used to represent arithmetic expressions at
the word-level, it is not memory efficient in representing bit-level logic expressions. In
addition, TED cannot represent Boolean expressions at the word-level (vector-level). In this
paper, we present modifications to TED that will improve its ability for bit-level logic …
This work provides a canonical representation for manipulation of RTL designs. Work has already been done on a canonical and graph-based representation called Taylor expansion diagram (TED). Although TED can effectively be used to represent arithmetic expressions at the word-level, it is not memory efficient in representing bit-level logic expressions. In addition, TED cannot represent Boolean expressions at the word-level (vector-level). In this paper, we present modifications to TED that will improve its ability for bit-level logic representation while enhancing its robustness to represent word-level Boolean expressions. It will be shown that for bit-level logic expressions, the enhanced TED (ETED) performs the same as the BDD representation.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果