The DVClub held on 18 January 2010 in Bristol, Cambridge and Eindhoven, with remote access too, considered “Coverage Closure”
“Introduction and results from Survey”, Mike Bartley, T&VS
“Hybrid-Formal Coverage Convergence”, Dan Benua, Synopsys
“Heuristic Stimuli Generation For Coverage Closure Exploiting Simulation Feedback”, Giovanni Squillero, Politecnico di Torino, Italy“Easy and Hard Ways to Reach Coverage Closure”, Avi Ziv, IBM
“Using a Formal Property Checker for Simulation Coverage Closure”, Infineon and Bristol Uni