OBDD-based function decomposition: algorithms and implementation
| Author(s) : | Massoud Pedram Kuo-rueih Ricky Pan Yung-te Lai, |
| Publisher : | N/A |
| Publication Date : | 1996 |
| ISSN : | N/A |
| Abstract : | 1 A function represented in (a) OBDD and (b) decomposition chart.:::::::::32 2 An example of disjunctive decomposition.:::::::::::::::::::::33 3 An example of nondisjunctive decomposition.:::::::::::::::::::34 4 An example for operatorcutvector.::::::::::::::::::::::::35 5 An example of multiple-output decomposition in OBDD representation.::::::36, |