Program menurut bdd-tree.sf.net

menghasilkan paket perangkat lunak lengkap menggunakan representasi diagram keputusan biner (BDD) untuk memanipulasi peta logika untuk tujuan pengoptimalan desain multiplyer{like(A+B)(C)(D)}Di C++ Core.C++ GUI. Modul Verilog