Samuel Hertz

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Open Source Projects

Symbolic Execution

Static Analysis

Top Venues

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

Publications

Samuel Hertz, Debjit Pal, Spencer Offenberger, Shobha Vasudevan
A figure of merit for assertions in verification. ASP-DAC (2019)
Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan
Code Coverage of Assertions Using RTL Source Code Analysis. DAC (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)