XSPICE state machine example

examples/xspice/state/state.in

@@ -0,0 +1,13 @@
+* This is an example state.in file. This file
+* defines a simple 2-bit counter with one input. The
+* value of this input determines whether the counter counts
+* up (in = 1) or down (in = 0).
+* [state#] [output1 output2] [input] [next state]
+0 0s 0s 0 -> 3
+        1 -> 1
+1 0s 1z 0 -> 0
+        1 -> 2
+2 1z 0s 0 -> 1
+        1 -> 3
+3 1z 1z 0 -> 2
+3 1z 1z 1 -> 0