A Gate Level Model for CMOS Combinational Logic Circuits with Application to Fault Detection | IEEE Conference Publication | IEEE Xplore