SWiTEST: A Switch Level Test Generation System for CMOS Combinational Circuits