Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Bi-Partition of Shared Binary Decision Diagrams Pembahagian Dwi Gambarajah Keputusan Perduaan Dikongsi

Munehiro MATSUURA, Tsutomu SASAO, Jon T. BUTLER, Yukihiro IGUCHI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Gambar rajah keputusan binari yang dikongsi (SBDD) mewakili fungsi berbilang output, di mana nod dikongsi antara BDD yang mewakili pelbagai output. SBDD yang dipisahkan terdiri daripada dua atau lebih SBDD yang berkongsi nod. SBDD yang berasingan dioptimumkan secara bebas, selalunya mengakibatkan pengurangan bilangan nod ke atas satu SBDD. Kami menunjukkan kaedah untuk membahagikan satu SBDD kepada dua bahagian yang mengurangkan kiraan nod. Antara fungsi penanda aras yang diuji, pengurangan nod sehingga 23% direalisasikan.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.12 pp.2693-2700
Tarikh penerbitan
2002/12/01
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
kategori
Sintesis Logik

Pengarang

Kata kunci

Contents [show]