Accurate Power Estimation of Logic Structures Based on Timed Boolean Functions.
George TheodoridisS. TheoharisNikolaos D. ZervasConstantinos E. GoutisPublished in: PATMOS (2000)
Keyphrases
- boolean functions
- multi valued
- uniform distribution
- truth table
- functional properties
- binary decision diagrams
- prime implicants
- threshold functions
- membership queries
- power consumption
- dnf formulae
- polynomial size
- petri net
- relevant variables
- modal logic
- pac learning
- logic programming
- machine learning
- read once formulas
- linear threshold
- automated reasoning
- np complete