David Sheridan

According to our database, David Sheridan authored at least 8 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the IEEE International Reliability Physics Symposium, 2021

2014

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.

David Sheridan, Lingyi Liu, Hyungsul Kim, Shobha Vasudevan

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013

Mining Hardware Assertions With Guidance From Static Analysis.

Samuel Hertz, David Sheridan, Shobha Vasudevan

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

2012

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

2011

Automatic generation of assertions from system level design using data mining.

Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Signature Pattern Covering via Local Greedy Algorithm and Pattern Shrink.

Hyungsul Kim, Sungjin Im, Tarek F. Abdelzaher, Jiawei Han, David Sheridan, Shobha Vasudevan

Proceedings of the 11th IEEE International Conference on Data Mining, 2011

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus.

Lingyi Liu, David Sheridan, William Tuohy, Shobha Vasudevan

Proceedings of the Design, Automation and Test in Europe, 2011

2010

GoldMine: Automatic assertion generation using data mining and static analysis.

Shobha Vasudevan, David Sheridan, Sanjay J. Patel, David Tcheng, William Tuohy, Daniel R. Johnson

Proceedings of the Design, Automation and Test in Europe, 2010