Checking sequence design for FSM
Keevallik, Andres
;
Kruus, Margus
;
Lensen, Harri
Proceedings of the 5th International Conference on Mixed Design of Integrated Circuits and Systems, Lodz, Poland, June 18-20, 1998
1998
/
p. 325-330