• 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 zero-suppressed 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 (multi-terminal 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 word-level graph manipulation package. Verification has become ... HDLs), like VHDL, becomes increasingly important. Decision diagrams (DDs) have proved successful for the representation ... verified based on word-level decision diagrams (WLDDs). The presented techniques allow a direct translation...
  • Meddly

  • Referenced in 2 articles [sw29140]
  • Meddly (Multi-terminal and Edge-valued 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 zero-suppressed 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: Reed-Muller 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...
  • ITS-Tools

  • 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 domain-specific...
  • NuMDG

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