Login / Signup
Synthesis on switching lattices of Dimension-reducible Boolean functions.
Anna Bernasconi
Valentina Ciriani
Luca Frontini
Gabriella Trucco
Published in:
VLSI-SoC (2016)
Keyphrases
</>
boolean functions
functional decomposition
uniform distribution
membership queries
relevant variables
prime implicants
dnf formulae
functional properties
threshold functions
binary decision diagrams
disjunctive normal form
satisfiability problem
dnf formulas
linear functions
truth table