Change search
ReferencesLink to record
Permanent link

Direct link
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 (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.
Research subject
Embedded System
URN: urn:nbn:se:ltu:diva-27164DOI: 10.1109/SIMSYM.1994.283108Local ID: 08004790-1207-11dd-ada4-000ea68e967bISBN: 0-8186-5620-4OAI: diva2:1000345
Annual Simulation Symposium : 11/04/1994 - 15/04/1994
Godkänd; 1994; 20080424 (ysko)Available from: 2016-09-30 Created: 2016-09-30Bibliographically approved

Open Access in DiVA

fulltext(203 kB)0 downloads
File information
File name FULLTEXT01.pdfFile size 203 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