GoldMine: Automatic Assertion Generation and Coverage Closure in Design Validation

Author(s):

David Sheridan, Lingyi Liu, and Shobha Vasudevan

Location:

United States

Year:

2011

Type:

Paper

Download