Sciweavers

112 search results - page 4 / 23
» Ordered Binary Decision Diagrams and the Davis-Putnam Proced...
Sort
View
ENTCS
2006
174views more  ENTCS 2006»
13 years 10 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 10 months ago
Synthesis of Low-Power Digital Circuits Derived from Binary Decision Diagrams
-- This paper introduces a novel method for synthesizing digital circuits derived from Binary Decision Diagrams (BDDs) that can yield to reduction in power dissipation. The power r...
Denis V. Popel
CAV
2000
Springer
187views Hardware» more  CAV 2000»
14 years 2 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...
GLVLSI
2010
IEEE
139views VLSI» more  GLVLSI 2010»
14 years 3 months ago
Dynamically resizable binary decision diagrams
We present the architecture of a new Ordered Binary Decision Diagram library that is designed from the ground up to be space efficient. The main novelty lies in the library’s no...
Stergios Stergiou, Jawahar Jain
DATE
2004
IEEE
148views Hardware» more  DATE 2004»
14 years 2 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