Reversible synthesis of symmetric boolean functions based on unate decomposition.
Arighna DebDebesh K. DasHafizur RahamanBhargab B. BhattacharyaPublished in: ACM Great Lakes Symposium on VLSI (2013)
Keyphrases
- boolean functions
- functional decomposition
- bi decomposition
- uniform distribution
- cellular automata
- prime implicants
- functional properties
- markov chain
- dnf formulae
- linear threshold
- membership queries
- polynomial size
- binary decision diagrams
- disjunctive normal form
- threshold functions
- relevant variables
- read once formulas
- decomposition methods
- multi valued
- multi class