Functional Verification Coverage vs. Physical Stuck-at Fault Coverage. - Xiao Sun 002; Carmie Hull (DFT, 1998)