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
Format:
pdf