| Title: | Implementation aspects of a BDD package supporting general decision diagrams : Revisited slides of a lecture given at JKU Linz on September 19th 2016 |
|---|
| Authors: | ID Meolic, Robert, UM-FERI (Author) |
|---|
| Files: |  gdd-meolic-linz-2016-revisited.pdf (1,07 MB)
MD5: E77DEF3631F4FABA7CFB2C51095D641C
PID: 20.500.12556/dkum/ec6b651c-c50e-4bb1-872a-b773edd29bba
|
|---|
| Language: | English |
|---|
| Work type: | Unknown |
|---|
| Typology: | 3.14 - Invited Lecture at Foreign University |
|---|
| Organization: | FERI - Faculty of Electrical Engineering and Computer Science
|
|---|
| Abstract: | General decision diagram is a loose term for a superset of different types of decision diagrams - we are interested in joining BDDs, FDDs, and different types of suppressed DDs, e.g. ZBDDs. I will present: The current state of our BDD package Biddy (functionalities and details about the original implementation aspects). Our ideas for efficient implementation of ZBDDs (which could be used for all types of suppressed DDs).New type od decision diagrams called ZFDD (somehow symmetric to ZBDD). A rough draft about the implementation of a package supporting general decision diagrams. |
|---|
| Keywords: | Binary Decision Diagram, Zero-suppressed Binary Decision Diagram, Boolean function, Algorithm, BDD package, Biddy |
|---|
| Publication status: | Not published |
|---|
| Year of publishing: | 2016 |
|---|
| Number of pages: | 85 |
|---|
| PID: | 20.500.12556/DKUM-68831  |
|---|
| UDC: | 004.5 |
|---|
| COBISS.SI-ID: | 20899606 |
|---|
| NUK URN: | URN:SI:UM:DK:T90KMGMU |
|---|
| Publication date in DKUM: | 26.10.2017 |
|---|
| Views: | 3848 |
|---|
| Downloads: | 137 |
|---|
| Metadata: |    |
|---|
| Categories: | Misc.
|
|---|
|
:
|
Copy citation |
|---|
| | | | Average score: | (0 votes) |
|---|
| Your score: | Voting is allowed only for logged in users. |
|---|
| Share: |  |
|---|
Hover the mouse pointer over a document title to show the abstract or click
on the title to get all document metadata. |
