
BDDNOW
 Referenced in 6 articles
[sw08898]
 Parallel BDD Package. BDDs (binary decision diagrams) are ubiquitous in formal verification tools...

SymChaff
 Referenced in 6 articles
[sw00938]
 theoretic methods, and zerosuppressed binary decision diagrams. We demonstrate the efficacy of our technique...

BOXES
 Referenced in 6 articles
[sw21178]
 weds the strengths of Binary Decision Diagrams (BDDs) and Box. The complexity of the operations...

QuIDDPro
 Referenced in 5 articles
[sw21058]
 related operations using the Quantum Information Decision Diagram (QuIDD) datastructure [3, 4, 5]. Software packages...

CASPA
 Referenced in 4 articles
[sw02863]
 data structure MTBDD (multiterminal binary decision diagram) which enables the tool to handle models...

DIFtree
 Referenced in 4 articles
[sw12541]
 modularization and binary decision diagrams as an aid in solution. In this paper we present...

ROBDD
 Referenced in 4 articles
[sw21204]
 based on the reduced, ordered, binary decision diagram (ROBDD) representation. The package is based...

TUDD
 Referenced in 2 articles
[sw18592]
 TUDD: TU Darmstadt Decision Diagram package: A wordlevel graph manipulation package. Verification has become ... HDLs), like VHDL, becomes increasingly important. Decision diagrams (DDs) have proved successful for the representation ... verified based on wordlevel decision diagrams (WLDDs). The presented techniques allow a direct translation...

Meddly
 Referenced in 2 articles
[sw29140]
 Meddly (Multiterminal and Edgevalued Decision Diagram LibrarY) is a C++ library that natively ... supports various types of decision diagrams, including BDDs, MDDs, MTMDDs, EV+MDDs, and EV*MDDs...

ITEM ToolKit
 Referenced in 3 articles
[sw12549]
 incorporates two independent calculation engines: Binary Decision Diagram and Approximation Method. It provides methods...

dtControl
 Referenced in 2 articles
[sw36940]
 representations using lookup tables or binary decision diagrams, decision tree representations are smaller and more...

CacBDD
 Referenced in 3 articles
[sw19401]
 CacBDD, a new efficient BDD (Binary Decision Diagrams) package. It implements a dynamic cache management...

DenseZDD
 Referenced in 3 articles
[sw32975]
 data structure of zerosuppressed binary decision diagrams (ZDDs). A ZDD represents sets of combinations...

StateFlow
 Referenced in 39 articles
[sw04350]
 modeling and simulating combinatorial and sequential decision logic based on state machines and flow charts ... graphical and tabular representations, including state transition diagrams, flow charts, state transition tables, and truth...

RMDDS
 Referenced in 1 article
[sw23568]
 RMDDS: ReedMuller decision diagram synthesis of reversible logic circuits. In this article, we propose ... Muller Reversible Logic Synthesis (RMRLS) and Decision Diagram Synthesis (DDS), and is thus called Reed ... Muller Decision Diagram Synthesis (RMDDS). RMRLS does not scale to a large number of qubits...

Pinktoe
 Referenced in 2 articles
[sw25858]
 case using only a standard decision tree diagram. However, for large trees or trees where ... variable description is complex the decision tree diagram is often not enough. This article describes ... tree that is needed to make a decision and permits the user to make decisions...

HasCacBDD
 Referenced in 2 articles
[sw29078]
 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management. Original...

ITSTools
 Referenced in 2 articles
[sw29142]
 engine based on hierarchical set decision diagrams (SDD) that supports reachability, CTL and LTL model...

KURE
 Referenced in 2 articles
[sw15450]
 using a fast implementation using binary decision diagram. It provides a Lua based domainspecific...

NuMDG
 Referenced in 2 articles
[sw08148]
 else (GITE) commonly operator in Binary Decision Diagram packages. Consequently, we review the main algorithms...