FsmTest: Functional test generation for sequential circuits. - G. Buonannoa; Franco Fummi; Donatella Sciuto; Fabrizio Lombardi (Integr., 1996)