Using static analysis for coverage extraction fromemulation/prototyping platforms. - Viraj Athavale; Sam Hertz; Darshan Jetly; Vijay Ganesan; Jim Krysl; Shobha Vasudevan (CODES+ISSS, 2012)

Mining Hardware Assertions With Guidance From Static Analysis. - Samuel Hertz; David Sheridan; Shobha Vasudevan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Code Coverage of Assertions Using RTL Source Code Analysis. - Viraj Athavale; Sai Ma; Samuel Hertz; Shobha Vasudevan (DAC, 2014)

A figure of merit for assertions in verification. - Samuel Hertz; Debjit Pal; Spencer Offenberger; Shobha Vasudevan (ASP-DAC, 2019)