Keywords :
Circuit testing, D-algorithm, diagnosis, LSI, simulation, test generation.; Asynchronous circuits; Circuit simulation; Circuit testing; Clocks; Heuristic algorithms; Large scale integration; Logic circuits; Logic testing; Sequential analysis; Sequential circuits; Circuit testing, D-algorithm, diagnosis, LSI, simulation, test generation.;