Enhanced TED: A New Data Structure for RTL Verification | IEEE Conference Publication | IEEE Xplore

Enhanced TED: A New Data Structure for RTL Verification


Abstract:

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 expa...Show More

Abstract:

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.
Date of Conference: 04-08 January 2008
Date Added to IEEE Xplore: 12 February 2008
Print ISBN:0-7695-3083-4

ISSN Information:

Conference Location: Hyderabad, India

References

References is not available for this document.