Algoritma Dasar Ordered Binary Decission Diagram (BDD)

dc.contributor.author	Yuniarto, Wendhi
dc.date.accessioned	2013-02-20T16:14:16Z
dc.date.available	2013-02-20T16:14:16Z
dc.date.issued	2013-02-20
dc.identifier.uri	http://repository.polnep.ac.id/xmlui/handle/123456789/143
dc.description.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.	en_GB
dc.subject	OBDD	en_GB
dc.subject	UNIX	en_GB
dc.subject	Algoritma	en_GB
dc.subject	Graph	en_GB
dc.subject	Logic	en_GB
dc.title	Algoritma Dasar Ordered Binary Decission Diagram (BDD)	en_GB
dc.type	Other	en_GB