| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Show document Help

Title:Representation of Boolean functions with ROBDDs
Authors:ID Časar, Aleš (Author)
ID Meolic, Robert (Author)
Files:.pdf robdd-casar-meolic.pdf (323,32 KB)
MD5: 66DCC70305CACE042DC889E9C7ADEC7B
PID: 20.500.12556/dkum/7fc4eb02-c4cc-49f0-8a78-0d6593f48a01
 
Language:English
Work type:Not categorized
Typology:1.16 - Independent Scientific Component Part or a Chapter in a Monograph
Organization:FERI - Faculty of Electrical Engineering and Computer Science
Abstract:This paper describes data structures and algorithms for representation of Boolean functions with reduced ordered binary decision diagrams (ROBDDs). A hash table is used for quick search. Additional information about variables and functions is stored in binary trees. Manipulations on functions are based on a recursive algorithm of ITE operation. The primary goal of this article is describe programming technics needed to realize the idea. For the first time here recursive algorithms for composing functions and garbage collection with a formulae counter are presented. This is better than garbage collection in other known implementations. The results of the tests show that the described representation is very efficient in applications which operate with Boolean functions.
Keywords:Reduced Ordered Binary Decision Diagram, Boolean function, logic functions, logic design verification, hash table
Publication status:Published
Number of pages:[8] str.
PID:20.500.12556/DKUM-67091 New window
UDC:004:519.2
COBISS.SI-ID:6992150 New window
NUK URN:URN:SI:UM:DK:SESLSZ31
Publication date in DKUM:02.02.2018
Views:2414
Downloads:53
Metadata:XML RDF-CHPDL DC-XML DC-RDF
Categories:Misc.
:
Copy citation
  
Average score:(0 votes)
Your score:Voting is allowed only for logged in users.
Share:Bookmark and Share


Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Record is a part of a monograph

Title:IEEE Student paper contest : regional contest winners 1990-1997
Place of publishing:Piscataway
Publisher:#The #Institute of Electrical and Electronics Engineers
Year of publishing:2000
COBISS.SI-ID:6991894 New window

Licences

License:CC BY 4.0, Creative Commons Attribution 4.0 International
Link:http://creativecommons.org/licenses/by/4.0/
Description:This is the standard Creative Commons license that gives others maximum freedom to do what they want with the work as long as they credit the author.
Licensing start date:02.08.2017

Secondary language

Language:English
Keywords:Boolove funkcije, algoritmi, binarni odločitveni diagram, struktura podatkov


Comments

Leave comment

You must log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica