Functional Fault Models and Gate Level Coverage for Sequential Architectures