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