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