| Decomposition and Minimization of Binary Decision Diagrams for Systems of Specified Boolean Functions |
|
|
| Authors |
| | Bibilo P.N. |
| Date of publication |
| | 2014 |
|
| Abstract |
| | A method for decomposition of a system of partial Boolean functions given in BDD is proposed. Minimizing the number of intermediate functions in such decomposition is aimed at timing and area optimization of gate=level logic circuit. The specific feature of the method is that one of the two blocks resulting from the initial BDD decomposition is given in DNF. |
| Keywords |
| | Boolean function, disjunctive normal form, binary decision diagram (BDD), decomposition, graph coloring, synthesis of logical circuit |
| Library reference |
| | Bibilo P.N. Decomposition and Minimization of Binary Decision Diagrams for Systems of Specified Boolean Functions // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2014. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2014. Part 1. P. 3-8. |
| URL of paper |
| | http://www.mes-conference.ru/data/year2014/pdf/D003.pdf |
