A synthesis-agnostic behavioral fault model for high gate-level fault coverage | IEEE Conference Publication | IEEE Xplore