Change search
ReferencesLink to record
Permanent link

Direct link
Improved computational methods and lazy evaluation of the ordered ternary decision diagram
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
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)
Abstract [en]

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
URN: urn:nbn:se:ltu:diva-39338DOI: 10.1109/ASPDAC.1995.486249Local ID: e06d98c0-057e-11dd-b034-000ea68e967bOAI: diva2:1012849
Asia and South Pacifc Design Automation Conference : 29/08/1995 - 01/09/1995
Godkänd; 1995; 20080408 (ysko)Available from: 2016-10-03 Created: 2016-10-03Bibliographically approved

Open Access in DiVA

fulltext(230 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 230 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Lindgren, Per
By organisation
Embedded Internet Systems Lab

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

ReferencesLink to record
Permanent link

Direct link