Testable combinational circuit design based on free ZDD-implementation of irredundant SOPof Boolean function.
Sergey OstaninPublished in: EWDTS (2013)
Keyphrases
- circuit design
- boolean functions
- binary decision diagrams
- uniform distribution
- design automation
- digital circuits
- functional decomposition
- relevant variables
- pseudo boolean functions
- disjunctive normal form
- functional properties
- concept learning
- heuristic search
- upper bound
- lower bound
- bi decomposition
- monotone boolean functions
- truth table
- learning algorithm