Functional verification coverage vs. physical stuck-at fault coverage | IEEE Conference Publication | IEEE Xplore