Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
|
|
SLO
|
ENG
|
Cookies and privacy
DKUM
EPF - Faculty of Business and Economics
FE - Faculty of Energy Technology
FERI - Faculty of Electrical Engineering and Computer Science
FF - Faculty of Arts
FGPA - Faculty of Civil Engineering, Transportation Engineering and Architecture
FKBV - Faculty of Agriculture and Life Sciences
FKKT - Faculty of Chemistry and Chemical Engineering
FL - Faculty of Logistic
FNM - Faculty of Natural Sciences and Mathematics
FOV - Faculty of Organizational Sciences in Kranj
FS - Faculty of Mechanical Engineering
FT - Faculty of Tourism
FVV - Faculty of Criminal Justice and Security
FZV - Faculty of Health Sciences
MF - Faculty of Medicine
PEF - Faculty of Education
PF - Faculty of Law
UKM - University of Maribor Library
UM - University of Maribor
UZUM - University of Maribor Press
COBISS
Faculty of Business and Economic, Maribor
Faculty of Agriculture and Life Sciences, Maribor
Faculty of Logistics, Celje, Krško
Faculty of Organizational Sciences, Kranj
Faculty of Criminal Justice and Security, Ljubljana
Faculty of Health Sciences
Library of Technical Faculties, Maribor
Faculty of Medicine, Maribor
Miklošič Library FPNM, Maribor
Faculty of Law, Maribor
University of Maribor Library
Bigger font
|
Smaller font
Introduction
Search
Browsing
Upload document
For students
For employees
Statistics
Login
First page
>
Show document
Show document
Title:
Universal decomposition rule for OBDD, OFDD, and 0-sup-BDD
Authors:
ID
Meolic, Robert
, Univerza v Mariboru (Author)
ID
Brezočnik, Zmago
, Univerza v Mariboru (Author)
Files:
erk96revisited-eng.pdf
(235,92 KB)
MD5: 92F2AA46727CB828B8E7D74739D89C49
Language:
English
Work type:
Not categorized
Organization:
FERI - Faculty of Electrical Engineering and Computer Science
Abstract:
Binary decision diagram (BDD) is a very successful data structure for representation and manipulation of Boolean functions. Various BDD types have been proposed. In this paper relations between OBDD, OFDD, and 0-sup-BDD are shown in a new way. An universal decomposition rule for them is introduced. Using this rule a set of 288 BDD types is defined together with their minimization rules. NOTE: This is a revisited and translated version of the paper: "Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD". In Proceedings of the Fifth Electrotechnical and Computer Science Conference ERK'96, Portorož, Slovenia, volume B, pages 11-14, September 1996.
Keywords:
Binary Decision Diagram
,
Shannon's expansion
,
Reed–Muller expansion
,
Davio expansion
,
Digital Circuit Design
Publication status:
Not published
Place of publishing:
Maribor
Publisher:
Univerza v Mariboru
Year of publishing:
2016
Number of pages:
5
PID:
20.500.12556/DKUM-64403
NUK URN:
URN:SI:UM:DK:PWRBUKWY
Publication date in DKUM:
12.10.2016
Views:
2500
Downloads:
87
Metadata:
Categories:
Misc.
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
MEOLIC, Robert and BREZOČNIK, Zmago, 2016,
Universal decomposition rule for OBDD, OFDD, and 0-sup-BDD
[online]. 2016. Maribor : Univerza v Mariboru. [Accessed 21 January 2025]. Retrieved from: https://dk.um.si/IzpisGradiva.php?lang=eng&id=64403
Copy citation
Average score:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 votes)
Your score:
Voting is allowed only for
logged in
users.
Share:
Similar works from our repository:
Snovanje modularne vpenjalne priprave za obdelavo prirobnega parnega cedila
Snovanje modularne vpenjalne priprave za procese odrezavanja
Zasnova vpenjalne priprave za obdelavo podkvastega obdelovanca
Snovanje modularne vpenjalne priprave za proces frezanja jedra vložka
Razvoj modularne vpenjalne priprave za obdelavo difuzorja
Similar works from other repositories:
Zasnova in razvoj vpenjalne naprave za teste utrujanja lesa
Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.
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:
28.09.2016
Secondary language
Language:
Slovenian
Title:
Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD
Abstract:
Binarni odločitveni graf (BDD) je zelo uspešna podatkovna struktura za predstavitev in obdelavo logičnih funkcij. Predlagani so bili različni tipi BDD-jev. Ta članek obravnava razmerja med OBDD, OFDD in 0-sup-BDD na nov način. Predstavljeno je splošno razčlenitveno pravilo za njih. S pomočjo tega pravila je definirana množica 288 tipov BDD-jev in pravila za njihovo minimizacijo.
Keywords:
binarni odločitveni graf
,
Shannonova razčlenitev
,
Reed-Mullerjeva razčlenitev
,
Daviova razčlenitev
,
načrtovanje digitalnih vezij
Comments
Leave comment
You must
log in
to leave a comment.
Comments (0)
0 - 0 / 0
There are no comments!
Back