Login / Signup

Applied Boolean Equivalence Verification and RTL Static Sign-Off.

Harry Foster
Published in: IEEE Des. Test Comput. (2001)
Keyphrases
  • real valued
  • boolean functions
  • computer vision
  • image sequences
  • video sequences
  • multi agent systems
  • model checking