Title | ||
---|---|---|
A Machine to Evaluate Decomposed Multi-Terminal Multi-Valued Decision Diagrams for Characteristic Functions |
Abstract | ||
---|---|---|
A decomposed multi-terminal multi-valued decision diagrams for characteristic function~(MTMDDs for CF) represents decomposed circuits. It can represent complex functions compactly. This paper shows a machine that evaluates decision diagrams. First, we introduce the decomposed MTMDDs for CF. Then, we consider two instructions to evaluate the decomposed MTMDDs for CF. Next, we show a machine that evaluates the decision diagrams. We compare that machine with embedded processors. As for the power-delay product, our machine running at 100~MHz is 60.84 times smaller than Nios~II processor running at 100~MHz, and it is 18.66 times smaller than Atom~N455 processor running at 1.67~GHz. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ISMVL.2013.6 | Multiple-Valued Logic |
Keywords | Field | DocType |
characteristic functions,characteristic function,decomposed multi-terminal multi-valued decision,decision diagram,ii processor,decomposed circuit,evaluate decomposed multi-terminal multi-valued,decision diagrams,power-delay product,complex functions compactly,decomposed mtmdds,n455 processor,embedded processor,boolean functions,logic gates,graph theory,indexes,complex function,data structures,registers,power efficiency | Electrical efficiency,Graph theory,Computer science,Characteristic function (probability theory),Parallel computing,Electronic engineering,Electronic circuit,Nios II | Conference |
ISSN | ISBN | Citations |
0195-623X E-ISBN : 978-0-7695-4976-7 | 978-0-7695-4976-7 | 0 |
PageRank | References | Authors |
0.34 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hiroki Nakahara | 1 | 155 | 37.34 |
Tsutomu Sasao | 2 | 1083 | 141.62 |
Munehiro Matsuura | 3 | 189 | 24.44 |