Lets be Formal While Talking About Verification Quality: A Novel Approach Of Qualifying Assertion Based IPs Author(s): Surinder Sood, Sachin Scaria, and Erik Seligman Location: United States Year: 2018 Type: Presentation Download