Login / Signup

Efficient symbolic simulation-based verification using the parametric form of Boolean expressions.

Prabhat JainGanesh Gopalakrishnan
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
  • boolean expressions
  • database systems
  • machine learning
  • computational complexity
  • data model