| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva Pomoč

Naslov:Representation of Boolean functions with ROBDDs
Avtorji:ID Časar, Aleš (Avtor)
ID Meolic, Robert (Avtor)
Datoteke:.pdf robdd-casar-meolic.pdf (323,32 KB)
MD5: 66DCC70305CACE042DC889E9C7ADEC7B
PID: 20.500.12556/dkum/7fc4eb02-c4cc-49f0-8a78-0d6593f48a01
 
Jezik:Angleški jezik
Vrsta gradiva:Delo ni kategorizirano
Tipologija:1.16 - Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis: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.
Ključne besede:Reduced Ordered Binary Decision Diagram, Boolean function, logic functions, logic design verification, hash table
Status publikacije:Objavljeno
Št. strani:[8] str.
PID:20.500.12556/DKUM-67091 Novo okno
UDK:004:519.2
COBISS.SI-ID:6992150 Novo okno
NUK URN:URN:SI:UM:DK:SESLSZ31
Datum objave v DKUM:02.02.2018
Število ogledov:2539
Število prenosov:56
Metapodatki:XML DC-XML DC-RDF
Področja:Ostalo
:
ČASAR, Aleš in MEOLIC, Robert, brez datuma, Representation of Boolean functions with ROBDDs. V : IEEE Student paper contest [na spletu]. Piscataway. [Dostopano 21 januar 2025]. Pridobljeno s: https://dk.um.si/IzpisGradiva.php?lang=slv&id=67091
Kopiraj citat
  
Skupna ocena:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share


Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Gradivo je del monografije

Naslov:IEEE Student paper contest : regional contest winners 1990-1997
Kraj izida:Piscataway
Založnik:#The #Institute of Electrical and Electronics Engineers
Leto izida:2000
COBISS.SI-ID:6991894 Novo okno

Licence

Licenca:CC BY 4.0, Creative Commons Priznanje avtorstva 4.0 Mednarodna
Povezava:http://creativecommons.org/licenses/by/4.0/deed.sl
Opis:To je standardna licenca Creative Commons, ki daje uporabnikom največ možnosti za nadaljnjo uporabo dela, pri čemer morajo navesti avtorja.
Začetek licenciranja:02.08.2017

Sekundarni jezik

Jezik:Angleški jezik
Ključne besede:Boolove funkcije, algoritmi, binarni odločitveni diagram, struktura podatkov


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici