Login / Signup

Equivalence checking of combinational circuits using Boolean expression diagrams.

Henrik HulgaardPoul Frederick WilliamsHenrik Reif Andersen
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
  • boolean expressions
  • logic circuits
  • normal form
  • real valued
  • conjunctive queries
  • inverted lists
  • internal nodes
  • finite domain
  • mining frequent
  • relational databases
  • document collections