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