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 …