1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
|
x = abc
count = 111
x = hello
count = 112
account deposit 50 -> ()
account withdraw 20 -> 30
account withdraw 20 -> 10
account withdraw 15 ->
x deposit 30 -> ()
y withdraw 20 ->
x deposit 30 -> ()
x withdraw 20 -> 10
x deposit 30 -> ()
y withdraw 20 -> 10
2^0 = 1.0
2^1 = 2.0
2^2 = 4.0
2^3 = 8.0
2^0 = 1.0
2^1 = 2.0
2^2 = 4.0
2^3 = 8.0
1 2 3
List(1, 2, 3)
out 0 new-value = false
*** simulation started ***
out 1 new-value = true
!0 = 1
*** simulation started ***
out 2 new-value = false
!1 = 0
out 2 new-value = false
*** simulation started ***
0 & 0 = 0
*** simulation started ***
0 & 1 = 0
*** simulation started ***
out 11 new-value = true
out 11 new-value = false
1 & 0 = 0
*** simulation started ***
out 14 new-value = true
1 & 1 = 1
out 14 new-value = false
*** simulation started ***
0 | 0 = 0
*** simulation started ***
out 24 new-value = true
0 | 1 = 1
*** simulation started ***
1 | 0 = 1
*** simulation started ***
1 | 1 = 1
sum 34 new-value = false
carry 34 new-value = false
*** simulation started ***
0 + 0 = 0
*** simulation started ***
sum 47 new-value = true
0 + 1 = 1
*** simulation started ***
carry 50 new-value = true
carry 50 new-value = false
sum 54 new-value = false
sum 54 new-value = true
1 + 0 = 1
*** simulation started ***
carry 57 new-value = true
sum 61 new-value = false
1 + 1 = 2
sum 61 new-value = false
carry 61 new-value = false
*** simulation started ***
0 + 0 + 0 = 0
*** simulation started ***
sum 82 new-value = true
0 + 0 + 1 = 1
*** simulation started ***
sum 89 new-value = false
carry 90 new-value = true
sum 97 new-value = true
carry 98 new-value = false
0 + 1 + 0 = 1
*** simulation started ***
sum 113 new-value = false
carry 114 new-value = true
0 + 1 + 1 = 2
*** simulation started ***
sum 121 new-value = true
carry 122 new-value = false
sum 129 new-value = false
sum 129 new-value = true
1 + 0 + 0 = 1
*** simulation started ***
carry 137 new-value = true
sum 144 new-value = false
1 + 0 + 1 = 2
*** simulation started ***
carry 152 new-value = false
sum 152 new-value = true
sum 158 new-value = false
carry 159 new-value = true
1 + 1 + 0 = 2
*** simulation started ***
sum 173 new-value = true
1 + 1 + 1 = 3
in 0 new-value = false
ctrl0 0 new-value = false
ctrl1 0 new-value = false
ctrl2 0 new-value = false
out0 0 new-value = false
out1 0 new-value = false
out2 0 new-value = false
out3 0 new-value = false
out4 0 new-value = false
out5 0 new-value = false
out6 0 new-value = false
out7 0 new-value = false
in 0 new-value = true
*** simulation started ***
out0 10 new-value = true
ctrl0 10 new-value = true
*** simulation started ***
out1 13 new-value = true
out0 14 new-value = false
ctrl1 14 new-value = true
*** simulation started ***
out3 20 new-value = true
out1 21 new-value = false
ctrl2 21 new-value = true
*** simulation started ***
out7 30 new-value = true
out3 31 new-value = false
ctrl0 31 new-value = false
*** simulation started ***
out7 34 new-value = false
out6 35 new-value = true
|
