Improved computational methods and lazy evaluation of the ordered ternary decision diagram
1995 (English)In: Proceedings of the ASP-DAC '95, CHDL '95, VLSI '95, Asia and South Pacific Design Automation Conference, IFIP International Conference on Computer Hardware Description Languages and their Applications, IFIP International Conference on Very Large Scale Integration: August 29 - September 1, 1995, Makuhari Messe, Chiba, Japan, Tokyo, 1995, 379-384 p.Conference paper (Refereed)
We investigate the properties of the Ordered Ternary Decision Diagram (OTDD) in order to develop an efficient general OTDD package. The OTDD is a three-branched three-terminal diagram based on Kleenean strong ternary logic. The OTDD can represent functions having nontrivial don't-care sets in a single diagram and is capable of provably correct evaluation in the presence of unknown input values. We propose a number of improvements to both OTDD computational methods and data structures. Furthermore we introduce the purged form OTDD which unifies the abbreviated and full form OTDD into a single diagram. A package exploiting these OTDD specific properties is presented and we show the computational advantages of this improved package for LGSynth93 standard benchmarks.
Place, publisher, year, edition, pages
Tokyo, 1995. 379-384 p.
Research subject Embedded System
IdentifiersURN: urn:nbn:se:ltu:diva-39338DOI: 10.1109/ASPDAC.1995.486249Local ID: e06d98c0-057e-11dd-b034-000ea68e967bOAI: oai:DiVA.org:ltu-39338DiVA: diva2:1012849
Asia and South Pacifc Design Automation Conference : 29/08/1995 - 01/09/1995
Godkänd; 1995; 20080408 (ysko)2016-10-032016-10-03Bibliographically approved