SLS - A fast switch level simulator for verification and fault coverage analysisZ. BarzilaiD. Beeceet al.1986DAC 1986