GoldMine: Automatic Assertion Generation and Coverage Closure in Design Validation Author(s): David Sheridan, Lingyi Liu, and Shobha Vasudevan Download