Using Coverage to Deploy Formal Verification in a Simulation World. - Vigyan Singhal; Prashant Aggarwal (CAV, 2011)

Planning for end-to-end formal using simulation-based coverage: invited tutorial. - Prashant Aggarwal; Darrow Chu; Vijay Kadamby; Vigyan Singhal (FMCAD, 2011)