Franco Fummi, Graziano Pravadelli, Franco Toto. Coverage of formal properties based on a high-level fault model and functional ATPG. In 10th European Test Symposium (ETS 2005), May 22-25, 2005, Tallinn, Estonia. pages 162-167, IEEE, 2005. [doi]
Abstract is missing.