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 Location: United States Year: 2018 Type: Paper Download