Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Verification of arithmetic circuits with binary moment diagrams
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
Representations of Discrete Functions
Representations of Discrete Functions
XML in a nutshell
The K*BMD: A Verification Data Structure
IEEE Design & Test
Spectral Interpretation of Decision Diagrams
Spectral Interpretation of Decision Diagrams
Circuit Design from Kronecker Galois Field Decision Diagrams for Multiple-Valued Functions
ISMVL '97 Proceedings of the 27th International Symposium on Multiple-Valued Logic
Ternary Decision Diagrams: Survey
ISMVL '97 Proceedings of the 27th International Symposium on Multiple-Valued Logic
ISMVL '00 Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
On the Construction of Multiple-Valued Decision Diagrams
ISMVL '02 Proceedings of the 32nd International Symposium on Multiple-Valued Logic
Compact Representations of Logic Functions using Heterogeneous MDDs
ISMVL '03 Proceedings of the 33rd International Symposium on Multiple-Valued Logic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An efficient graph representation for arithmetic circuit verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Remarks on efficient computation of the inverse fourier transforms on finite non-abelian groups
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II
Representation of convolution systems on finite groups by heterogeneous decision diagrams
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II
Hi-index | 0.00 |
Decision diagrams are often used for efficient representation of discrete functions in terms of needed storage space and processing time. In this paper, we propose an XML (Extensible Markup Language) based standard for the structural description of various types of decision diagrams. The proposed standard describes elements of the structure common to various types of decision diagrams. It also provides facilities for storing additional information, specific to particular types of decision diagrams. Properties of XML enable us to define a standard that is flexible enough to be applicable to various existing types of decision diagrams as well as new types that could be defined in the future. The existence of such a standard permits efficient storage and exchange of data in decision diagram form between various software systems. In this way, it supports benchmarking, testing and verification of various procedures using decision diagrams as a basic data structure.