-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathsolver.bak
More file actions
7281 lines (6899 loc) · 517 KB
/
solver.bak
File metadata and controls
7281 lines (6899 loc) · 517 KB
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
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Mar 17, 2022 1:29:29 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getSolution() : Thu Mar 17 13:29:29 CET 2022
Mar 17, 2022 1:29:29 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(solve_mapping_problem([
reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
uri([devicepackage,0,11],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
uri([devicepackage,0,1],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])
],Vars,Regs,Appslocalvars),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:29:29 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getSolution() : Difference in ms 75
Mar 17, 2022 1:29:30 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getFeasiblePins() : Thu Mar 17 13:29:30 CET 2022
Mar 17, 2022 1:29:30 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(ask_feasible_mapping([reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
uri([devicepackage,0,11],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])],'digital_io$474509898$4',Result),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:29:30 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getFeasiblePins() : Difference in ms 29
Mar 17, 2022 1:29:30 PM java.util.logging.LogManager$RootLogger log
INFO: [/devicepackage/0/2, /devicepackage/0/1, /devicepackage/0/13, /devicepackage/0/14]
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getSolution() : Thu Mar 17 13:29:32 CET 2022
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(solve_mapping_problem([
reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
uri([devicepackage,0,11],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])
],Vars,Regs,Appslocalvars),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getSolution() : Difference in ms 58
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getFeasiblePins() : Thu Mar 17 13:29:32 CET 2022
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(ask_feasible_mapping([reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])],'digital_io$01782401109$3',Result),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getFeasiblePins() : Difference in ms 25
Mar 17, 2022 1:29:32 PM java.util.logging.LogManager$RootLogger log
INFO: [/devicepackage/0/2, /devicepackage/0/1, /devicepackage/0/11, /devicepackage/0/13, /devicepackage/0/14]
Mar 17, 2022 1:29:34 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getSolution() : Thu Mar 17 13:29:34 CET 2022
Mar 17, 2022 1:29:34 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(solve_mapping_problem([
reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])
],Vars,Regs,Appslocalvars),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:29:34 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getSolution() : Difference in ms 61
Mar 17, 2022 1:29:35 PM java.util.logging.LogManager$RootLogger log
INFO: [/p/2/pad/6, /adc_measurement$01412772712$0, /vadc/0/global_result, /adc_measurement$01725849619$0, /vadc/0/group/0/ch/0, /adc_measurement$0733134899$0, /vadc/0/backgnd, /adc_measurement$0919802633$0, /vadc/0/class/0, /adc_measurement$1441772177$0, /vadc/0/class/1, /adc_measurement$403379810$0, /devicepackage/0/16, /adc_measurement$554415016$0, /scu/0/dco/2, /clock_xmc1$01180654739$0, /scu/0/ccu/config, /clock_xmc1$031780984$0, /devicepackage/0/7, /digital_io$01125836955$9, /p/0/pad/7, /digital_io$01172441540$8, /devicepackage/0/3, /digital_io$01344691673$7, /p/2/pad/0, /digital_io$01383135420$0, /p/0/pad/5, /digital_io$0151373186$6, /devicepackage/0/2, /digital_io$01563546391$5, /p/0/pad/0, /digital_io$01682975717$9, /devicepackage/0/4, /digital_io$01687954817$10, /devicepackage/0/13, /digital_io$01782401109$3, /p/0/pad/9, /digital_io$01893669597$1, /devicepackage/0/12, /digital_io$02001255827$1, /p/2/pad/11, /digital_io$0455249227$10, /p/2/pad/10, /digital_io$0661907363$7, /p/0/pad/14, /digital_io$1380229345$3, /p/0/pad/6, /digital_io$1890763522$2, /devicepackage/0/9, /digital_io$255655180$2, /p/2/pad/9, /digital_io$359160991$5, /devicepackage/0/15, /digital_io$36800462$0, /devicepackage/0/1, /digital_io$474509898$4, /devicepackage/0/8, /digital_io$693364616$6, /p/2/pad/7, /digital_io$869695168$4, /devicepackage/0/10, /digital_io$912219334$8, /vadc/0/global, /global_adc$1790945385$0, /vadc/0/group/0/config, /global_adc$1796505175$0]
Mar 17, 2022 1:29:35 PM java.util.logging.LogManager$RootLogger log
INFO: [/p/2/pad/6/iocr_pcr, /0, /p/2/pad/6/iocr_oe, /0, /p/2/pad/6/pdisc_pdis, /1, /p/2/pad/7/iocr_pcr, /0, /p/2/pad/7/iocr_oe, /0, /p/2/pad/7/pdisc_pdis, /1, /p/2/pad/8/iocr_pcr, /0, /p/2/pad/8/iocr_oe, /0, /p/2/pad/8/pdisc_pdis, /1, /p/2/pad/9/iocr_pcr, /0, /p/2/pad/9/iocr_oe, /0, /p/2/pad/9/pdisc_pdis, /1, /p/0/pad/0/iocr_pcr, /0, /p/0/pad/0/iocr_oe, /1, /p/0/pad/0/hwsel_hw, /0, /p/0/pad/14/iocr_pcr, /0, /p/0/pad/14/iocr_oe, /0, /p/0/pad/14/hwsel_hw, /0, /p/0/pad/15/iocr_pcr, /0, /p/0/pad/15/iocr_oe, /0, /p/0/pad/15/hwsel_hw, /0, /p/0/pad/5/iocr_pcr, /0, /p/0/pad/5/iocr_oe, /1, /p/0/pad/5/hwsel_hw, /0, /p/0/pad/6/iocr_pcr, /0, /p/0/pad/6/iocr_oe, /1, /p/0/pad/6/hwsel_hw, /0, /p/0/pad/7/iocr_pcr, /0, /p/0/pad/7/iocr_oe, /1, /p/0/pad/7/hwsel_hw, /0, /p/0/pad/8/iocr_pcr, /0, /p/0/pad/8/iocr_oe, /0, /p/0/pad/8/hwsel_hw, /0, /p/0/pad/9/iocr_pcr, /0, /p/0/pad/9/iocr_oe, /1, /p/0/pad/9/hwsel_hw, /0, /p/2/pad/0/iocr_pcr, /0, /p/2/pad/0/iocr_oe, /1, /p/2/pad/0/hwsel_hw, /0, /p/2/pad/0/pdisc_pdis, /1, /p/2/pad/10/iocr_pcr, /0, /p/2/pad/10/iocr_oe, /1, /p/2/pad/10/hwsel_hw, /0, /p/2/pad/10/pdisc_pdis, /1, /p/2/pad/11/iocr_pcr, /0, /p/2/pad/11/iocr_oe, /1, /p/2/pad/11/hwsel_hw, /0, /p/2/pad/11/pdisc_pdis, /1, /ccu4/0/cc4/0/srs_cmsr, /0, /ccu4/0/cc4/0/srs_e0sr, /0, /ccu4/0/cc4/0/srs_e1sr, /0, /ccu4/0/cc4/0/srs_e2sr, /0, /ccu4/0/cc4/0/ins_ev0is, /0, /ccu4/0/cc4/0/ins_ev1is, /0, /ccu4/0/cc4/0/ins_ev2is, /0, /ccu4/0/cc4/0/srs_posr, /0, /ccu4/0/cc4/1/srs_cmsr, /0, /ccu4/0/cc4/1/srs_e0sr, /0, /ccu4/0/cc4/1/srs_e1sr, /0, /ccu4/0/cc4/1/srs_e2sr, /0, /ccu4/0/cc4/1/ins_ev0is, /0, /ccu4/0/cc4/1/ins_ev1is, /0, /ccu4/0/cc4/1/ins_ev2is, /0, /ccu4/0/cc4/1/srs_posr, /0, /ccu4/0/cc4/1/cmc_tce, /0, /ccu4/0/cc4/2/srs_cmsr, /0, /ccu4/0/cc4/2/srs_e0sr, /0, /ccu4/0/cc4/2/srs_e1sr, /0, /ccu4/0/cc4/2/srs_e2sr, /0, /ccu4/0/cc4/2/ins_ev0is, /0, /ccu4/0/cc4/2/ins_ev1is, /0, /ccu4/0/cc4/2/ins_ev2is, /0, /ccu4/0/cc4/2/srs_posr, /0, /ccu4/0/cc4/2/cmc_tce, /0, /ccu4/0/cc4/3/srs_cmsr, /0, /ccu4/0/cc4/3/srs_e0sr, /0, /ccu4/0/cc4/3/srs_e1sr, /0, /ccu4/0/cc4/3/srs_e2sr, /0, /ccu4/0/cc4/3/ins_ev0is, /0, /ccu4/0/cc4/3/ins_ev1is, /0, /ccu4/0/cc4/3/ins_ev2is, /0, /ccu4/0/cc4/3/srs_posr, /0, /ccu4/0/cc4/3/cmc_tce, /0, /ccu4/0/global/gctrl_pcis, /0, /cpu/0/nvic/interrupt/0/iser_setena, /0, /cpu/0/nvic/interrupt/1/iser_setena, /0, /cpu/0/nvic/interrupt/10/iser_setena, /0, /cpu/0/nvic/interrupt/11/iser_setena, /0, /cpu/0/nvic/interrupt/12/iser_setena, /0, /cpu/0/nvic/interrupt/13/iser_setena, /0, /cpu/0/nvic/interrupt/14/iser_setena, /0, /cpu/0/nvic/interrupt/15/iser_setena, /0, /cpu/0/nvic/interrupt/16/iser_setena, /0, /cpu/0/nvic/interrupt/17/iser_setena, /0, /cpu/0/nvic/interrupt/18/iser_setena, /0, /cpu/0/nvic/interrupt/19/iser_setena, /0, /cpu/0/nvic/interrupt/2/iser_setena, /0, /cpu/0/nvic/interrupt/20/iser_setena, /0, /cpu/0/nvic/interrupt/21/iser_setena, /0, /cpu/0/nvic/interrupt/22/iser_setena, /0, /cpu/0/nvic/interrupt/23/iser_setena, /0, /cpu/0/nvic/interrupt/24/iser_setena, /0, /cpu/0/nvic/interrupt/25/iser_setena, /0, /cpu/0/nvic/interrupt/26/iser_setena, /0, /cpu/0/nvic/interrupt/27/iser_setena, /0, /cpu/0/nvic/interrupt/28/iser_setena, /0, /cpu/0/nvic/interrupt/29/iser_setena, /0, /cpu/0/nvic/interrupt/3/iser_setena, /0, /cpu/0/nvic/interrupt/30/iser_setena, /0, /cpu/0/nvic/interrupt/31/iser_setena, /0, /cpu/0/nvic/interrupt/4/iser_setena, /0, /cpu/0/nvic/interrupt/5/iser_setena, /0, /cpu/0/nvic/interrupt/6/iser_setena, /0, /cpu/0/nvic/interrupt/7/iser_setena, /0, /cpu/0/nvic/interrupt/9/iser_setena, /0, /eru/0/ers_etl/0/exicon_pe, /0, /eru/0/ers_etl/0/exicon_ocs, /0, /eru/0/ers_etl/0/exisel_exsxb, /0, /eru/0/ers_etl/0/exisel_exsxa, /0, /eru/0/ers_etl/1/exicon_pe, /0, /eru/0/ers_etl/1/exicon_ocs, /0, /eru/0/ers_etl/1/exisel_exsxb, /0, /eru/0/ers_etl/1/exisel_exsxa, /0, /eru/0/ers_etl/2/exicon_pe, /0, /eru/0/ers_etl/2/exicon_ocs, /0, /eru/0/ers_etl/2/exisel_exsxb, /0, /eru/0/ers_etl/2/exisel_exsxa, /0, /eru/0/ers_etl/3/exicon_pe, /0, /eru/0/ers_etl/3/exicon_ocs, /0, /eru/0/ers_etl/3/exisel_exsxb, /0, /eru/0/ers_etl/3/exisel_exsxa, /0, /eru/0/ogu/0/exocon_iss, /0, /eru/0/ogu/0/exocon_ipen0, /0, /eru/0/ogu/0/exocon_ipen1, /0, /eru/0/ogu/0/exocon_ipen2, /0, /eru/0/ogu/0/exocon_ipen3, /0, /eru/0/ogu/1/exocon_iss, /0, /eru/0/ogu/1/exocon_ipen0, /0, /eru/0/ogu/1/exocon_ipen1, /0, /eru/0/ogu/1/exocon_ipen2, /0, /eru/0/ogu/1/exocon_ipen3, /0, /eru/0/ogu/2/exocon_iss, /0, /eru/0/ogu/2/exocon_ipen0, /0, /eru/0/ogu/2/exocon_ipen1, /0, /eru/0/ogu/2/exocon_ipen2, /0, /eru/0/ogu/2/exocon_ipen3, /0, /eru/0/ogu/3/exocon_iss, /0, /eru/0/ogu/3/exocon_ipen0, /0, /eru/0/ogu/3/exocon_ipen1, /0, /eru/0/ogu/3/exocon_ipen2, /0, /eru/0/ogu/3/exocon_ipen3, /0, /scu/0/ccu/config/clkcr_rtcclksel, /0, /usic/0/channel/0/ccr_hpcen, /0, /usic/0/channel/0/dx1cr_dsel, /0, /usic/0/channel/0/dx0cr_dsel, /0, /usic/0/channel/0/dx5cr_dsel, /0, /usic/0/channel/0/dx3cr_dsel, /0, /usic/0/channel/0/dx4cr_dsel, /0, /usic/0/channel/0/dx2cr_dsel, /0, /usic/0/channel/0/rbctr_arbien, /0, /usic/0/channel/0/rbctr_arbinp, /0, /usic/0/channel/0/ccr_aien, /0, /usic/0/channel/0/inpr_ainp, /0, /usic/0/channel/0/ccr_brgien, /0, /usic/0/channel/0/inpr_pinp, /0, /usic/0/channel/0/ccr_dlien, /0, /usic/0/channel/0/rbctr_rberien, /0, /usic/0/channel/0/ccr_rsien, /0, /usic/0/channel/0/inpr_tbinp, /0, /usic/0/channel/0/rbctr_srbien, /0, /usic/0/channel/0/rbctr_srbinp, /0, /usic/0/channel/0/ccr_rien, /0, /usic/0/channel/0/inpr_rinp, /0, /usic/0/channel/0/tbctr_stbien, /0, /usic/0/channel/0/tbctr_stbinp, /0, /usic/0/channel/0/tbctr_tberien, /0, /usic/0/channel/0/tbctr_atbinp, /0, /usic/0/channel/0/ccr_tbien, /0, /usic/0/channel/0/ccr_tsien, /0, /usic/0/channel/0/inpr_tsinp, /0, /usic/0/channel/0/rbctr_dptr, /0, /usic/0/channel/0/rbctr_size, /0, /usic/0/channel/0/tbctr_dptr, /0, /usic/0/channel/0/tbctr_size, /0, /usic/0/channel/1/ccr_hpcen, /0, /usic/0/channel/1/dx1cr_dsel, /0, /usic/0/channel/1/dx0cr_dsel, /0, /usic/0/channel/1/dx5cr_dsel, /0, /usic/0/channel/1/dx3cr_dsel, /0, /usic/0/channel/1/dx4cr_dsel, /0, /usic/0/channel/1/dx2cr_dsel, /0, /usic/0/channel/1/rbctr_arbien, /0, /usic/0/channel/1/rbctr_arbinp, /0, /usic/0/channel/1/ccr_aien, /0, /usic/0/channel/1/inpr_ainp, /0, /usic/0/channel/1/ccr_brgien, /0, /usic/0/channel/1/inpr_pinp, /0, /usic/0/channel/1/ccr_dlien, /0, /usic/0/channel/1/rbctr_rberien, /0, /usic/0/channel/1/ccr_rsien, /0, /usic/0/channel/1/inpr_tbinp, /0, /usic/0/channel/1/rbctr_srbien, /0, /usic/0/channel/1/rbctr_srbinp, /0, /usic/0/channel/1/ccr_rien, /0, /usic/0/channel/1/inpr_rinp, /0, /usic/0/channel/1/tbctr_stbien, /0, /usic/0/channel/1/tbctr_stbinp, /0, /usic/0/channel/1/tbctr_tberien, /0, /usic/0/channel/1/tbctr_atbinp, /0, /usic/0/channel/1/ccr_tbien, /0, /usic/0/channel/1/ccr_tsien, /0, /usic/0/channel/1/inpr_tsinp, /0, /usic/0/channel/1/rbctr_dptr, /0, /usic/0/channel/1/rbctr_size, /0, /usic/0/channel/1/tbctr_dptr, /0, /usic/0/channel/1/tbctr_size, /0, /vadc/0/backgnd/brsctrl_xtsel, /0, /vadc/0/backgnd/brsctrl_xtwc, /0, /vadc/0/backgnd/brsctrl_gtsel, /0, /vadc/0/backgnd/brsctrl_gtwc, /0, /vadc/0/backgnd/globevnp_sev0np, /0, /vadc/0/global/emuxsel_emuxgrp0, /0, /vadc/0/global/emuxsel_emuxgrp1, /0, /vadc/0/global_result/globevnp_revnp, /0]
Mar 17, 2022 1:30:04 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getSolution() : Thu Mar 17 13:30:04 CET 2022
Mar 17, 2022 1:30:04 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(solve_mapping_problem([
reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
reserved([p,0,pad,14],'cpu_ctrl_xmc1$1638132965$0'),
reserved([p,0,pad,15],'cpu_ctrl_xmc1$1638132966$0'),
reserved([cpu,0,exception,hardfault],'cpu_ctrl_xmc1$01591368925$0'),
reserved([cpu,0,nvic,interrupt,_],'pin_interrupt$371705443$0'),
reserved([p,_,pad,_],'pin_interrupt$01353729833$0'),
reserved([eru,_,ers_etl,_],'pin_interrupt$504037229$0'),
reserved([eru,_,ogu,_],'pin_interrupt$1919814214$0'),
reserved([devicepackage,0,_],'pin_interrupt$1126006561$0'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),
signal('digital_io$01172441540$8',swreg_out,'digital_io$01172441540$8$swreg_out'),
signal('digital_io$01172441540$8',pad,'digital_io$01172441540$8$pad'),
signal('digital_io$912219334$8',pin,'digital_io$912219334$8$pin'),
signal('digital_io$01682975717$9',swreg_out,'digital_io$01682975717$9$swreg_out'),
signal('digital_io$01682975717$9',pad,'digital_io$01682975717$9$pad'),
signal('digital_io$01125836955$9',pin,'digital_io$01125836955$9$pin'),
signal('digital_io$0455249227$10',swreg_out,'digital_io$0455249227$10$swreg_out'),
signal('digital_io$0455249227$10',pad,'digital_io$0455249227$10$pad'),
signal('digital_io$01687954817$10',pin,'digital_io$01687954817$10$pin'),
signal('pin_interrupt$504037229$0',PIN_INTERRUPT0sv0,'pin_interrupt$504037229$0$PIN_INTERRUPT0sv0'),
signal('pin_interrupt$01353729833$0',pad,'pin_interrupt$01353729833$0$pad'),
signal('pin_interrupt$504037229$0',tr,'pin_interrupt$504037229$0$tr'),
signal('pin_interrupt$1919814214$0',trin,'pin_interrupt$1919814214$0$trin'),
signal('pin_interrupt$1919814214$0',iout,'pin_interrupt$1919814214$0$iout'),
signal('pin_interrupt$371705443$0',signal_in,'pin_interrupt$371705443$0$signal_in'),
signal('pin_interrupt$1126006561$0',pin,'pin_interrupt$1126006561$0$pin'),
connected('clock_xmc1$01180654739$0$clkout','clock_xmc1$031780984$0$frtc',1),
connected('global_adc$1790945385$0$global_signal','adc_measurement$0919802633$0$global_signal',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$0733134899$0$gch',1),
connected('adc_measurement$01412772712$0$pad','adc_measurement$554415016$0$pin',1),
connected('adc_measurement$554415016$0$pin','adc_measurement$01412772712$0$pad',1),
connected('digital_io$36800462$0$pin','digital_io$01383135420$0$pad',1),
connected('digital_io$01383135420$0$pad','digital_io$36800462$0$pin',1),
connected('digital_io$02001255827$1$pin','digital_io$01893669597$1$pad',1),
connected('digital_io$01893669597$1$pad','digital_io$02001255827$1$pin',1),
connected('digital_io$255655180$2$pin','digital_io$1890763522$2$pad',1),
connected('digital_io$1890763522$2$pad','digital_io$255655180$2$pin',1),
connected('digital_io$01782401109$3$pin','digital_io$1380229345$3$pad',1),
connected('digital_io$1380229345$3$pad','digital_io$01782401109$3$pin',1),
connected('digital_io$474509898$4$pin','digital_io$869695168$4$pad',1),
connected('digital_io$869695168$4$pad','digital_io$474509898$4$pin',1),
connected('digital_io$01563546391$5$pin','digital_io$359160991$5$pad',1),
connected('digital_io$359160991$5$pad','digital_io$01563546391$5$pin',1),
connected('digital_io$693364616$6$pin','digital_io$0151373186$6$pad',1),
connected('digital_io$0151373186$6$pad','digital_io$693364616$6$pin',1),
connected('digital_io$01344691673$7$pin','digital_io$0661907363$7$pad',1),
connected('digital_io$0661907363$7$pad','digital_io$01344691673$7$pin',1),
connected('digital_io$912219334$8$pin','digital_io$01172441540$8$pad',1),
connected('digital_io$01172441540$8$pad','digital_io$912219334$8$pin',1),
connected('digital_io$01125836955$9$pin','digital_io$01682975717$9$pad',1),
connected('digital_io$01682975717$9$pad','digital_io$01125836955$9$pin',1),
connected('digital_io$01687954817$10$pin','digital_io$0455249227$10$pad',1),
connected('digital_io$0455249227$10$pad','digital_io$01687954817$10$pin',1),
connected('pin_interrupt$1126006561$0$pin','pin_interrupt$01353729833$0$pad',1),
connected('pin_interrupt$504037229$0$tr','pin_interrupt$1919814214$0$trin',1),
connected('pin_interrupt$01353729833$0$pad','pin_interrupt$1126006561$0$pin',1),
connected('pin_interrupt$01353729833$0$pad','pin_interrupt$504037229$0$PIN_INTERRUPT0sv0',1),
connected('pin_interrupt$1919814214$0$iout','pin_interrupt$371705443$0$signal_in',1),
uri_element_range(PIN_INTERRUPT0sv0,[a, b]),
uri_element_range(DIGITAL_IO8sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01172441540$8',iocr_oe,1),
uri_element_range(DIGITAL_IO10sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0455249227$10',iocr_oe,1),
uri_element_range(DIGITAL_IO2sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$1890763522$2',iocr_oe,1),
uri_element_range(DIGITAL_IO9sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01682975717$9',iocr_oe,1),
uri_element_range(DIGITAL_IO1sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01893669597$1',iocr_oe,1),
uri_element_range(DIGITAL_IO6sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0151373186$6',iocr_oe,1),
uri_element_range(DIGITAL_IO5sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO0sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$01383135420$0',iocr_oe,1),
uri_element_range(DIGITAL_IO7sv0,[0, 1, 2, 3, 4]),
register_value('digital_io$0661907363$7',iocr_oe,1),
uri_element_range(DIGITAL_IO3sv0,[0, 1, 2, 3, 4]),
uri_element_range(DIGITAL_IO4sv0,[0, 1, 2, 3, 4])
],Vars,Regs,Appslocalvars),15,writeln(timeout),all_solution, Timer, Due, Remainder).
Mar 17, 2022 1:30:04 PM java.util.logging.LogManager$RootLogger log
INFO: Execution of solver query timed out
Mar 17, 2022 1:30:04 PM java.util.logging.LogManager$RootLogger log
INFO:
End of solver : getSolution() : Difference in ms 22
Mar 17, 2022 1:30:43 PM java.util.logging.LogManager$RootLogger log
INFO: Start of solver :getFeasiblePins() : Thu Mar 17 13:30:43 CET 2022
Mar 17, 2022 1:30:43 PM java.util.logging.LogManager$RootLogger log
INFO:
timeout(ask_feasible_mapping([reserved([vadc,_,global],'global_adc$1790945385$0'),
reserved([vadc,_,group,0,config],'global_adc$1796505175$0'),
reserved([scu,0,dco,_],'clock_xmc1$01180654739$0'),
reserved([scu,0,ccu,config],'clock_xmc1$031780984$0'),
reserved([vadc,_,backgnd],'adc_measurement$0919802633$0'),
reserved([vadc,_,class,1],'adc_measurement$403379810$0'),
reserved([vadc,_,class,0],'adc_measurement$1441772177$0'),
reserved([p,_,pad,_],'adc_measurement$01412772712$0'),
reserved([devicepackage,0,_],'adc_measurement$554415016$0'),
uri([devicepackage,0,16],'adc_measurement$554415016$0'),
reserved([vadc,0,group,_,ch,_],'adc_measurement$0733134899$0'),
reserved([vadc,_,global_result],'adc_measurement$01725849619$0'),
reserved([p,DIGITAL_IO0sv0,pad,_],'digital_io$01383135420$0'),
reserved([devicepackage,0,_],'digital_io$36800462$0'),
uri([devicepackage,0,15],'digital_io$36800462$0'),
reserved([p,DIGITAL_IO1sv0,pad,_],'digital_io$01893669597$1'),
reserved([devicepackage,0,_],'digital_io$02001255827$1'),
uri([devicepackage,0,12],'digital_io$02001255827$1'),
reserved([p,DIGITAL_IO2sv0,pad,_],'digital_io$1890763522$2'),
reserved([devicepackage,0,_],'digital_io$255655180$2'),
uri([devicepackage,0,9],'digital_io$255655180$2'),
reserved([p,DIGITAL_IO3sv0,pad,_],'digital_io$1380229345$3'),
reserved([devicepackage,0,_],'digital_io$01782401109$3'),
reserved([p,DIGITAL_IO4sv0,pad,_],'digital_io$869695168$4'),
reserved([devicepackage,0,_],'digital_io$474509898$4'),
reserved([p,DIGITAL_IO5sv0,pad,_],'digital_io$359160991$5'),
reserved([devicepackage,0,_],'digital_io$01563546391$5'),
reserved([p,DIGITAL_IO6sv0,pad,_],'digital_io$0151373186$6'),
reserved([devicepackage,0,_],'digital_io$693364616$6'),
uri([devicepackage,0,8],'digital_io$693364616$6'),
reserved([p,DIGITAL_IO7sv0,pad,_],'digital_io$0661907363$7'),
reserved([devicepackage,0,_],'digital_io$01344691673$7'),
uri([devicepackage,0,3],'digital_io$01344691673$7'),
reserved([p,DIGITAL_IO8sv0,pad,_],'digital_io$01172441540$8'),
reserved([devicepackage,0,_],'digital_io$912219334$8'),
uri([devicepackage,0,10],'digital_io$912219334$8'),
reserved([p,DIGITAL_IO9sv0,pad,_],'digital_io$01682975717$9'),
reserved([devicepackage,0,_],'digital_io$01125836955$9'),
uri([devicepackage,0,7],'digital_io$01125836955$9'),
reserved([p,DIGITAL_IO10sv0,pad,_],'digital_io$0455249227$10'),
reserved([devicepackage,0,_],'digital_io$01687954817$10'),
uri([devicepackage,0,4],'digital_io$01687954817$10'),
signal('global_adc$1790945385$0',global_signal,'global_adc$1790945385$0$global_signal'),
signal('clock_xmc1$01180654739$0',clkout,'clock_xmc1$01180654739$0$clkout'),
signal('clock_xmc1$031780984$0',frtc,'clock_xmc1$031780984$0$frtc'),
signal('adc_measurement$0733134899$0',gch,'adc_measurement$0733134899$0$gch'),
signal('adc_measurement$01412772712$0',pad,'adc_measurement$01412772712$0$pad'),
signal('adc_measurement$554415016$0',pin,'adc_measurement$554415016$0$pin'),
signal('adc_measurement$0733134899$0',select,'adc_measurement$0733134899$0$select'),
signal('adc_measurement$01725849619$0',rev0,'adc_measurement$01725849619$0$rev0'),
signal('adc_measurement$0919802633$0',bgreqtrsel,'adc_measurement$0919802633$0$bgreqtrsel'),
signal('adc_measurement$0919802633$0',bgreqgtsel,'adc_measurement$0919802633$0$bgreqgtsel'),
signal('adc_measurement$0919802633$0',global_signal,'adc_measurement$0919802633$0$global_signal'),
signal('digital_io$01383135420$0',swreg_out,'digital_io$01383135420$0$swreg_out'),
signal('digital_io$01383135420$0',pad,'digital_io$01383135420$0$pad'),
signal('digital_io$36800462$0',pin,'digital_io$36800462$0$pin'),
signal('digital_io$01893669597$1',swreg_out,'digital_io$01893669597$1$swreg_out'),
signal('digital_io$01893669597$1',pad,'digital_io$01893669597$1$pad'),
signal('digital_io$02001255827$1',pin,'digital_io$02001255827$1$pin'),
signal('digital_io$1890763522$2',swreg_out,'digital_io$1890763522$2$swreg_out'),
signal('digital_io$1890763522$2',pad,'digital_io$1890763522$2$pad'),
signal('digital_io$255655180$2',pin,'digital_io$255655180$2$pin'),
signal('digital_io$1380229345$3',pad,'digital_io$1380229345$3$pad'),
signal('digital_io$01782401109$3',pin,'digital_io$01782401109$3$pin'),
signal('digital_io$869695168$4',pad,'digital_io$869695168$4$pad'),
signal('digital_io$474509898$4',pin,'digital_io$474509898$4$pin'),
signal('digital_io$359160991$5',pad,'digital_io$359160991$5$pad'),
signal('digital_io$01563546391$5',pin,'digital_io$01563546391$5$pin'),
signal('digital_io$0151373186$6',swreg_out,'digital_io$0151373186$6$swreg_out'),
signal('digital_io$0151373186$6',pad,'digital_io$0151373186$6$pad'),
signal('digital_io$693364616$6',pin,'digital_io$693364616$6$pin'),
signal('digital_io$0661907363$7',swreg_out,'digital_io$0661907363$7$swreg_out'),
signal('digital_io$0661907363$7',pad,'digital_io$0661907363$7$pad'),
signal('digital_io$01344691673$7',pin,'digital_io$01344691673$7$pin'),