20.500.12556/DKUM-64403 Universal decomposition rule for OBDD, OFDD, and 0-sup-BDD Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD 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. 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. Binary Decision Diagram Shannon's expansion Reed–Muller expansion Davio expansion Digital Circuit Design binarni odločitveni graf Shannonova razčlenitev Reed-Mullerjeva razčlenitev Daviova razčlenitev načrtovanje digitalnih vezij true true false Univerza v Mariboru Angleški jezik Slovenski jezik Delo ni kategorizirano 2016-09-28 14:02:54 2016-10-12 14:45:04 2022-07-05 03:07:27 2019-07-11 14:00:55 2016 0 Maribor 0 5 0000-00-00 NiDoloceno Neobjavljeno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 URN:SI:UM:DK:PWRBUKWY erk96revisited-eng.pdf erk96revisited-eng.pdf 1 92F2AA46727CB828B8E7D74739D89C49 d96d3766a8f6ad2cbb17edf7aa2c4801b326ab26da8873d3aeeb7282fa7793c6 b1cf77f7-7c0d-11eb-bb7a-00155d0001ca https://dk.um.si/Dokument.php?lang=slv&id=106829 Fakulteta za elektrotehniko, računalništvo in informatiko 0 0 0