Title :
MODD: a new decision diagram and representation for multiple output binary functions
Author :
Jabir, Abusaleh M. ; Pradhan, Dhiraj K.
Author_Institution :
Sch. of Technol., Oxford Brookes Univ., Oxford, UK
Abstract :
This paper presents a new decision diagram (DD), called MODD, for multiple output binary and multiple-valued functions. This DD is canonic and can be made minimal with respect to a given variable order. Unlike other reported DDs, our approach can represent arbitrary combination of bits at the word-level. The preliminary results show that our representation can result in considerable memory saving.
Keywords :
Boolean functions; decision diagrams; formal verification; bits combination; decision diagram; formal verification; memory saving; multiple output binary functions; multiple valued functions; word level circuits; Algebra; Automatic testing; Binary decision diagrams; Boolean functions; Circuits; Computer science; Data structures; Design automation; Europe; Galois fields;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
Print_ISBN :
0-7695-2085-5
DOI :
10.1109/DATE.2004.1269101
