Algoritma Dasar Ordered Binary Decission Diagram (BDD)

Abstract

Tulisan ini memperlihatkan algoritma dasar dari OBDD untuk memverifikasi fungsi Boolean. Dengan menggunakan paket KBDD (yang dikembangkan oleh Karl Berry dari Carnegie Melon University), program kbdd berjalan di sistem UNIX (Linux). Algoritma yang digunakan mempunyai kompleksitas waktu yang sebanding terhadap ukuran graph di dalam operasinya, dan efisien sepanjang graph tidak berkembang lebih besar. Eksperimen memperlihatkan hasil dari penggunaan algoritma untuk permasalahan pada verifikasi perancangan logic.