Extending gate-level diagnosis tools to CMOS intra-gate faults - Fan, X; Moore, W; Hora, C; Gronthoud, G (IET COMPUTERS AND DIGITAL TECHNIQUES, 2007)