Planning for end-to-end formal using simulation-based coverage:

Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal

Browse the full FMCAD paper archive.