-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathtest.sus_output.txt
574 lines (574 loc) · 18.1 KB
/
test.sus_output.txt
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
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
TREE SITTER module! LatencyOffset
TREE SITTER module! CrossDomain
TREE SITTER module! IntToBits
TREE SITTER module! BitsToInt
TREE SITTER module! bool
TREE SITTER module! int
TREE SITTER module! __crash_compiler
TREE SITTER module! true
TREE SITTER module! false
TREE SITTER module! assert
TREE SITTER module! sizeof
TREE SITTER module! clog2
TREE SITTER module! DualPortMem
TREE SITTER module! FIFO
TREE SITTER module! JoinDomains
TREE SITTER module! Iterator
TREE SITTER module! FixedSizeIterator
TREE SITTER module! SlowClockGenerator
TREE SITTER module! SplitAt
TREE SITTER module! Abs
TREE SITTER module! Slice
TREE SITTER module! BitSelect
TREE SITTER module! PopCount
TREE SITTER module! TreeAdd
TREE SITTER module! example_md
TREE SITTER module! multiply_add
TREE SITTER module! test_pow17
TREE SITTER module! pow17
TREE SITTER module! fibonnaci
TREE SITTER module! blur2
TREE SITTER module! Tree_Multiply
TREE SITTER module! Accumulator
TREE SITTER module! blur
TREE SITTER module! Unpack4
TREE SITTER module! generative
TREE SITTER module! add_indices_to_array
TREE SITTER module! assignment_producer
TREE SITTER module! test_various_assignments
TREE SITTER module! first_bit_idx_6
TREE SITTER module! multiply_add_with_latencies
TREE SITTER module! first_bit_idx_24
TREE SITTER module! permute
TREE SITTER module! permute24
TREE SITTER module! test_single_wire
TREE SITTER module! disjoint_ports
TREE SITTER module! undeteriminable_input_latency
TREE SITTER module! specified_input_latency
TREE SITTER module! determinable_input_latency
TREE SITTER module! determinable_because_no_input_output_ports
TREE SITTER module! conflicting_latency_declarations
TREE SITTER module! bad_cycle
TREE SITTER module! module_taking_time
TREE SITTER module! matrix_vector_mul
TREE SITTER module! bad_cycle2
TREE SITTER module! module_taking_a_lot_of_time
TREE SITTER module! offset_latency
TREE SITTER module! good_cycle
TREE SITTER module! input_only
TREE SITTER module! multiple_inputs_only
TREE SITTER module! output_only
TREE SITTER module! multiple_outputs_only
TREE SITTER module! submodule
TREE SITTER module! doNothing
TREE SITTER module! contains_submodule_submodule
TREE SITTER module! xor
TREE SITTER module! use_xor
TREE SITTER module! fizz_buzz
TREE SITTER module! fizz_buzz_gen
TREE SITTER module! mbf_dual
TREE SITTER module! monotonize_down
TREE SITTER module! my_mod
TREE SITTER module! use_my_mod
TREE SITTER module! submodule_named_ports
TREE SITTER module! use_submodule_named_ports
TREE SITTER module! contains_submodule_submodule
TREE SITTER module! cross_bool
TREE SITTER module! cross_int
TREE SITTER module! cross_memory
TREE SITTER module! offset_backwards
TREE SITTER module! dual_port_mem
TREE SITTER module! use_fifo
TREE SITTER module! test_separated_domain
TREE SITTER module! no_port_module
TREE SITTER module! use_no_input_module
TREE SITTER module! mod_with_unused_interface
TREE SITTER module! test_write_to_gen_var
TREE SITTER module! use_bad_interface
TREE SITTER module! sequenceDownFrom
TREE SITTER module! sumUpTo
TREE SITTER module! test
TREE SITTER module! use_test
TREE SITTER module! tinyTestMod
TREE SITTER module! testTinyTestMod
TREE SITTER module! tree_add
TREE SITTER module! make_tree_add
TREE SITTER module! replicate
TREE SITTER module! use_replicate
TREE SITTER module! permute_t
TREE SITTER module! use_permute
TREE SITTER module! instruction_decoder
TREE SITTER module! run_instruction
TREE SITTER module! no_main_interface
TREE SITTER module! use_no_main_interface
TREE SITTER module! moduleWithBadDeclaration
TREE SITTER module! moduleWithBadInterface
TREE SITTER module! useModuleWithBadInterface
TREE SITTER module! SUM_UP
TREE SITTER module! dont_care
TREE SITTER module! m
TREE SITTER module! xyz
TREE SITTER module! numbersToAddUp
TREE SITTER module! sized_int_add
TREE SITTER module! use_sized_int_add
TREE SITTER module! implicit_domain_forbidden
TREE SITTER module! conflicting_domain_with_port_name
TREE SITTER module! make_infinite_type_help
TREE SITTER module! make_infinite_type
TREE SITTER module! UseDualPortMem
TREE SITTER module! example_FIFO
TREE SITTER module! use_Iterator
TREE SITTER module! UseSlice
TREE SITTER module! UseBuiltinConstants
TREE SITTER module! FailingAssert
TREE SITTER module! IfTesting
TREE SITTER module! multi_dim_array
Typechecking LatencyOffset
Typechecking CrossDomain
Typechecking IntToBits
Typechecking BitsToInt
Typechecking DualPortMem
Typechecking FIFO
Typechecking JoinDomains
Typechecking Iterator
Typechecking FixedSizeIterator
Typechecking SlowClockGenerator
Typechecking SplitAt
Typechecking Abs
Typechecking Slice
Typechecking BitSelect
Typechecking PopCount
Typechecking TreeAdd
Typechecking example_md
Typechecking multiply_add
Typechecking test_pow17
Typechecking pow17
Typechecking fibonnaci
Typechecking blur2
Typechecking Tree_Multiply
Typechecking Accumulator
Typechecking blur
Typechecking Unpack4
Typechecking generative
Typechecking add_indices_to_array
Typechecking assignment_producer
Typechecking test_various_assignments
Typechecking first_bit_idx_6
Typechecking multiply_add_with_latencies
Typechecking first_bit_idx_24
Typechecking permute
Typechecking permute24
Typechecking test_single_wire
Typechecking disjoint_ports
Typechecking undeteriminable_input_latency
Typechecking specified_input_latency
Typechecking determinable_input_latency
Typechecking determinable_because_no_input_output_ports
Typechecking conflicting_latency_declarations
Typechecking bad_cycle
Typechecking module_taking_time
Typechecking matrix_vector_mul
Typechecking bad_cycle2
Typechecking module_taking_a_lot_of_time
Typechecking offset_latency
Typechecking good_cycle
Typechecking input_only
Typechecking multiple_inputs_only
Typechecking output_only
Typechecking multiple_outputs_only
Typechecking submodule
Typechecking doNothing
Typechecking contains_submodule_submodule
Typechecking xor
Typechecking use_xor
Typechecking fizz_buzz
Typechecking fizz_buzz_gen
Typechecking mbf_dual
Typechecking monotonize_down
Typechecking my_mod
Typechecking use_my_mod
Typechecking submodule_named_ports
Typechecking use_submodule_named_ports
Typechecking contains_submodule_submodule
Typechecking cross_bool
Typechecking cross_int
Typechecking cross_memory
Typechecking offset_backwards
Typechecking dual_port_mem
Typechecking use_fifo
Typechecking test_separated_domain
Typechecking no_port_module
Typechecking use_no_input_module
Typechecking mod_with_unused_interface
Typechecking test_write_to_gen_var
Typechecking use_bad_interface
Typechecking sequenceDownFrom
Typechecking sumUpTo
Typechecking test
Typechecking use_test
Typechecking tinyTestMod
Typechecking testTinyTestMod
Typechecking tree_add
Typechecking make_tree_add
Typechecking replicate
Typechecking use_replicate
Typechecking permute_t
Typechecking use_permute
Typechecking instruction_decoder
Typechecking run_instruction
Typechecking no_main_interface
Typechecking use_no_main_interface
Typechecking moduleWithBadDeclaration
Typechecking moduleWithBadInterface
Typechecking useModuleWithBadInterface
Typechecking m
Typechecking xyz
Typechecking numbersToAddUp
Typechecking sized_int_add
Typechecking use_sized_int_add
Typechecking implicit_domain_forbidden
Typechecking conflicting_domain_with_port_name
Typechecking make_infinite_type_help
Typechecking make_infinite_type
Typechecking UseDualPortMem
Typechecking example_FIFO
Typechecking use_Iterator
Typechecking UseSlice
Typechecking UseBuiltinConstants
Typechecking FailingAssert
Typechecking IfTesting
Typechecking multi_dim_array
Instantiating IntToBits
Concrete Typechecking IntToBits
Latency Counting IntToBits
Instantiating BitsToInt
Concrete Typechecking BitsToInt
Latency Counting BitsToInt
Instantiating Iterator
Concrete Typechecking Iterator
Latency Counting Iterator
Instantiating Abs
Concrete Typechecking Abs
Latency Counting Abs
Instantiating example_md
Concrete Typechecking example_md
Latency Counting example_md
Instantiating multiply_add
Concrete Typechecking multiply_add
Latency Counting multiply_add
Instantiating test_pow17
Concrete Typechecking test_pow17
Instantiating pow17
Concrete Typechecking pow17
Latency Counting pow17
Latency Counting test_pow17
Instantiating fibonnaci
Concrete Typechecking fibonnaci
Latency Counting fibonnaci
Instantiating blur2
Concrete Typechecking blur2
Latency Counting blur2
Instantiating Tree_Multiply
Concrete Typechecking Tree_Multiply
Latency Counting Tree_Multiply
Instantiating Accumulator
Concrete Typechecking Accumulator
Latency Counting Accumulator
Instantiating blur
Concrete Typechecking blur
Latency Counting blur
Instantiating Unpack4
Concrete Typechecking Unpack4
Latency Counting Unpack4
Not Instantiating generative due to flattening errors
Instantiating add_indices_to_array
Concrete Typechecking add_indices_to_array
Latency Counting add_indices_to_array
Instantiating assignment_producer
Concrete Typechecking assignment_producer
Latency Counting assignment_producer
Instantiating test_various_assignments
Concrete Typechecking test_various_assignments
Latency Counting test_various_assignments
Instantiating first_bit_idx_6
Concrete Typechecking first_bit_idx_6
Latency Counting first_bit_idx_6
Not Instantiating multiply_add_with_latencies due to flattening errors
Instantiating first_bit_idx_24
Concrete Typechecking first_bit_idx_24
Latency Counting first_bit_idx_24
Instantiating permute
Concrete Typechecking permute
Latency Counting permute
Not Instantiating permute24 due to flattening errors
Instantiating test_single_wire
Concrete Typechecking test_single_wire
Latency Counting test_single_wire
Instantiating disjoint_ports
Concrete Typechecking disjoint_ports
Latency Counting disjoint_ports
Instantiating undeteriminable_input_latency
Concrete Typechecking undeteriminable_input_latency
Latency Counting undeteriminable_input_latency
Instantiating specified_input_latency
Concrete Typechecking specified_input_latency
Latency Counting specified_input_latency
Instantiating determinable_input_latency
Concrete Typechecking determinable_input_latency
Latency Counting determinable_input_latency
Instantiating determinable_because_no_input_output_ports
Concrete Typechecking determinable_because_no_input_output_ports
Latency Counting determinable_because_no_input_output_ports
Instantiating conflicting_latency_declarations
Concrete Typechecking conflicting_latency_declarations
Latency Counting conflicting_latency_declarations
Instantiating bad_cycle
Concrete Typechecking bad_cycle
Latency Counting bad_cycle
Instantiating module_taking_time
Concrete Typechecking module_taking_time
Latency Counting module_taking_time
Instantiating matrix_vector_mul
Concrete Typechecking matrix_vector_mul
Latency Counting matrix_vector_mul
Instantiating bad_cycle2
Concrete Typechecking bad_cycle2
Latency Counting bad_cycle2
Instantiating module_taking_a_lot_of_time
Concrete Typechecking module_taking_a_lot_of_time
Latency Counting module_taking_a_lot_of_time
Instantiating offset_latency
Concrete Typechecking offset_latency
Latency Counting offset_latency
Instantiating good_cycle
Concrete Typechecking good_cycle
Latency Counting good_cycle
Instantiating input_only
Concrete Typechecking input_only
Latency Counting input_only
Instantiating multiple_inputs_only
Concrete Typechecking multiple_inputs_only
Latency Counting multiple_inputs_only
Instantiating output_only
Concrete Typechecking output_only
Latency Counting output_only
Instantiating multiple_outputs_only
Concrete Typechecking multiple_outputs_only
Latency Counting multiple_outputs_only
Instantiating submodule
Concrete Typechecking submodule
Latency Counting submodule
Instantiating doNothing
Concrete Typechecking doNothing
Latency Counting doNothing
Not Instantiating contains_submodule_submodule due to flattening errors
Instantiating xor
Concrete Typechecking xor
Latency Counting xor
Instantiating use_xor
Concrete Typechecking use_xor
Latency Counting use_xor
Instantiating fizz_buzz
Concrete Typechecking fizz_buzz
Latency Counting fizz_buzz
Instantiating fizz_buzz_gen
Concrete Typechecking fizz_buzz_gen
Latency Counting fizz_buzz_gen
Instantiating mbf_dual
Concrete Typechecking mbf_dual
Latency Counting mbf_dual
Instantiating monotonize_down
Concrete Typechecking monotonize_down
Latency Counting monotonize_down
Instantiating my_mod
Concrete Typechecking my_mod
Latency Counting my_mod
Instantiating use_my_mod
Concrete Typechecking use_my_mod
Latency Counting use_my_mod
Instantiating submodule_named_ports
Concrete Typechecking submodule_named_ports
Latency Counting submodule_named_ports
Instantiating use_submodule_named_ports
Concrete Typechecking use_submodule_named_ports
Latency Counting use_submodule_named_ports
Not Instantiating contains_submodule_submodule due to flattening errors
Instantiating cross_bool
Concrete Typechecking cross_bool
Latency Counting cross_bool
Instantiating cross_int
Concrete Typechecking cross_int
Latency Counting cross_int
Instantiating cross_memory
Concrete Typechecking cross_memory
Latency Counting cross_memory
Instantiating offset_backwards
Concrete Typechecking offset_backwards
Latency Counting offset_backwards
Instantiating dual_port_mem
Concrete Typechecking dual_port_mem
Latency Counting dual_port_mem
Instantiating use_fifo
Concrete Typechecking use_fifo
Latency Counting use_fifo
Not Instantiating test_separated_domain due to flattening errors
Instantiating no_port_module
Concrete Typechecking no_port_module
Latency Counting no_port_module
Not Instantiating use_no_input_module due to flattening errors
Instantiating mod_with_unused_interface
Concrete Typechecking mod_with_unused_interface
Latency Counting mod_with_unused_interface
Not Instantiating test_write_to_gen_var due to flattening errors
Instantiating use_bad_interface
Concrete Typechecking use_bad_interface
Latency Counting use_bad_interface
Instantiating sequenceDownFrom
Concrete Typechecking sequenceDownFrom
Latency Counting sequenceDownFrom
Instantiating sumUpTo
Concrete Typechecking sumUpTo
Latency Counting sumUpTo
Not Instantiating use_test due to flattening errors
Instantiating testTinyTestMod
Concrete Typechecking testTinyTestMod
Instantiating tinyTestMod
Concrete Typechecking tinyTestMod
Latency Counting tinyTestMod
Instantiating tinyTestMod
Concrete Typechecking tinyTestMod
Latency Counting tinyTestMod
Latency Counting testTinyTestMod
Instantiating make_tree_add
Concrete Typechecking make_tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Instantiating tree_add
Concrete Typechecking tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting tree_add
Latency Counting make_tree_add
Instantiating use_replicate
Concrete Typechecking use_replicate
Instantiating replicate
Concrete Typechecking replicate
Latency Counting replicate
Instantiating replicate
Concrete Typechecking replicate
Latency Counting replicate
Latency Counting use_replicate
Instantiating use_permute
Concrete Typechecking use_permute
Instantiating permute_t
Concrete Typechecking permute_t
Latency Counting permute_t
Latency Counting use_permute
Instantiating instruction_decoder
Concrete Typechecking instruction_decoder
Latency Counting instruction_decoder
Not Instantiating run_instruction due to flattening errors
Instantiating no_main_interface
Concrete Typechecking no_main_interface
Latency Counting no_main_interface
Not Instantiating use_no_main_interface due to flattening errors
Not Instantiating moduleWithBadDeclaration due to flattening errors
Not Instantiating moduleWithBadInterface due to flattening errors
Not Instantiating useModuleWithBadInterface due to flattening errors
Not Instantiating m due to flattening errors
Instantiating xyz
Concrete Typechecking xyz
Instantiating CrossDomain
Concrete Typechecking CrossDomain
Latency Counting CrossDomain
Latency Counting xyz
Instantiating numbersToAddUp
Concrete Typechecking numbersToAddUp
Instantiating TreeAdd
Concrete Typechecking TreeAdd
Instantiating SplitAt
Concrete Typechecking SplitAt
Latency Counting SplitAt
Instantiating TreeAdd
Concrete Typechecking TreeAdd
Instantiating SplitAt
Concrete Typechecking SplitAt
Latency Counting SplitAt
Instantiating TreeAdd
Concrete Typechecking TreeAdd
Latency Counting TreeAdd
Latency Counting TreeAdd
Instantiating TreeAdd
Concrete Typechecking TreeAdd
Instantiating SplitAt
Concrete Typechecking SplitAt
Latency Counting SplitAt
Latency Counting TreeAdd
Latency Counting TreeAdd
Latency Counting numbersToAddUp
Instantiating use_sized_int_add
Concrete Typechecking use_sized_int_add
Instantiating sized_int_add
Concrete Typechecking sized_int_add
Latency Counting sized_int_add
Latency Counting use_sized_int_add
Not Instantiating implicit_domain_forbidden due to flattening errors
Not Instantiating conflicting_domain_with_port_name due to flattening errors
Not Instantiating make_infinite_type due to flattening errors
Instantiating UseDualPortMem
Concrete Typechecking UseDualPortMem
Instantiating DualPortMem
Concrete Typechecking DualPortMem
Instantiating CrossDomain
Concrete Typechecking CrossDomain
Latency Counting CrossDomain
Latency Counting DualPortMem
Latency Counting UseDualPortMem
Instantiating example_FIFO
Concrete Typechecking example_FIFO
Instantiating FIFO
Concrete Typechecking FIFO
Instantiating CrossDomain
Concrete Typechecking CrossDomain
Latency Counting CrossDomain
Instantiating CrossDomain
Concrete Typechecking CrossDomain
Latency Counting CrossDomain
Instantiating LatencyOffset
Concrete Typechecking LatencyOffset
Latency Counting LatencyOffset
Latency Counting FIFO
Latency Counting example_FIFO
Instantiating use_Iterator
Concrete Typechecking use_Iterator
Latency Counting use_Iterator
Instantiating UseSlice
Concrete Typechecking UseSlice
Instantiating Slice
Concrete Typechecking Slice
Latency Counting Slice
Latency Counting UseSlice
Instantiating UseBuiltinConstants
Concrete Typechecking UseBuiltinConstants
Latency Counting UseBuiltinConstants
Instantiating FailingAssert
Instantiating multi_dim_array
Concrete Typechecking multi_dim_array
Latency Counting multi_dim_array