Presentation | 2000/1/11 Node Codings for Implicit Representation of Binary Decision Diagrams Hitoshi Yamauchi, Hiromitsu Takahashi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Binary Decision Diagrams(BDD)is used on computer aided design of VLSI, because of that's goodness of memory spacing on computers for representing boolean functions. Recently, though, big size boolean functions such that are not able to be represented by BDD appear on VLSI design. We presented an implicit representation of BDDs(〓BDD)which is a new representation method by representing characteristics of BDD in meaning of graph implicitly, and its improvement representation method to manipulate faster. In this paper, some node codings are presented. Codings of nodes of BDDs represented implicitly, is effective to 〓BDD's size. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | BDD / zero-supressed BDD / implicit representation / boolean function / computer aided design |
Paper # | VLD99-92,CPSY99-101 |
Date of Issue |
Conference Information | |
Committee | VLD |
---|---|
Conference Date | 2000/1/11(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | VLSI Design Technologies (VLD) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Node Codings for Implicit Representation of Binary Decision Diagrams |
Sub Title (in English) | |
Keyword(1) | BDD |
Keyword(2) | zero-supressed BDD |
Keyword(3) | implicit representation |
Keyword(4) | boolean function |
Keyword(5) | computer aided design |
1st Author's Name | Hitoshi Yamauchi |
1st Author's Affiliation | Department of Communication Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University() |
2nd Author's Name | Hiromitsu Takahashi |
2nd Author's Affiliation | Department of Communication Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
Date | 2000/1/11 |
Paper # | VLD99-92,CPSY99-101 |
Volume (vol) | vol.99 |
Number (no) | 529 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |