David Sheridan

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Investigation of Gate Leakage Current Behavior for Commercial 1.2 kV 4H-SiC Power MOSFETs.
Proceedings of the IEEE International Reliability Physics Symposium, 2021

2014
A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.
Proceedings of the 2014 27th International Conference on VLSI Design, 2014

2013
Mining Hardware Assertions With Guidance From Static Analysis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

2012
A Technique for Test Coverage Closure Using GoldMine.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

2011
Automatic generation of assertions from system level design using data mining.
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.
Proceedings of the 11th IEEE International Conference on Data Mining, 2011

Towards coverage closure: Using GoldMine assertions for generating design validation stimulus.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
GoldMine: Automatic assertion generation using data mining and static analysis.
Proceedings of the Design, Automation and Test in Europe, 2010


  Loading...