Here is how Counter1.dig was automatically generated using Digital software.

1.	Click Analysis -> Finite State Machine

2.	Click Create -> Create Counter -> 8 states

3.	Click Create -> State Transition Table

4.	State transition table is then displayed.

5.	Click Create -> Circuit