This is a link to a package to implement Mealy type state machines in Tcl. It is a companion to the [Moore Type State Models] package. http://chiselapp.com/user/mangoa01/repository/mrtools/doc/tip/mealy/wiki/intro.wiki The example is the same as the Moore example, just done as a Mealy type machine for those that prefer that formulation. <>Design