Let’s be Formal While Talking About Verification Quality: A Novel Approach to Qualify Assertion Based VIPs Author(s): Sachin Scaria, Surinder Sood, and Erik Seligman Download