Title :
Multi-terminal BDD synthesis and applications
Author_Institution :
Faculty of Information Technology, Brno University of Technology, Bo?et?chova 2, 612 66, Czech Republic
Abstract :
In this paper we present a heuristic technique of the iterative decomposition of incompletely specified multipleoutput Boolean functions. Its main contribution is that the bottom-up synthesis of MTBDD does not require knowledge of optimum ordering of variables, because the order of variables is generated concurrently. Obtained MTBDDs can be used in hardware (LUT cascades), firmware (branching microprograms) and software implementation of combinational and sequential functions.
Keywords :
"Binary decision diagrams","Boolean functions","Information technology","Data structures","Hardware","Input variables","Digital systems","Programmable logic arrays","Testing","Shape"
Conference_Titel :
Field Programmable Logic and Applications, 2009. FPL 2009. International Conference on
Electronic_ISBN :
1946-1488
DOI :
10.1109/FPL.2009.5272326
