Sam Hertz

According to our database, Sam Hertz authored at least 4 papers between 2012 and 2019.

Collaborative distances:

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

2019

A figure of merit for assertions in verification.

Samuel Hertz, Debjit Pal, Spencer Offenberger, Shobha Vasudevan

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2014

Code Coverage of Assertions Using RTL Source Code Analysis.

Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan

Proceedings of the 51st Annual Design Automation Conference 2014, 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

Using static analysis for coverage extraction fromemulation/prototyping platforms.

Viraj Athavale, Sam Hertz, Darshan Jetly, Vijay Ganesan, Jim Krysl, Shobha Vasudevan

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012