GoldMine: Automatic assertion generation using data mining and static analysis. - Shobha Vasudevan; David Sheridan; Sanjay J. Patel; David Tcheng; William Tuohy; Daniel R. Johnson (DATE, 2010)

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. - Lingyi Liu; David Sheridan; William Tuohy; Shobha Vasudevan (DATE, 2011)

Signature Pattern Covering via Local Greedy Algorithm and Pattern Shrink. - Hyungsul Kim; Sungjin Im; Tarek F. Abdelzaher; Jiawei Han 001; David Sheridan; Shobha Vasudevan (ICDM, 2011)

Automatic generation of assertions from system level design using data mining. - Lingyi Liu; David Sheridan; Viraj Athavale; Shobha Vasudevan (MEMOCODE, 2011)

A Technique for Test Coverage Closure Using GoldMine. - Lingyi Liu; David Sheridan; William Tuohy; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Mining Hardware Assertions With Guidance From Static Analysis. - Samuel Hertz; David Sheridan; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. - David Sheridan; Lingyi Liu; Hyungsul Kim; Shobha Vasudevan (VLSID, 2014)

Investigation of Gate Leakage Current Behavior for Commercial 1.2 kV 4H-SiC Power MOSFETs. - Shengnan Zhu; Tianshi Liu; Marvin H. White; Anant K. Agarwal; Arash Salemi; David Sheridan (IRPS, 2021)