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
Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic
Luleå tekniska universitet.
Luleå tekniska universitet.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.
1994 (English)In: Proceedings: 27th Annual Simulation Symposium, April 11 - 15, 1994, La Jolla, California, Los Alamitos, Calif: IEEE Communications Society, 1994, 99-105 p.Conference paper, Published paper (Refereed)
Abstract [en]

We describe a method for generating logic simulation code which correctly responds to any number of undefined logic values at the code inputs. The method is based on our development of the ordered ternary decision diagram, itself based on Kleenean ternary logic, which explicitly and correctly manages the unknown logic value `U' in addition to the `1' and `0' of conventional OBDDs. We describe the OTDD and how to implement its reduction, application, and restriction operations. This method avoids expensive technology mapping, producing highly efficient `U'-correct compiled logic simulation code in seconds rather than in hours. Our experiments toward confirming the validity of the method are reported

Place, publisher, year, edition, pages
Los Alamitos, Calif: IEEE Communications Society, 1994. 99-105 p.
National Category
Embedded Systems
Research subject
Embedded System
Identifiers
URN: urn:nbn:se:ltu:diva-27164DOI: 10.1109/SIMSYM.1994.283108Local ID: 08004790-1207-11dd-ada4-000ea68e967bISBN: 0-8186-5620-4 (print)OAI: oai:DiVA.org:ltu-27164DiVA: diva2:1000345
Conference
Annual Simulation Symposium : 11/04/1994 - 15/04/1994
Note
Godkänd; 1994; 20080424 (ysko)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-11-25Bibliographically approved

Open Access in DiVA

fulltext(203 kB)23 downloads
File information
File name FULLTEXT01.pdfFile size 203 kBChecksum SHA-512
4bff217eb325392504f10266cbd3f3ae86df0afa2af4bbf7136df058bfbb36d0a12c5343b75332fde25a36ad8db9395194c0055175c4ba5403fd1d02887ac087
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: 23 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 51 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