David Sheridan

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Static Analysis

Sequential Pattern Mining

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Shengnan Zhu, Tianshi Liu, Marvin H. White, Anant K. Agarwal, Arash Salemi, David Sheridan
Investigation of Gate Leakage Current Behavior for Commercial 1.2 kV 4H-SiC Power MOSFETs. IRPS (2021)
David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan
A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions. VLSI Design (2014)
Samuel Hertz, David Sheridan, Shobha Vasudevan
Mining Hardware Assertions With Guidance From Static Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (6) (2013)
Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan
A Technique for Test Coverage Closure Using GoldMine. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (5) (2012)
Hyungsul Kim, Sungjin Im, Tarek F. Abdelzaher, Jiawei Han, David Sheridan, Shobha Vasudevan
Signature Pattern Covering via Local Greedy Algorithm and Pattern Shrink. ICDM (2011)
Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan
Towards coverage closure: Using GoldMine assertions for generating design validation stimulus. DATE (2011)
Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan
Automatic generation of assertions from system level design using data mining. MEMOCODE (2011)
Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson
GoldMine: Automatic assertion generation using data mining and static analysis. DATE (2010)