State machine design-an interactive approach

Finite state machines are essential components in digital systems. This paper describes a tool for designing a finite state machine from its behavioral description. Useful user interfaces for describing a state machine and for verification of its behavior are the important contributions made in this paper.<>