3ebf575af0cde23c8fbebc30920f6498ee4fa7cd
[Mograsim.git] /
1 {
2   "width": 80.0,
3   "height": 75.0,
4   "interfacePins": [
5     {
6       "location": {
7         "x": 50.0,
8         "y": 0.0
9       },
10       "name": "C",
11       "logicWidth": 1,
12       "usage": "INPUT"
13     },
14     {
15       "location": {
16         "x": 60.0,
17         "y": 0.0
18       },
19       "name": "COVD_EN",
20       "logicWidth": 1,
21       "usage": "INPUT"
22     },
23     {
24       "location": {
25         "x": 70.0,
26         "y": 0.0
27       },
28       "name": "COVD_V",
29       "logicWidth": 1,
30       "usage": "INPUT"
31     },
32     {
33       "location": {
34         "x": 0.0,
35         "y": 50.0
36       },
37       "name": "I",
38       "logicWidth": 4,
39       "usage": "INPUT"
40     },
41     {
42       "location": {
43         "x": 0.0,
44         "y": 70.0
45       },
46       "name": "MUX",
47       "logicWidth": 3,
48       "usage": "INPUT"
49     },
50     {
51       "location": {
52         "x": 80.0,
53         "y": 20.0
54       },
55       "name": "Q",
56       "logicWidth": 4,
57       "usage": "OUTPUT"
58     },
59     {
60       "location": {
61         "x": 0.0,
62         "y": 30.0
63       },
64       "name": "Y",
65       "logicWidth": 4,
66       "usage": "INPUT"
67     },
68     {
69       "location": {
70         "x": 20.0,
71         "y": 0.0
72       },
73       "name": "_EC",
74       "logicWidth": 1,
75       "usage": "INPUT"
76     },
77     {
78       "location": {
79         "x": 30.0,
80         "y": 0.0
81       },
82       "name": "_EN",
83       "logicWidth": 1,
84       "usage": "INPUT"
85     },
86     {
87       "location": {
88         "x": 40.0,
89         "y": 0.0
90       },
91       "name": "_EOVR",
92       "logicWidth": 1,
93       "usage": "INPUT"
94     },
95     {
96       "location": {
97         "x": 10.0,
98         "y": 0.0
99       },
100       "name": "_EZ",
101       "logicWidth": 1,
102       "usage": "INPUT"
103     },
104     {
105       "location": {
106         "x": 0.0,
107         "y": 10.0
108       },
109       "name": "mu",
110       "logicWidth": 4,
111       "usage": "INPUT"
112     }
113   ],
114   "innerScale": 0.2,
115   "submodel": {
116     "components": [
117       {
118         "id": "NandGate",
119         "name": "NandGate#0",
120         "pos": {
121           "x": 170.0,
122           "y": 55.0
123         },
124         "params": 1
125       },
126       {
127         "id": "Splitter",
128         "name": "Splitter#0",
129         "pos": {
130           "x": 5.0,
131           "y": 35.0
132         },
133         "params": {
134           "logicWidth": 4,
135           "orientation": "RIGHT"
136         }
137       },
138       {
139         "id": "Splitter",
140         "name": "Splitter#1",
141         "pos": {
142           "x": 5.0,
143           "y": 135.0
144         },
145         "params": {
146           "logicWidth": 4,
147           "orientation": "RIGHT"
148         }
149       },
150       {
151         "id": "Splitter",
152         "name": "Splitter#2",
153         "pos": {
154           "x": 45.0,
155           "y": 340.0
156         },
157         "params": {
158           "logicWidth": 3,
159           "orientation": "RIGHT"
160         }
161       },
162       {
163         "id": "Splitter",
164         "name": "Splitter#3",
165         "pos": {
166           "x": 5.0,
167           "y": 235.0
168         },
169         "params": {
170           "logicWidth": 4,
171           "orientation": "RIGHT"
172         }
173       },
174       {
175         "id": "Splitter",
176         "name": "Splitter#4",
177         "pos": {
178           "x": 385.0,
179           "y": 85.0
180         },
181         "params": {
182           "logicWidth": 4,
183           "orientation": "LEFT"
184         }
185       },
186       {
187         "id": "WireCrossPoint",
188         "name": "WireCrossPoint#0",
189         "pos": {
190           "x": 19.0,
191           "y": 224.0
192         },
193         "params": 1
194       },
195       {
196         "id": "WireCrossPoint",
197         "name": "WireCrossPoint#1",
198         "pos": {
199           "x": 364.0,
200           "y": 84.0
201         },
202         "params": 1
203       },
204       {
205         "id": "WireCrossPoint",
206         "name": "WireCrossPoint#2",
207         "pos": {
208           "x": 369.0,
209           "y": 94.0
210         },
211         "params": 1
212       },
213       {
214         "id": "WireCrossPoint",
215         "name": "WireCrossPoint#3",
216         "pos": {
217           "x": 374.0,
218           "y": 104.0
219         },
220         "params": 1
221       },
222       {
223         "id": "WireCrossPoint",
224         "name": "WireCrossPoint#4",
225         "pos": {
226           "x": 379.0,
227           "y": 114.0
228         },
229         "params": 1
230       },
231       {
232         "id": "WireCrossPoint",
233         "name": "WireCrossPoint#5",
234         "pos": {
235           "x": 29.0,
236           "y": 284.0
237         },
238         "params": 1
239       },
240       {
241         "id": "WireCrossPoint",
242         "name": "WireCrossPoint#6",
243         "pos": {
244           "x": 39.0,
245           "y": 304.0
246         },
247         "params": 1
248       },
249       {
250         "id": "WireCrossPoint",
251         "name": "WireCrossPoint#7",
252         "pos": {
253           "x": 19.0,
254           "y": 194.0
255         },
256         "params": 1
257       },
258       {
259         "id": "WireCrossPoint",
260         "name": "WireCrossPoint#8",
261         "pos": {
262           "x": 79.0,
263           "y": 254.0
264         },
265         "params": 1
266       },
267       {
268         "id": "WireCrossPoint",
269         "name": "WireCrossPoint#9",
270         "pos": {
271           "x": 39.0,
272           "y": 84.0
273         },
274         "params": 1
275       },
276       {
277         "id": "WireCrossPoint",
278         "name": "WireCrossPoint#10",
279         "pos": {
280           "x": 74.0,
281           "y": 54.0
282         },
283         "params": 1
284       },
285       {
286         "id": "WireCrossPoint",
287         "name": "WireCrossPoint#11",
288         "pos": {
289           "x": 74.0,
290           "y": 64.0
291         },
292         "params": 1
293       },
294       {
295         "id": "WireCrossPoint",
296         "name": "WireCrossPoint#12",
297         "pos": {
298           "x": 34.0,
299           "y": 234.0
300         },
301         "params": 1
302       },
303       {
304         "id": "WireCrossPoint",
305         "name": "WireCrossPoint#13",
306         "pos": {
307           "x": 124.0,
308           "y": 174.0
309         },
310         "params": 1
311       },
312       {
313         "id": "WireCrossPoint",
314         "name": "WireCrossPoint#14",
315         "pos": {
316           "x": 74.0,
317           "y": 74.0
318         },
319         "params": 1
320       },
321       {
322         "id": "WireCrossPoint",
323         "name": "WireCrossPoint#15",
324         "pos": {
325           "x": 164.0,
326           "y": 59.0
327         },
328         "params": 1
329       },
330       {
331         "id": "WireCrossPoint",
332         "name": "WireCrossPoint#16",
333         "pos": {
334           "x": 269.0,
335           "y": 39.0
336         },
337         "params": 1
338       },
339       {
340         "id": "and",
341         "name": "and#0",
342         "pos": {
343           "x": 195.0,
344           "y": 50.0
345         }
346       },
347       {
348         "id": "dff4_finewe",
349         "name": "dff4_finewe#0",
350         "pos": {
351           "x": 325.0,
352           "y": 80.0
353         }
354       },
355       {
356         "id": "mux1",
357         "name": "mux1#0",
358         "pos": {
359           "x": 280.0,
360           "y": 175.0
361         }
362       },
363       {
364         "id": "mux1_4_sb",
365         "name": "mux1_4_sb#0",
366         "pos": {
367           "x": 45.0,
368           "y": 80.0
369         }
370       },
371       {
372         "id": "mux1_4_sb",
373         "name": "mux1_4_sb#1",
374         "pos": {
375           "x": 85.0,
376           "y": 220.0
377         }
378       },
379       {
380         "id": "mux1_4_sb",
381         "name": "mux1_4_sb#2",
382         "pos": {
383           "x": 90.0,
384           "y": 30.0
385         }
386       },
387       {
388         "id": "mux1_4_sb",
389         "name": "mux1_4_sb#3",
390         "pos": {
391           "x": 130.0,
392           "y": 170.0
393         }
394       },
395       {
396         "id": "mux1_4_sb",
397         "name": "mux1_4_sb#4",
398         "pos": {
399           "x": 175.0,
400           "y": 120.0
401         }
402       },
403       {
404         "id": "not4",
405         "name": "not4#0",
406         "pos": {
407           "x": 45.0,
408           "y": 270.0
409         }
410       },
411       {
412         "id": "xor",
413         "name": "xor#0",
414         "pos": {
415           "x": 40.0,
416           "y": 190.0
417         }
418       }
419     ],
420     "wires": [
421       {
422         "pin1": {
423           "compName": "_submodelinterface",
424           "pinName": "C"
425         },
426         "pin2": {
427           "compName": "dff4_finewe#0",
428           "pinName": "C"
429         },
430         "name": "unnamedWire#0",
431         "path": [
432           {
433             "x": 250.0,
434             "y": 85.0
435           }
436         ]
437       },
438       {
439         "pin1": {
440           "compName": "_submodelinterface",
441           "pinName": "_EOVR"
442         },
443         "pin2": {
444           "compName": "dff4_finewe#0",
445           "pinName": "_WE1"
446         },
447         "name": "unnamedWire#1",
448         "path": [
449           {
450             "x": 200.0,
451             "y": 30.0
452           },
453           {
454             "x": 305.0,
455             "y": 30.0
456           },
457           {
458             "x": 305.0,
459             "y": 125.0
460           }
461         ]
462       },
463       {
464         "pin1": {
465           "compName": "_submodelinterface",
466           "pinName": "_EN"
467         },
468         "pin2": {
469           "compName": "dff4_finewe#0",
470           "pinName": "_WE2"
471         },
472         "name": "unnamedWire#2",
473         "path": [
474           {
475             "x": 150.0,
476             "y": 25.0
477           },
478           {
479             "x": 310.0,
480             "y": 25.0
481           },
482           {
483             "x": 310.0,
484             "y": 115.0
485           }
486         ]
487       },
488       {
489         "pin1": {
490           "compName": "_submodelinterface",
491           "pinName": "_EC"
492         },
493         "pin2": {
494           "compName": "and#0",
495           "pinName": "A"
496         },
497         "name": "unnamedWire#3",
498         "path": [
499           {
500             "x": 100.0,
501             "y": 20.0
502           },
503           {
504             "x": 190.0,
505             "y": 20.0
506           },
507           {
508             "x": 190.0,
509             "y": 55.0
510           }
511         ]
512       },
513       {
514         "pin1": {
515           "compName": "_submodelinterface",
516           "pinName": "_EZ"
517         },
518         "pin2": {
519           "compName": "dff4_finewe#0",
520           "pinName": "_WE4"
521         },
522         "name": "unnamedWire#4",
523         "path": [
524           {
525             "x": 50.0,
526             "y": 15.0
527           },
528           {
529             "x": 320.0,
530             "y": 15.0
531           },
532           {
533             "x": 320.0,
534             "y": 95.0
535           }
536         ]
537       },
538       {
539         "pin1": {
540           "compName": "Splitter#4",
541           "pinName": "I"
542         },
543         "pin2": {
544           "compName": "_submodelinterface",
545           "pinName": "Q"
546         },
547         "name": "unnamedWire#5",
548         "path": []
549       },
550       {
551         "pin1": {
552           "compName": "dff4_finewe#0",
553           "pinName": "Q4"
554         },
555         "pin2": {
556           "compName": "WireCrossPoint#1",
557           "pinName": ""
558         },
559         "name": "unnamedWire#6",
560         "path": []
561       },
562       {
563         "pin1": {
564           "compName": "WireCrossPoint#4",
565           "pinName": ""
566         },
567         "pin2": {
568           "compName": "Splitter#4",
569           "pinName": "O0"
570         },
571         "name": "unnamedWire#7",
572         "path": []
573       },
574       {
575         "pin1": {
576           "compName": "Splitter#4",
577           "pinName": "O1"
578         },
579         "pin2": {
580           "compName": "WireCrossPoint#3",
581           "pinName": ""
582         },
583         "name": "unnamedWire#8",
584         "path": []
585       },
586       {
587         "pin1": {
588           "compName": "dff4_finewe#0",
589           "pinName": "Q3"
590         },
591         "pin2": {
592           "compName": "WireCrossPoint#2",
593           "pinName": ""
594         },
595         "name": "unnamedWire#9",
596         "path": []
597       },
598       {
599         "pin1": {
600           "compName": "_submodelinterface",
601           "pinName": "mu"
602         },
603         "pin2": {
604           "compName": "Splitter#0",
605           "pinName": "I"
606         },
607         "name": "unnamedWire#10",
608         "path": []
609       },
610       {
611         "pin1": {
612           "compName": "_submodelinterface",
613           "pinName": "Y"
614         },
615         "pin2": {
616           "compName": "Splitter#1",
617           "pinName": "I"
618         },
619         "name": "unnamedWire#11",
620         "path": []
621       },
622       {
623         "pin1": {
624           "compName": "mux1_4_sb#0",
625           "pinName": "I0_1"
626         },
627         "pin2": {
628           "compName": "Splitter#0",
629           "pinName": "O3"
630         },
631         "name": "unnamedWire#12",
632         "path": [
633           {
634             "x": 35.0,
635             "y": 95.0
636           },
637           {
638             "x": 35.0,
639             "y": 35.0
640           }
641         ]
642       },
643       {
644         "pin1": {
645           "compName": "Splitter#0",
646           "pinName": "O2"
647         },
648         "pin2": {
649           "compName": "mux1_4_sb#0",
650           "pinName": "I0_2"
651         },
652         "name": "unnamedWire#13",
653         "path": [
654           {
655             "x": 30.0,
656             "y": 45.0
657           },
658           {
659             "x": 30.0,
660             "y": 105.0
661           }
662         ]
663       },
664       {
665         "pin1": {
666           "compName": "Splitter#0",
667           "pinName": "O1"
668         },
669         "pin2": {
670           "compName": "mux1_4_sb#0",
671           "pinName": "I0_3"
672         },
673         "name": "unnamedWire#14",
674         "path": [
675           {
676             "x": 25.0,
677             "y": 55.0
678           },
679           {
680             "x": 25.0,
681             "y": 115.0
682           }
683         ]
684       },
685       {
686         "pin1": {
687           "compName": "Splitter#0",
688           "pinName": "O0"
689         },
690         "pin2": {
691           "compName": "mux1_4_sb#0",
692           "pinName": "I0_4"
693         },
694         "name": "unnamedWire#15",
695         "path": [
696           {
697             "x": 20.0,
698             "y": 65.0
699           },
700           {
701             "x": 20.0,
702             "y": 125.0
703           }
704         ]
705       },
706       {
707         "pin1": {
708           "compName": "Splitter#1",
709           "pinName": "O3"
710         },
711         "pin2": {
712           "compName": "mux1_4_sb#0",
713           "pinName": "I1_1"
714         },
715         "name": "unnamedWire#16",
716         "path": []
717       },
718       {
719         "pin1": {
720           "compName": "mux1_4_sb#0",
721           "pinName": "I1_2"
722         },
723         "pin2": {
724           "compName": "Splitter#1",
725           "pinName": "O2"
726         },
727         "name": "unnamedWire#17",
728         "path": []
729       },
730       {
731         "pin1": {
732           "compName": "Splitter#1",
733           "pinName": "O1"
734         },
735         "pin2": {
736           "compName": "mux1_4_sb#0",
737           "pinName": "I1_3"
738         },
739         "name": "unnamedWire#18",
740         "path": []
741       },
742       {
743         "pin1": {
744           "compName": "mux1_4_sb#0",
745           "pinName": "I1_4"
746         },
747         "pin2": {
748           "compName": "Splitter#1",
749           "pinName": "O0"
750         },
751         "name": "unnamedWire#19",
752         "path": []
753       },
754       {
755         "pin1": {
756           "compName": "_submodelinterface",
757           "pinName": "MUX"
758         },
759         "pin2": {
760           "compName": "Splitter#2",
761           "pinName": "I"
762         },
763         "name": "unnamedWire#20",
764         "path": []
765       },
766       {
767         "pin1": {
768           "compName": "WireCrossPoint#0",
769           "pinName": ""
770         },
771         "pin2": {
772           "compName": "WireCrossPoint#7",
773           "pinName": ""
774         },
775         "name": "unnamedWire#21",
776         "path": []
777       },
778       {
779         "pin1": {
780           "compName": "_submodelinterface",
781           "pinName": "I"
782         },
783         "pin2": {
784           "compName": "Splitter#3",
785           "pinName": "I"
786         },
787         "name": "unnamedWire#22",
788         "path": []
789       },
790       {
791         "pin1": {
792           "compName": "Splitter#3",
793           "pinName": "O2"
794         },
795         "pin2": {
796           "compName": "xor#0",
797           "pinName": "B"
798         },
799         "name": "unnamedWire#23",
800         "path": [
801           {
802             "x": 30.0,
803             "y": 245.0
804           },
805           {
806             "x": 30.0,
807             "y": 205.0
808           }
809         ]
810       },
811       {
812         "pin1": {
813           "compName": "Splitter#2",
814           "pinName": "O0"
815         },
816         "pin2": {
817           "compName": "WireCrossPoint#0",
818           "pinName": ""
819         },
820         "name": "unnamedWire#24",
821         "path": [
822           {
823             "x": 60.0,
824             "y": 360.0
825           },
826           {
827             "x": 60.0,
828             "y": 335.0
829           },
830           {
831             "x": 20.0,
832             "y": 335.0
833           }
834         ]
835       },
836       {
837         "pin1": {
838           "compName": "xor#0",
839           "pinName": "A"
840         },
841         "pin2": {
842           "compName": "WireCrossPoint#7",
843           "pinName": ""
844         },
845         "name": "unnamedWire#25",
846         "path": []
847       },
848       {
849         "pin1": {
850           "compName": "dff4_finewe#0",
851           "pinName": "Q2"
852         },
853         "pin2": {
854           "compName": "WireCrossPoint#3",
855           "pinName": ""
856         },
857         "name": "unnamedWire#26",
858         "path": []
859       },
860       {
861         "pin1": {
862           "compName": "WireCrossPoint#2",
863           "pinName": ""
864         },
865         "pin2": {
866           "compName": "Splitter#4",
867           "pinName": "O2"
868         },
869         "name": "unnamedWire#27",
870         "path": []
871       },
872       {
873         "pin1": {
874           "compName": "Splitter#4",
875           "pinName": "O3"
876         },
877         "pin2": {
878           "compName": "WireCrossPoint#1",
879           "pinName": ""
880         },
881         "name": "unnamedWire#28",
882         "path": []
883       },
884       {
885         "pin1": {
886           "compName": "WireCrossPoint#4",
887           "pinName": ""
888         },
889         "pin2": {
890           "compName": "dff4_finewe#0",
891           "pinName": "Q1"
892         },
893         "name": "unnamedWire#29",
894         "path": []
895       },
896       {
897         "pin1": {
898           "compName": "not4#0",
899           "pinName": "Y1"
900         },
901         "pin2": {
902           "compName": "mux1_4_sb#1",
903           "pinName": "I1_1"
904         },
905         "name": "unnamedWire#30",
906         "path": []
907       },
908       {
909         "pin1": {
910           "compName": "mux1_4_sb#1",
911           "pinName": "I1_2"
912         },
913         "pin2": {
914           "compName": "not4#0",
915           "pinName": "Y2"
916         },
917         "name": "unnamedWire#31",
918         "path": []
919       },
920       {
921         "pin1": {
922           "compName": "not4#0",
923           "pinName": "Y3"
924         },
925         "pin2": {
926           "compName": "mux1_4_sb#1",
927           "pinName": "I1_3"
928         },
929         "name": "unnamedWire#32",
930         "path": []
931       },
932       {
933         "pin1": {
934           "compName": "mux1_4_sb#1",
935           "pinName": "I1_4"
936         },
937         "pin2": {
938           "compName": "not4#0",
939           "pinName": "Y4"
940         },
941         "name": "unnamedWire#33",
942         "path": []
943       },
944       {
945         "pin1": {
946           "compName": "WireCrossPoint#1",
947           "pinName": ""
948         },
949         "pin2": {
950           "compName": "not4#0",
951           "pinName": "A1"
952         },
953         "name": "unnamedWire#34",
954         "path": [
955           {
956             "x": 365.0,
957             "y": 315.0
958           },
959           {
960             "x": 25.0,
961             "y": 315.0
962           },
963           {
964             "x": 25.0,
965             "y": 275.0
966           }
967         ]
968       },
969       {
970         "pin1": {
971           "compName": "WireCrossPoint#2",
972           "pinName": ""
973         },
974         "pin2": {
975           "compName": "WireCrossPoint#5",
976           "pinName": ""
977         },
978         "name": "unnamedWire#35",
979         "path": [
980           {
981             "x": 370.0,
982             "y": 320.0
983           },
984           {
985             "x": 30.0,
986             "y": 320.0
987           }
988         ]
989       },
990       {
991         "pin1": {
992           "compName": "WireCrossPoint#3",
993           "pinName": ""
994         },
995         "pin2": {
996           "compName": "not4#0",
997           "pinName": "A3"
998         },
999         "name": "unnamedWire#36",
1000         "path": [
1001           {
1002             "x": 375.0,
1003             "y": 325.0
1004           },
1005           {
1006             "x": 35.0,
1007             "y": 325.0
1008           },
1009           {
1010             "x": 35.0,
1011             "y": 295.0
1012           }
1013         ]
1014       },
1015       {
1016         "pin1": {
1017           "compName": "WireCrossPoint#4",
1018           "pinName": ""
1019         },
1020         "pin2": {
1021           "compName": "WireCrossPoint#6",
1022           "pinName": ""
1023         },
1024         "name": "unnamedWire#37",
1025         "path": [
1026           {
1027             "x": 380.0,
1028             "y": 330.0
1029           },
1030           {
1031             "x": 40.0,
1032             "y": 330.0
1033           }
1034         ]
1035       },
1036       {
1037         "pin1": {
1038           "compName": "WireCrossPoint#12",
1039           "pinName": ""
1040         },
1041         "pin2": {
1042           "compName": "Splitter#3",
1043           "pinName": "O3"
1044         },
1045         "name": "unnamedWire#38",
1046         "path": []
1047       },
1048       {
1049         "pin1": {
1050           "compName": "mux1_4_sb#1",
1051           "pinName": "I0_4"
1052         },
1053         "pin2": {
1054           "compName": "WireCrossPoint#5",
1055           "pinName": ""
1056         },
1057         "name": "unnamedWire#39",
1058         "path": [
1059           {
1060             "x": 30.0,
1061             "y": 265.0
1062           }
1063         ]
1064       },
1065       {
1066         "pin1": {
1067           "compName": "WireCrossPoint#6",
1068           "pinName": ""
1069         },
1070         "pin2": {
1071           "compName": "mux1_4_sb#1",
1072           "pinName": "I0_2"
1073         },
1074         "name": "unnamedWire#40",
1075         "path": [
1076           {
1077             "x": 40.0,
1078             "y": 245.0
1079           }
1080         ]
1081       },
1082       {
1083         "pin1": {
1084           "compName": "mux1_4_sb#1",
1085           "pinName": "I0_3"
1086         },
1087         "pin2": {
1088           "compName": "WireCrossPoint#8",
1089           "pinName": ""
1090         },
1091         "name": "unnamedWire#41",
1092         "path": []
1093       },
1094       {
1095         "pin1": {
1096           "compName": "WireCrossPoint#7",
1097           "pinName": ""
1098         },
1099         "pin2": {
1100           "compName": "WireCrossPoint#9",
1101           "pinName": ""
1102         },
1103         "name": "unnamedWire#42",
1104         "path": [
1105           {
1106             "x": 20.0,
1107             "y": 175.0
1108           },
1109           {
1110             "x": 40.0,
1111             "y": 175.0
1112           }
1113         ]
1114       },
1115       {
1116         "pin1": {
1117           "compName": "WireCrossPoint#0",
1118           "pinName": ""
1119         },
1120         "pin2": {
1121           "compName": "mux1_4_sb#1",
1122           "pinName": "S0"
1123         },
1124         "name": "unnamedWire#43",
1125         "path": []
1126       },
1127       {
1128         "pin1": {
1129           "compName": "mux1_4_sb#0",
1130           "pinName": "Y1"
1131         },
1132         "pin2": {
1133           "compName": "mux1_4_sb#2",
1134           "pinName": "I1_1"
1135         },
1136         "name": "unnamedWire#44",
1137         "path": []
1138       },
1139       {
1140         "pin1": {
1141           "compName": "WireCrossPoint#9",
1142           "pinName": ""
1143         },
1144         "pin2": {
1145           "compName": "WireCrossPoint#14",
1146           "pinName": ""
1147         },
1148         "name": "unnamedWire#45",
1149         "path": [
1150           {
1151             "x": 40.0,
1152             "y": 75.0
1153           }
1154         ]
1155       },
1156       {
1157         "pin1": {
1158           "compName": "mux1_4_sb#2",
1159           "pinName": "I1_2"
1160         },
1161         "pin2": {
1162           "compName": "mux1_4_sb#0",
1163           "pinName": "Y2"
1164         },
1165         "name": "unnamedWire#46",
1166         "path": []
1167       },
1168       {
1169         "pin1": {
1170           "compName": "mux1_4_sb#0",
1171           "pinName": "Y3"
1172         },
1173         "pin2": {
1174           "compName": "mux1_4_sb#2",
1175           "pinName": "I1_3"
1176         },
1177         "name": "unnamedWire#47",
1178         "path": []
1179       },
1180       {
1181         "pin1": {
1182           "compName": "mux1_4_sb#2",
1183           "pinName": "I1_4"
1184         },
1185         "pin2": {
1186           "compName": "mux1_4_sb#0",
1187           "pinName": "Y4"
1188         },
1189         "name": "unnamedWire#48",
1190         "path": []
1191       },
1192       {
1193         "pin1": {
1194           "compName": "WireCrossPoint#14",
1195           "pinName": ""
1196         },
1197         "pin2": {
1198           "compName": "mux1_4_sb#2",
1199           "pinName": "I0_4"
1200         },
1201         "name": "unnamedWire#49",
1202         "path": []
1203       },
1204       {
1205         "pin1": {
1206           "compName": "WireCrossPoint#10",
1207           "pinName": ""
1208         },
1209         "pin2": {
1210           "compName": "WireCrossPoint#11",
1211           "pinName": ""
1212         },
1213         "name": "unnamedWire#50",
1214         "path": []
1215       },
1216       {
1217         "pin1": {
1218           "compName": "WireCrossPoint#11",
1219           "pinName": ""
1220         },
1221         "pin2": {
1222           "compName": "WireCrossPoint#14",
1223           "pinName": ""
1224         },
1225         "name": "unnamedWire#51",
1226         "path": []
1227       },
1228       {
1229         "pin1": {
1230           "compName": "mux1_4_sb#2",
1231           "pinName": "I0_3"
1232         },
1233         "pin2": {
1234           "compName": "WireCrossPoint#11",
1235           "pinName": ""
1236         },
1237         "name": "unnamedWire#52",
1238         "path": []
1239       },
1240       {
1241         "pin1": {
1242           "compName": "WireCrossPoint#10",
1243           "pinName": ""
1244         },
1245         "pin2": {
1246           "compName": "mux1_4_sb#2",
1247           "pinName": "I0_2"
1248         },
1249         "name": "unnamedWire#53",
1250         "path": []
1251       },
1252       {
1253         "pin1": {
1254           "compName": "mux1_4_sb#2",
1255           "pinName": "I0_1"
1256         },
1257         "pin2": {
1258           "compName": "WireCrossPoint#10",
1259           "pinName": ""
1260         },
1261         "name": "unnamedWire#54",
1262         "path": [
1263           {
1264             "x": 75.0,
1265             "y": 45.0
1266           }
1267         ]
1268       },
1269       {
1270         "pin1": {
1271           "compName": "not4#0",
1272           "pinName": "A4"
1273         },
1274         "pin2": {
1275           "compName": "WireCrossPoint#6",
1276           "pinName": ""
1277         },
1278         "name": "unnamedWire#55",
1279         "path": []
1280       },
1281       {
1282         "pin1": {
1283           "compName": "not4#0",
1284           "pinName": "A2"
1285         },
1286         "pin2": {
1287           "compName": "WireCrossPoint#5",
1288           "pinName": ""
1289         },
1290         "name": "unnamedWire#56",
1291         "path": []
1292       },
1293       {
1294         "pin1": {
1295           "compName": "WireCrossPoint#12",
1296           "pinName": ""
1297         },
1298         "pin2": {
1299           "compName": "mux1_4_sb#1",
1300           "pinName": "I0_1"
1301         },
1302         "name": "unnamedWire#57",
1303         "path": []
1304       },
1305       {
1306         "pin1": {
1307           "compName": "Splitter#3",
1308           "pinName": "O1"
1309         },
1310         "pin2": {
1311           "compName": "WireCrossPoint#8",
1312           "pinName": ""
1313         },
1314         "name": "unnamedWire#58",
1315         "path": []
1316       },
1317       {
1318         "pin1": {
1319           "compName": "WireCrossPoint#12",
1320           "pinName": ""
1321         },
1322         "pin2": {
1323           "compName": "mux1_4_sb#3",
1324           "pinName": "I0_1"
1325         },
1326         "name": "unnamedWire#59",
1327         "path": [
1328           {
1329             "x": 35.0,
1330             "y": 185.0
1331           }
1332         ]
1333       },
1334       {
1335         "pin1": {
1336           "compName": "mux1_4_sb#3",
1337           "pinName": "I0_2"
1338         },
1339         "pin2": {
1340           "compName": "xor#0",
1341           "pinName": "Y"
1342         },
1343         "name": "unnamedWire#60",
1344         "path": []
1345       },
1346       {
1347         "pin1": {
1348           "compName": "mux1_4_sb#3",
1349           "pinName": "I0_3"
1350         },
1351         "pin2": {
1352           "compName": "WireCrossPoint#8",
1353           "pinName": ""
1354         },
1355         "name": "unnamedWire#61",
1356         "path": [
1357           {
1358             "x": 80.0,
1359             "y": 205.0
1360           }
1361         ]
1362       },
1363       {
1364         "pin1": {
1365           "compName": "Splitter#3",
1366           "pinName": "O0"
1367         },
1368         "pin2": {
1369           "compName": "mux1_4_sb#3",
1370           "pinName": "I0_4"
1371         },
1372         "name": "unnamedWire#62",
1373         "path": [
1374           {
1375             "x": 25.0,
1376             "y": 265.0
1377           },
1378           {
1379             "x": 25.0,
1380             "y": 215.0
1381           }
1382         ]
1383       },
1384       {
1385         "pin1": {
1386           "compName": "mux1_4_sb#1",
1387           "pinName": "Y1"
1388         },
1389         "pin2": {
1390           "compName": "mux1_4_sb#3",
1391           "pinName": "I1_1"
1392         },
1393         "name": "unnamedWire#63",
1394         "path": []
1395       },
1396       {
1397         "pin1": {
1398           "compName": "mux1_4_sb#3",
1399           "pinName": "I1_2"
1400         },
1401         "pin2": {
1402           "compName": "mux1_4_sb#1",
1403           "pinName": "Y2"
1404         },
1405         "name": "unnamedWire#64",
1406         "path": []
1407       },
1408       {
1409         "pin1": {
1410           "compName": "mux1_4_sb#1",
1411           "pinName": "Y3"
1412         },
1413         "pin2": {
1414           "compName": "mux1_4_sb#3",
1415           "pinName": "I1_3"
1416         },
1417         "name": "unnamedWire#65",
1418         "path": []
1419       },
1420       {
1421         "pin1": {
1422           "compName": "mux1_4_sb#3",
1423           "pinName": "I1_4"
1424         },
1425         "pin2": {
1426           "compName": "mux1_4_sb#1",
1427           "pinName": "Y4"
1428         },
1429         "name": "unnamedWire#66",
1430         "path": []
1431       },
1432       {
1433         "pin1": {
1434           "compName": "Splitter#2",
1435           "pinName": "O1"
1436         },
1437         "pin2": {
1438           "compName": "WireCrossPoint#13",
1439           "pinName": ""
1440         },
1441         "name": "unnamedWire#67",
1442         "path": [
1443           {
1444             "x": 125.0,
1445             "y": 350.0
1446           }
1447         ]
1448       },
1449       {
1450         "pin1": {
1451           "compName": "WireCrossPoint#13",
1452           "pinName": ""
1453         },
1454         "pin2": {
1455           "compName": "mux1_4_sb#3",
1456           "pinName": "S0"
1457         },
1458         "name": "unnamedWire#68",
1459         "path": []
1460       },
1461       {
1462         "pin1": {
1463           "compName": "WireCrossPoint#13",
1464           "pinName": ""
1465         },
1466         "pin2": {
1467           "compName": "mux1_4_sb#2",
1468           "pinName": "S0"
1469         },
1470         "name": "unnamedWire#69",
1471         "path": [
1472           {
1473             "x": 85.0,
1474             "y": 175.0
1475           },
1476           {
1477             "x": 85.0,
1478             "y": 35.0
1479           }
1480         ]
1481       },
1482       {
1483         "pin1": {
1484           "compName": "mux1_4_sb#4",
1485           "pinName": "Y4"
1486         },
1487         "pin2": {
1488           "compName": "dff4_finewe#0",
1489           "pinName": "D1"
1490         },
1491         "name": "unnamedWire#70",
1492         "path": [
1493           {
1494             "x": 235.0,
1495             "y": 155.0
1496           },
1497           {
1498             "x": 235.0,
1499             "y": 165.0
1500           }
1501         ]
1502       },
1503       {
1504         "pin1": {
1505           "compName": "dff4_finewe#0",
1506           "pinName": "D2"
1507         },
1508         "pin2": {
1509           "compName": "mux1_4_sb#4",
1510           "pinName": "Y3"
1511         },
1512         "name": "unnamedWire#71",
1513         "path": [
1514           {
1515             "x": 240.0,
1516             "y": 155.0
1517           },
1518           {
1519             "x": 240.0,
1520             "y": 145.0
1521           }
1522         ]
1523       },
1524       {
1525         "pin1": {
1526           "compName": "and#0",
1527           "pinName": "Y"
1528         },
1529         "pin2": {
1530           "compName": "dff4_finewe#0",
1531           "pinName": "_WE3"
1532         },
1533         "name": "unnamedWire#72",
1534         "path": [
1535           {
1536             "x": 235.0,
1537             "y": 55.0
1538           },
1539           {
1540             "x": 235.0,
1541             "y": 20.0
1542           },
1543           {
1544             "x": 315.0,
1545             "y": 20.0
1546           },
1547           {
1548             "x": 315.0,
1549             "y": 105.0
1550           }
1551         ]
1552       },
1553       {
1554         "pin1": {
1555           "compName": "dff4_finewe#0",
1556           "pinName": "D4"
1557         },
1558         "pin2": {
1559           "compName": "mux1_4_sb#4",
1560           "pinName": "Y1"
1561         },
1562         "name": "unnamedWire#73",
1563         "path": [
1564           {
1565             "x": 250.0,
1566             "y": 135.0
1567           },
1568           {
1569             "x": 250.0,
1570             "y": 125.0
1571           }
1572         ]
1573       },
1574       {
1575         "pin1": {
1576           "compName": "mux1_4_sb#4",
1577           "pinName": "I1_4"
1578         },
1579         "pin2": {
1580           "compName": "mux1_4_sb#3",
1581           "pinName": "Y4"
1582         },
1583         "name": "unnamedWire#74",
1584         "path": []
1585       },
1586       {
1587         "pin1": {
1588           "compName": "mux1_4_sb#3",
1589           "pinName": "Y3"
1590         },
1591         "pin2": {
1592           "compName": "mux1_4_sb#4",
1593           "pinName": "I1_3"
1594         },
1595         "name": "unnamedWire#75",
1596         "path": []
1597       },
1598       {
1599         "pin1": {
1600           "compName": "mux1_4_sb#4",
1601           "pinName": "I1_2"
1602         },
1603         "pin2": {
1604           "compName": "mux1_4_sb#3",
1605           "pinName": "Y2"
1606         },
1607         "name": "unnamedWire#76",
1608         "path": []
1609       },
1610       {
1611         "pin1": {
1612           "compName": "mux1_4_sb#3",
1613           "pinName": "Y1"
1614         },
1615         "pin2": {
1616           "compName": "mux1_4_sb#4",
1617           "pinName": "I1_1"
1618         },
1619         "name": "unnamedWire#77",
1620         "path": []
1621       },
1622       {
1623         "pin1": {
1624           "compName": "mux1_4_sb#4",
1625           "pinName": "I0_4"
1626         },
1627         "pin2": {
1628           "compName": "mux1_4_sb#2",
1629           "pinName": "Y4"
1630         },
1631         "name": "unnamedWire#78",
1632         "path": [
1633           {
1634             "x": 140.0,
1635             "y": 165.0
1636           },
1637           {
1638             "x": 140.0,
1639             "y": 65.0
1640           }
1641         ]
1642       },
1643       {
1644         "pin1": {
1645           "compName": "mux1_4_sb#2",
1646           "pinName": "Y3"
1647         },
1648         "pin2": {
1649           "compName": "mux1_4_sb#4",
1650           "pinName": "I0_3"
1651         },
1652         "name": "unnamedWire#79",
1653         "path": [
1654           {
1655             "x": 145.0,
1656             "y": 55.0
1657           },
1658           {
1659             "x": 145.0,
1660             "y": 155.0
1661           }
1662         ]
1663       },
1664       {
1665         "pin1": {
1666           "compName": "mux1_4_sb#4",
1667           "pinName": "I0_2"
1668         },
1669         "pin2": {
1670           "compName": "mux1_4_sb#2",
1671           "pinName": "Y2"
1672         },
1673         "name": "unnamedWire#80",
1674         "path": [
1675           {
1676             "x": 150.0,
1677             "y": 145.0
1678           },
1679           {
1680             "x": 150.0,
1681             "y": 45.0
1682           }
1683         ]
1684       },
1685       {
1686         "pin1": {
1687           "compName": "mux1_4_sb#2",
1688           "pinName": "Y1"
1689         },
1690         "pin2": {
1691           "compName": "mux1_4_sb#4",
1692           "pinName": "I0_1"
1693         },
1694         "name": "unnamedWire#81",
1695         "path": [
1696           {
1697             "x": 155.0,
1698             "y": 35.0
1699           },
1700           {
1701             "x": 155.0,
1702             "y": 135.0
1703           }
1704         ]
1705       },
1706       {
1707         "pin1": {
1708           "compName": "Splitter#2",
1709           "pinName": "O2"
1710         },
1711         "pin2": {
1712           "compName": "mux1_4_sb#4",
1713           "pinName": "S0"
1714         },
1715         "name": "unnamedWire#82",
1716         "path": [
1717           {
1718             "x": 170.0,
1719             "y": 340.0
1720           },
1721           {
1722             "x": 170.0,
1723             "y": 125.0
1724           }
1725         ]
1726       },
1727       {
1728         "pin1": {
1729           "compName": "WireCrossPoint#15",
1730           "pinName": ""
1731         },
1732         "pin2": {
1733           "compName": "NandGate#0",
1734           "pinName": "A"
1735         },
1736         "name": "unnamedWire#83",
1737         "path": []
1738       },
1739       {
1740         "pin1": {
1741           "compName": "_submodelinterface",
1742           "pinName": "COVD_EN"
1743         },
1744         "pin2": {
1745           "compName": "WireCrossPoint#16",
1746           "pinName": ""
1747         },
1748         "name": "unnamedWire#84",
1749         "path": [
1750           {
1751             "x": 300.0,
1752             "y": 10.0
1753           },
1754           {
1755             "x": 270.0,
1756             "y": 10.0
1757           }
1758         ]
1759       },
1760       {
1761         "pin1": {
1762           "compName": "WireCrossPoint#16",
1763           "pinName": ""
1764         },
1765         "pin2": {
1766           "compName": "WireCrossPoint#15",
1767           "pinName": ""
1768         },
1769         "name": "unnamedWire#85",
1770         "path": [
1771           {
1772             "x": 165.0,
1773             "y": 40.0
1774           }
1775         ]
1776       },
1777       {
1778         "pin1": {
1779           "compName": "_submodelinterface",
1780           "pinName": "COVD_V"
1781         },
1782         "pin2": {
1783           "compName": "mux1#0",
1784           "pinName": "I1"
1785         },
1786         "name": "unnamedWire#86",
1787         "path": [
1788           {
1789             "x": 350.0,
1790             "y": 70.0
1791           },
1792           {
1793             "x": 265.0,
1794             "y": 70.0
1795           },
1796           {
1797             "x": 265.0,
1798             "y": 200.0
1799           }
1800         ]
1801       },
1802       {
1803         "pin1": {
1804           "compName": "mux1_4_sb#4",
1805           "pinName": "Y2"
1806         },
1807         "pin2": {
1808           "compName": "mux1#0",
1809           "pinName": "I0"
1810         },
1811         "name": "unnamedWire#87",
1812         "path": [
1813           {
1814             "x": 245.0,
1815             "y": 135.0
1816           },
1817           {
1818             "x": 245.0,
1819             "y": 145.0
1820           },
1821           {
1822             "x": 275.0,
1823             "y": 145.0
1824           },
1825           {
1826             "x": 275.0,
1827             "y": 190.0
1828           }
1829         ]
1830       },
1831       {
1832         "pin1": {
1833           "compName": "mux1#0",
1834           "pinName": "Y"
1835         },
1836         "pin2": {
1837           "compName": "dff4_finewe#0",
1838           "pinName": "D3"
1839         },
1840         "name": "unnamedWire#88",
1841         "path": [
1842           {
1843             "x": 320.0,
1844             "y": 180.0
1845           },
1846           {
1847             "x": 320.0,
1848             "y": 145.0
1849           }
1850         ]
1851       },
1852       {
1853         "pin1": {
1854           "compName": "NandGate#0",
1855           "pinName": "Y"
1856         },
1857         "pin2": {
1858           "compName": "and#0",
1859           "pinName": "B"
1860         },
1861         "name": "unnamedWire#89",
1862         "path": []
1863       },
1864       {
1865         "pin1": {
1866           "compName": "WireCrossPoint#15",
1867           "pinName": ""
1868         },
1869         "pin2": {
1870           "compName": "NandGate#0",
1871           "pinName": "B"
1872         },
1873         "name": "unnamedWire#90",
1874         "path": [
1875           {
1876             "x": 165.0,
1877             "y": 70.0
1878           }
1879         ]
1880       },
1881       {
1882         "pin1": {
1883           "compName": "WireCrossPoint#16",
1884           "pinName": ""
1885         },
1886         "pin2": {
1887           "compName": "mux1#0",
1888           "pinName": "S0"
1889         },
1890         "name": "unnamedWire#91",
1891         "path": [
1892           {
1893             "x": 270.0,
1894             "y": 180.0
1895           }
1896         ]
1897       },
1898       {
1899         "pin1": {
1900           "compName": "WireCrossPoint#9",
1901           "pinName": ""
1902         },
1903         "pin2": {
1904           "compName": "mux1_4_sb#0",
1905           "pinName": "S0"
1906         },
1907         "name": "unnamedWire#92",
1908         "path": []
1909       }
1910     ],
1911     "version": "0.1.1"
1912   },
1913   "symbolRendererSnippetID": "simpleRectangularLike",
1914   "symbolRendererParams": {
1915     "centerText": "MSR",
1916     "centerTextHeight": 5.0,
1917     "horizontalComponentCenter": 17.5,
1918     "pinLabelHeight": 3.5,
1919     "pinLabelMargin": 0.5
1920   },
1921   "outlineRendererSnippetID": "default",
1922   "highLevelStateHandlerSnippetID": "standard",
1923   "highLevelStateHandlerParams": {
1924     "subcomponentHighLevelStates": {},
1925     "atomicHighLevelStates": {
1926       "q": {
1927         "id": "delegating",
1928         "params": {
1929           "delegateTarget": "dff4_finewe#0",
1930           "subStateID": "q"
1931         }
1932       },
1933       "q1": {
1934         "id": "delegating",
1935         "params": {
1936           "delegateTarget": "dff4_finewe#0",
1937           "subStateID": "q1"
1938         }
1939       },
1940       "q2": {
1941         "id": "delegating",
1942         "params": {
1943           "delegateTarget": "dff4_finewe#0",
1944           "subStateID": "q2"
1945         }
1946       },
1947       "q3": {
1948         "id": "delegating",
1949         "params": {
1950           "delegateTarget": "dff4_finewe#0",
1951           "subStateID": "q3"
1952         }
1953       },
1954       "q4": {
1955         "id": "delegating",
1956         "params": {
1957           "delegateTarget": "dff4_finewe#0",
1958           "subStateID": "q4"
1959         }
1960       }
1961     }
1962   },
1963   "version": "0.1.5"
1964 }