Coverage of formal properties based on a high-level fault model and functional ATPG | IEEE Conference Publication | IEEE Xplore