XML Freamework for Decision Diagrams

XML Framework for description of decision diagrams represnts a flexible platform capable of describing various forms of decision diagrams. This page lists the resources associated with this project.

Developed by Stanislav Stankovic at TICSP.

Related Resources:

XML Schema: Specification of XML format for decription of decision diagrams

XML:DD to SVG part I: XSLT script that transforms decision diagrams in XML form to intermediary XML form. The intermediary form suitable for final transformation to SVG
XML:DD to SVG part II: XSLT script that transforms the intermediary XML file to final SVG representation of decision diagrams. Both files are needed for successful transformation.
XML:DD to SVG for Corel Draw: Use this version of second part of script to produce SVG files compatible with Corel DRAW 12 import filter.
DD to SVG: XML:DD to SVG convertor. Produces the SVG files from XML:DD files using previous XSLT scripts.
DD to CDR: XML:DD to SVG convertor that produces files readable by CorelDRAW.
Benchmarks SVG: SVG files representing decision diagrams of standard logic design banchmark functions. This SVG files are suitable for use with CorelDRAW.

BDD to C++: This XSLT script produces a valid C++ boolean function that is equivalent to the supplied BDD. Use following two scripts to generate the appropriate input for this script.
BDD to C++ preprocesing script part I: use this script to preproces XML:DD files before procesing with BDD to C++ script.
BDD to C++ preprocesing script part II: Second part of the preprocessing script.
BDD to CPP: BDD to C++ convertor. Produces the C++ files from XML:DD files using previous XSLT scripts.
MDD to CPP: DD to C++ convertor. Produces the C++ files from XML:DD files using previous XSLT scripts.

DD to C++: This XSLT script produces a valid C++ function from any valid DD. The function generates an integer value as an output. Use following two scripts to generate the appropriate input for this script.
DD to C++ preprocesing script part I: use this script to preproces XML:DD files before procesing with DD to C++ script.
DD to C++ preprocesing script part II: Second part of the preprocessing script.

XML Sample Files:

Example 1: XML description of a BDD. The diagram was generated by application of Snannon decomposition rule on a function with three logical variables. It contains 4 non-terminal and 2 terminal nodes. The decomposition rule applied at each node is explicitly stated.
Example 2: XML description of a BDD. The diagram was generated by application of Snannon decomposition rule on a function with three logical variables. It contains 4 non-terminal and 2 terminal nodes. The decomposition rule applied at each node is not explicitly stated.
Example 3: XML description of a ternary decision diagram. The diagram was generated by application of Shannon decomposition rule for three-valued logic on function with 3 logic variables. It consists of 4 non-terminal and 3 terminal nodes.
Example 4: XML description of a heterogenous decision diagram. It consists of 2 non-terminal nodes with different number of outgoing edges and 2 terminal nodes arranged in 3 levels.
Example 5: XML description of a Kronecker Binary decision diagram. The diagram consists of 4 levels with 7 non-terminal and 2 terminal nodes. The decomposition rule applied on nodes at first two levels is Positive Davio. Shannon decomposition rule is applied at nodes at last level.
Example 6: XML description of a pseudo-kronecker decision diagram. The diagram consists of 4 levels with 7 non-terminal and 2 terminal nodes. Positive and negative davio and shannon decomposition rule are applied at various nodes in this decision diagram.

SVG Sample Files:

Example 1: SVG representation of a binary decision diagram. The decomposition rule applied at each node is explicitly stated.
Example 2: SVG representation of a binary decision diagram. The decomposition rule applied at each node is not explicitly stated.
Example 3: SVG representation of a ternary decision diagram.
Example 4: SVG representation of a heterogenous decision diagram.
Example 5: SVG representation of a kronecker decision diagram.
Example 6: SVG representation of a pseudo-kronecker decision diagram.

Benchmark Library:

Benchmarks XML: Library of standard logic design benchmark functions in XML format.
Benchmarks SVG: SVG files representing decision diagrams of standard logic design banchmark functions. This SVG files are suitable for use with CorelDRAW.

XML:DD Software:

XML:DD generator: Use this program to produce XML:DD files from thruth vectors.
Archive containing XML:DD Generator and the utility programs for XML:DD framework: Includes binaries of all the utility programs found on this page.