ITE Trace

Look at the "Value" columns to see what the If-Then-Else (ITE) application is doing.  The author claims there are 15 states, yet it takes 96 state transitions to perform the 18 steps in the calculation:

  "-3.14159 - - 2.14159 = -1".

Count	Behavior	State	Value	Count	Behavior	State	Value	Count	Behavior	State	Value
1	calc	Sig= 0		33	frac1	Sig= 2	-3	65	frac2	Sig= 0	-2
2	calc	Sig= 0		34	frac1	Sig= 1	-3	66	int2	Sig= 0	-2
3	calc	Sig= 1		35	frac1	Sig= 1010	-3	67	int2	Sig= 3	-2
4	clear			36	frac1	Sig= 1010	-3.1	68	frac2	Sig= 2	-2
5	ready	Sig= 0	0	37	frac1	Sig= 1010	-3.14	69	frac2	Sig= 1	-2
6	ready	Sig= 2	0	38	frac1	Sig= 1010	-3.141	70	frac2	Sig= 1010	-2
7	ready	Sig= 1	0	39	frac1	Sig= 1010	-3.1415	71	frac2	Sig= 1010	-2.1
8	begin	Sig= 0	0	40	frac1	Sig= 1107	-3.14159	72	frac2	Sig= 1010	-2.14
9	begin	Sig= 2	0	41	operand1	Sig= 1107	-3.14159	73	frac2	Sig= 1010	-2.141
10	begin	Sig= 1	0	42	frac1	Sig= 3	-3.14159	74	frac2	Sig= 1010	-2.1415
11	begin	Sig= 1107	0	43	opEntered	Sig= 0	-3.14159	75	frac2	Sig= 1102	-2.14159
12	negated1	Sig= 0	0	44	operand1	Sig= 0	-3.14159	76	operand2	Sig= 1102	-2.14159
13	begin	Sig= 0	0	45	operand1	Sig= 3	-3.14159	77	frac2	Sig= 3	-2.14159
14	calc	Sig= 0	0	46	opEntered	Sig= 2	-3.14159	78	result	Sig= 0	-2.14159
15	begin	Sig= 3	0	47	opEntered	Sig= 1	-3.14159	79	operand2	Sig= 0	-2.14159
16	ready	Sig= 3	0	48	opEntered	Sig= 1107	-3.14159	80	ready	Sig= 0	-2.14159
17	ready	Sig= 0	0	49	clear		-3.14159	81	calc	Sig= 0	-2.14159
18	negated1	Sig= 2	0	50	negated2	Sig= 0	0	82	operand2	Sig= 3	-2.14159
19	negated1	Sig= 1	0	51	opEntered	Sig= 0	0	83	ready	Sig= 2	-2.14159
20	negated1	Sig= 1010	0	52	opEntered	Sig= 3	0	84	result	Sig= 2	-2.14159
21	int1	Sig= 0	-3	53	negated2	Sig= 2	0	85	eval	Sig= 1104	-2.14159
22	negated1	Sig= 0	-3	54	negated2	Sig= 1	0	86	result	Sig= 1	-1
23	operand1	Sig= 0	-3	55	negated2	Sig= 1010	0	87	result	Sig= 100	-1
24	calc	Sig= 0	-3	56	int2	Sig= 0	-2	88	ready	Sig= 100	-1
25	negated1	Sig= 3	-3	57	negated2	Sig= 0	-2	89	calc	Sig= 100	-1
26	operand1	Sig= 2	-3	58	operand2	Sig= 0	-2	90	result	Sig= 3	-1
27	int1	Sig= 2	-3	59	calc	Sig= 0	-2	91	ready	Sig= 3	-1
28	int1	Sig= 1	-3	60	negated2	Sig= 3	-2	92	final	Sig= 0	-1
29	int1	Sig= 1101	-3	61	operand2	Sig= 2	-2	93	calc	Sig= 0	-1
30	frac1	Sig= 0	-3	62	int2	Sig= 2	-2	94	calc	Sig= 3	-1
31	int1	Sig= 0	-3	63	int2	Sig= 1	-2	95	final	Sig= 2	-1
32	int1	Sig= 3	-3	64	int2	Sig= 1101	-2	96	final	Sig= 1	-1

Table 8.0

ITE Calculator Trace