Fault Models of CMOS Gates: An Empirical Study Based on Mutation Analysis | IEEE Conference Publication | IEEE Xplore