Fast switch-level fault simulation using functional fault modeling | IEEE Conference Publication | IEEE Xplore