Publications

 

GoldMine: Automatic assertion generation using data mining and static analysis. Shobha Vasudevan, David Sheridan, Sanjay Patel, David Tcheng, Bill Tuohy, Daniel Johnson. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010.

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. Lingyi Liu, David Sheridan, William Tuohy, and Shobha Vasudevan. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011.

A Technique for Test Coverage Closure using GoldMine. Lingyi Liu, David Sheridan, William Tuohy, and Shobha Vasudevan. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2012.

Guided Association Rule Learning for Assertion Generation. David Sheridan, Hyung-Sul Kim, Lingyi Liu, Jiawei Han, Shobha Vasudevan. Tech Report, 2012.

Mining High Quality Assertions using Best-Gain Decision Forests. Samuel Hertz and Shobha Vasudevan. Tech Report, 2012.

Mining Hardware Assertions with Guidance from Static Analysis. Samuel Hertz, David Sheridan, and Shobha Vasudevan. To appear in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2013.

Word Level Feature Discovery to Enhance Quality of Assertion Mining. Lingyi Liu, Chen Hsuan Lin and Shobha Vasudevan. IEEE/ACM International Conference on Computer Aided Design (ICCAD) 2012. 

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.  David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan, VLSI Design Conference 2014, 68-73 (BEST STUDENT PAPER AWARD)

Code Coverage of Assertions Using RTL Source Code Analysis. Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan, Design Automation Conference 2014 (DAC 2014), 1-6 (BEST PAPER AWARD)