-
Predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafiČasar, Aleš ...V članku so opisane podatkovne strukture in algoritmi za predstavitev logičnih funkcij z minimalnimi urejenimi binarnimi odločitvenimi grafi (ROBDD). Za hitro iskanje podatkov je uporabljena zgoščena ... tabela, dodatne informacije o spremenljivkah in funkcijah pa so shranjene v binarnih drevesih. Osnova za operacije nad funkcijami je rekurzivni algoritem operacije ITE. V članku je poudarek na programskih tehnikah, ki so potrebne, da iz ideje nastane program. Prvič sta opisana rekurzivni algoritem za sestavljanje fukcij in postopek čiščenja s števcem formul, ki je učinkovitejši od doslej predlaganih. Rezultati testiranj kažejo, da je v aplikacijah, ki obdelujejo logične funkcije, opisana predstavutev zelo učinkovita.Source: Elektrotehniški vestnik. - ISSN 0013-5852 (59 (1992), 5 ; str. 299-307)Type of material - article, component partPublish date - 1992Language - slovenianCOBISS.SI-ID - 4599556
Author
Časar, Aleš |
Meolic, Robert |
Brezočnik, Zmago |
Horvat, Bogomir, 1936-
Topics
računalništvo |
minimalni urejeni binarni odločitveni graf |
logične funkcije |
operator If Then Else |
sestavljanje logičnih funkcij |
dokazovanje logičnih vezij |
zgoščena tabela |
ROBDD |
Booleove funkcije |
logična vezja |
verifikacija |
strojna oprema |
ekvivalenca funkcij |
testiranje tavtologije |
grafi |
binarni odločitveni grafi |
computer science |
reduced order binary decision diagram |
ROBDD |
Boolean function |
logic functions |
If Then Else operator |
composition of logic functions |
logic design verification |
hash table |
equivalence of functions |
tautology testing |
logic circuits |
hardware |
verification |
graphs |
binary decision graphs
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Časar, Aleš | 15672 |
Meolic, Robert | 17878 |
Brezočnik, Zmago | 02071 |
Horvat, Bogomir, 1936- | 03015 |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.