Login / Signup

A figure of merit for assertions in verification.

Samuel HertzDebjit PalSpencer OffenbergerShobha Vasudevan
Published in: ASP-DAC (2019)
Keyphrases
  • figure of merit
  • edge detector
  • computer vision
  • higher order
  • gray level
  • convex optimization