Sciweavers

472 search results - page 7 / 95
» Functional simulation using binary decision diagrams
Sort
View
DATE
2004
IEEE
148views Hardware» more  DATE 2004»
13 years 11 months ago
MODD: A New Decision Diagram and Representation for Multiple Output Binary Functions
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 ...
Abusaleh M. Jabir, Dhiraj K. Pradhan
EVOW
2006
Springer
13 years 11 months ago
Finding Compact BDDs Using Genetic Programming
Binary Decision Diagrams (BDDs) can be used to design multiplexor based circuits. Unfortunately, the most commonly used kind of BDDs
Ulrich Kühne, Nicole Drechsler
ISMVL
2002
IEEE
113views Hardware» more  ISMVL 2002»
14 years 19 days ago
On the Construction of Multiple-Valued Decision Diagrams
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider ways to improve the construction of multiple-value...
D. Michael Miller, Rolf Drechsler
CP
2006
Springer
13 years 11 months ago
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs)
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
Robert Mateescu, Rina Dechter
ISMVL
2010
IEEE
156views Hardware» more  ISMVL 2010»
14 years 16 days ago
Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs
This paper proposes a new architecture for memorybased floating-point numeric function generators (NFGs). The design method uses piecewise-split edge-valued multivalued decision ...
Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler