Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-39338DOI: 10.1109/ASPDAC.1995.486249Local ID: e06d98c0-057e-11dd-b034-000ea68e967bOAI: oai:DiVA.org:ltu-39338DiVA: diva2:1012849
Conference
Asia and South Pacifc Design Automation Conference : 29/08/1995 - 01/09/1995
Note
Godkänd; 1995; 20080408 (ysko)Available from: 2016-10-03 Created: 2016-10-03 Last updated: 2017-10-19Bibliographically approved

Open Access in DiVA

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

Other links

Publisher's full text

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
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

Total: 17 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf