DocumentCode
403664
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
Volume
2
fYear
2004
fDate
16-20 Feb. 2004
Firstpage
1388
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
ISSN
1530-1591
Print_ISBN
0-7695-2085-5
Type
conf
DOI
10.1109/DATE.2004.1269101
Filename
1269101
Link To Document