Functional fault models and gate level coverage for sequential architectures | IEEE Conference Publication | IEEE Xplore