plugins/net.mograsim.logic.model.am2900/components/net/mograsim/logic/model/am2900/components/am2904/Am2904MSR.json

   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": 160.0,
 122           "y": 55.0
 123         },
 124         "params": 1
 125       },
 126       {
 127         "id": "Splitter",
 128         "name": "Splitter#0",
 129         "pos": {
 130           "x": 235.0,
 131           "y": 85.0
 132         },
 133         "params": {
 134           "logicWidth": 4,
 135           "orientation": "RIGHT"
 136         }
 137       },
 138       {
 139         "id": "Splitter",
 140         "name": "Splitter#1",
 141         "pos": {
 142           "x": 85.0,
 143           "y": 185.0
 144         },
 145         "params": {
 146           "logicWidth": 4,
 147           "orientation": "LEFT"
 148         }
 149       },
 150       {
 151         "id": "Splitter",
 152         "name": "Splitter#2",
 153         "pos": {
 154           "x": 5.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": 230.0,
 179           "y": 45.0
 180         },
 181         "params": {
 182           "logicWidth": 4,
 183           "orientation": "LEFT"
 184         }
 185       },
 186       {
 187         "id": "Splitter",
 188         "name": "Splitter#5",
 189         "pos": {
 190           "x": 60.0,
 191           "y": 45.0
 192         },
 193         "params": {
 194           "logicWidth": 4,
 195           "orientation": "LEFT"
 196         }
 197       },
 198       {
 199         "id": "Splitter",
 200         "name": "Splitter#6",
 201         "pos": {
 202           "x": 60.0,
 203           "y": 275.0
 204         },
 205         "params": {
 206           "logicWidth": 4,
 207           "orientation": "LEFT"
 208         }
 209       },
 210       {
 211         "id": "Splitter",
 212         "name": "Splitter#7",
 213         "pos": {
 214           "x": 85.0,
 215           "y": 235.0
 216         },
 217         "params": {
 218           "logicWidth": 4,
 219           "orientation": "LEFT"
 220         }
 221       },
 222       {
 223         "id": "Splitter",
 224         "name": "Splitter#8",
 225         "pos": {
 226           "x": 310.0,
 227           "y": 85.0
 228         },
 229         "params": {
 230           "logicWidth": 4,
 231           "orientation": "LEFT"
 232         }
 233       },
 234       {
 235         "id": "Splitter",
 236         "name": "Splitter#9",
 237         "pos": {
 238           "x": 25.0,
 239           "y": 310.0
 240         },
 241         "params": {
 242           "logicWidth": 4,
 243           "orientation": "UP"
 244         }
 245       },
 246       {
 247         "id": "WireCrossPoint",
 248         "name": "WireCrossPoint#0",
 249         "pos": {
 250           "x": 19.0,
 251           "y": 224.0
 252         },
 253         "params": 1
 254       },
 255       {
 256         "id": "WireCrossPoint",
 257         "name": "WireCrossPoint#1",
 258         "pos": {
 259           "x": 374.0,
 260           "y": 99.0
 261         },
 262         "params": 4
 263       },
 264       {
 265         "id": "WireCrossPoint",
 266         "name": "WireCrossPoint#2",
 267         "pos": {
 268           "x": 34.0,
 269           "y": 284.0
 270         },
 271         "params": 1
 272       },
 273       {
 274         "id": "WireCrossPoint",
 275         "name": "WireCrossPoint#3",
 276         "pos": {
 277           "x": 54.0,
 278           "y": 304.0
 279         },
 280         "params": 1
 281       },
 282       {
 283         "id": "WireCrossPoint",
 284         "name": "WireCrossPoint#4",
 285         "pos": {
 286           "x": 19.0,
 287           "y": 194.0
 288         },
 289         "params": 1
 290       },
 291       {
 292         "id": "WireCrossPoint",
 293         "name": "WireCrossPoint#5",
 294         "pos": {
 295           "x": 79.0,
 296           "y": 254.0
 297         },
 298         "params": 1
 299       },
 300       {
 301         "id": "WireCrossPoint",
 302         "name": "WireCrossPoint#6",
 303         "pos": {
 304           "x": 19.0,
 305           "y": 84.0
 306         },
 307         "params": 1
 308       },
 309       {
 310         "id": "WireCrossPoint",
 311         "name": "WireCrossPoint#7",
 312         "pos": {
 313           "x": 54.0,
 314           "y": 54.0
 315         },
 316         "params": 1
 317       },
 318       {
 319         "id": "WireCrossPoint",
 320         "name": "WireCrossPoint#8",
 321         "pos": {
 322           "x": 54.0,
 323           "y": 64.0
 324         },
 325         "params": 1
 326       },
 327       {
 328         "id": "WireCrossPoint",
 329         "name": "WireCrossPoint#9",
 330         "pos": {
 331           "x": 34.0,
 332           "y": 234.0
 333         },
 334         "params": 1
 335       },
 336       {
 337         "id": "WireCrossPoint",
 338         "name": "WireCrossPoint#10",
 339         "pos": {
 340           "x": 119.0,
 341           "y": 184.0
 342         },
 343         "params": 1
 344       },
 345       {
 346         "id": "WireCrossPoint",
 347         "name": "WireCrossPoint#11",
 348         "pos": {
 349           "x": 54.0,
 350           "y": 74.0
 351         },
 352         "params": 1
 353       },
 354       {
 355         "id": "WireCrossPoint",
 356         "name": "WireCrossPoint#12",
 357         "pos": {
 358           "x": 154.0,
 359           "y": 59.0
 360         },
 361         "params": 1
 362       },
 363       {
 364         "id": "WireCrossPoint",
 365         "name": "WireCrossPoint#13",
 366         "pos": {
 367           "x": 259.0,
 368           "y": 29.0
 369         },
 370         "params": 1
 371       },
 372       {
 373         "id": "and",
 374         "name": "and#0",
 375         "pos": {
 376           "x": 190.0,
 377           "y": 50.0
 378         }
 379       },
 380       {
 381         "id": "dff4_finewe",
 382         "name": "dff4_finewe#0",
 383         "pos": {
 384           "x": 335.0,
 385           "y": 85.0
 386         }
 387       },
 388       {
 389         "id": "mux1",
 390         "name": "mux1#0",
 391         "pos": {
 392           "x": 265.0,
 393           "y": 125.0
 394         }
 395       },
 396       {
 397         "id": "mux1_4",
 398         "name": "mux1_4#0",
 399         "pos": {
 400           "x": 85.0,
 401           "y": 50.0
 402         }
 403       },
 404       {
 405         "id": "mux1_4",
 406         "name": "mux1_4#1",
 407         "pos": {
 408           "x": 25.0,
 409           "y": 80.0
 410         }
 411       },
 412       {
 413         "id": "mux1_4",
 414         "name": "mux1_4#2",
 415         "pos": {
 416           "x": 180.0,
 417           "y": 80.0
 418         }
 419       },
 420       {
 421         "id": "mux1_4",
 422         "name": "mux1_4#3",
 423         "pos": {
 424           "x": 190.0,
 425           "y": 180.0
 426         }
 427       },
 428       {
 429         "id": "mux1_4",
 430         "name": "mux1_4#4",
 431         "pos": {
 432           "x": 130.0,
 433           "y": 220.0
 434         }
 435       },
 436       {
 437         "id": "not4",
 438         "name": "not4#0",
 439         "pos": {
 440           "x": 75.0,
 441           "y": 270.0
 442         }
 443       },
 444       {
 445         "id": "xor",
 446         "name": "xor#0",
 447         "pos": {
 448           "x": 40.0,
 449           "y": 190.0
 450         }
 451       }
 452     ],
 453     "wires": [
 454       {
 455         "pin1": {
 456           "compName": "_submodelinterface",
 457           "pinName": "C"
 458         },
 459         "pin2": {
 460           "compName": "dff4_finewe#0",
 461           "pinName": "C"
 462         },
 463         "name": "unnamedWire#0",
 464         "path": [
 465           {
 466             "x": 250.0,
 467             "y": 55.0
 468           },
 469           {
 470             "x": 330.0,
 471             "y": 55.0
 472           },
 473           {
 474             "x": 330.0,
 475             "y": 90.0
 476           }
 477         ]
 478       },
 479       {
 480         "pin1": {
 481           "compName": "_submodelinterface",
 482           "pinName": "_EOVR"
 483         },
 484         "pin2": {
 485           "compName": "Splitter#4",
 486           "pinName": "O0"
 487         },
 488         "name": "unnamedWire#1",
 489         "path": [
 490           {
 491             "x": 200.0,
 492             "y": 25.0
 493           },
 494           {
 495             "x": 225.0,
 496             "y": 25.0
 497           },
 498           {
 499             "x": 225.0,
 500             "y": 75.0
 501           }
 502         ]
 503       },
 504       {
 505         "pin1": {
 506           "compName": "_submodelinterface",
 507           "pinName": "_EN"
 508         },
 509         "pin2": {
 510           "compName": "Splitter#4",
 511           "pinName": "O1"
 512         },
 513         "name": "unnamedWire#2",
 514         "path": [
 515           {
 516             "x": 150.0,
 517             "y": 20.0
 518           },
 519           {
 520             "x": 220.0,
 521             "y": 20.0
 522           },
 523           {
 524             "x": 220.0,
 525             "y": 65.0
 526           }
 527         ]
 528       },
 529       {
 530         "pin1": {
 531           "compName": "_submodelinterface",
 532           "pinName": "_EC"
 533         },
 534         "pin2": {
 535           "compName": "and#0",
 536           "pinName": "A"
 537         },
 538         "name": "unnamedWire#3",
 539         "path": [
 540           {
 541             "x": 100.0,
 542             "y": 15.0
 543           },
 544           {
 545             "x": 185.0,
 546             "y": 15.0
 547           },
 548           {
 549             "x": 185.0,
 550             "y": 55.0
 551           }
 552         ]
 553       },
 554       {
 555         "pin1": {
 556           "compName": "Splitter#4",
 557           "pinName": "O3"
 558         },
 559         "pin2": {
 560           "compName": "_submodelinterface",
 561           "pinName": "_EZ"
 562         },
 563         "name": "unnamedWire#4",
 564         "path": [
 565           {
 566             "x": 210.0,
 567             "y": 45.0
 568           },
 569           {
 570             "x": 210.0,
 571             "y": 10.0
 572           },
 573           {
 574             "x": 50.0,
 575             "y": 10.0
 576           }
 577         ]
 578       },
 579       {
 580         "pin1": {
 581           "compName": "dff4_finewe#0",
 582           "pinName": "Q"
 583         },
 584         "pin2": {
 585           "compName": "WireCrossPoint#1",
 586           "pinName": ""
 587         },
 588         "name": "unnamedWire#5",
 589         "path": []
 590       },
 591       {
 592         "pin1": {
 593           "compName": "WireCrossPoint#1",
 594           "pinName": ""
 595         },
 596         "pin2": {
 597           "compName": "_submodelinterface",
 598           "pinName": "Q"
 599         },
 600         "name": "unnamedWire#6",
 601         "path": []
 602       },
 603       {
 604         "pin1": {
 605           "compName": "WireCrossPoint#1",
 606           "pinName": ""
 607         },
 608         "pin2": {
 609           "compName": "Splitter#9",
 610           "pinName": "I"
 611         },
 612         "name": "unnamedWire#7",
 613         "path": [
 614           {
 615             "x": 375.0,
 616             "y": 325.0
 617           },
 618           {
 619             "x": 40.0,
 620             "y": 325.0
 621           }
 622         ]
 623       },
 624       {
 625         "pin1": {
 626           "compName": "and#0",
 627           "pinName": "Y"
 628         },
 629         "pin2": {
 630           "compName": "Splitter#4",
 631           "pinName": "O2"
 632         },
 633         "name": "unnamedWire#8",
 634         "path": []
 635       },
 636       {
 637         "pin1": {
 638           "compName": "Splitter#4",
 639           "pinName": "I"
 640         },
 641         "pin2": {
 642           "compName": "dff4_finewe#0",
 643           "pinName": "_WE"
 644         },
 645         "name": "unnamedWire#9",
 646         "path": [
 647           {
 648             "x": 325.0,
 649             "y": 60.0
 650           },
 651           {
 652             "x": 325.0,
 653             "y": 110.0
 654           }
 655         ]
 656       },
 657       {
 658         "pin1": {
 659           "compName": "_submodelinterface",
 660           "pinName": "mu"
 661         },
 662         "pin2": {
 663           "compName": "mux1_4#1",
 664           "pinName": "I0"
 665         },
 666         "name": "unnamedWire#10",
 667         "path": [
 668           {
 669             "x": 10.0,
 670             "y": 50.0
 671           },
 672           {
 673             "x": 10.0,
 674             "y": 100.0
 675           }
 676         ]
 677       },
 678       {
 679         "pin1": {
 680           "compName": "_submodelinterface",
 681           "pinName": "Y"
 682         },
 683         "pin2": {
 684           "compName": "mux1_4#1",
 685           "pinName": "I1"
 686         },
 687         "name": "unnamedWire#11",
 688         "path": [
 689           {
 690             "x": 10.0,
 691             "y": 150.0
 692           },
 693           {
 694             "x": 10.0,
 695             "y": 130.0
 696           }
 697         ]
 698       },
 699       {
 700         "pin1": {
 701           "compName": "mux1_4#2",
 702           "pinName": "I1"
 703         },
 704         "pin2": {
 705           "compName": "mux1_4#3",
 706           "pinName": "Y"
 707         },
 708         "name": "unnamedWire#12",
 709         "path": [
 710           {
 711             "x": 175.0,
 712             "y": 130.0
 713           },
 714           {
 715             "x": 175.0,
 716             "y": 175.0
 717           },
 718           {
 719             "x": 245.0,
 720             "y": 175.0
 721           },
 722           {
 723             "x": 245.0,
 724             "y": 200.0
 725           }
 726         ]
 727       },
 728       {
 729         "pin1": {
 730           "compName": "mux1_4#2",
 731           "pinName": "Y"
 732         },
 733         "pin2": {
 734           "compName": "Splitter#0",
 735           "pinName": "I"
 736         },
 737         "name": "unnamedWire#13",
 738         "path": []
 739       },
 740       {
 741         "pin1": {
 742           "compName": "Splitter#8",
 743           "pinName": "O3"
 744         },
 745         "pin2": {
 746           "compName": "Splitter#0",
 747           "pinName": "O3"
 748         },
 749         "name": "unnamedWire#14",
 750         "path": []
 751       },
 752       {
 753         "pin1": {
 754           "compName": "mux1#0",
 755           "pinName": "Y"
 756         },
 757         "pin2": {
 758           "compName": "Splitter#8",
 759           "pinName": "O2"
 760         },
 761         "name": "unnamedWire#15",
 762         "path": [
 763           {
 764             "x": 305.0,
 765             "y": 130.0
 766           },
 767           {
 768             "x": 305.0,
 769             "y": 95.0
 770           }
 771         ]
 772       },
 773       {
 774         "pin1": {
 775           "compName": "Splitter#8",
 776           "pinName": "O1"
 777         },
 778         "pin2": {
 779           "compName": "Splitter#0",
 780           "pinName": "O1"
 781         },
 782         "name": "unnamedWire#16",
 783         "path": []
 784       },
 785       {
 786         "pin1": {
 787           "compName": "Splitter#0",
 788           "pinName": "O0"
 789         },
 790         "pin2": {
 791           "compName": "Splitter#8",
 792           "pinName": "O0"
 793         },
 794         "name": "unnamedWire#17",
 795         "path": []
 796       },
 797       {
 798         "pin1": {
 799           "compName": "Splitter#0",
 800           "pinName": "O2"
 801         },
 802         "pin2": {
 803           "compName": "mux1#0",
 804           "pinName": "I0"
 805         },
 806         "name": "unnamedWire#18",
 807         "path": [
 808           {
 809             "x": 255.0,
 810             "y": 95.0
 811           },
 812           {
 813             "x": 255.0,
 814             "y": 140.0
 815           }
 816         ]
 817       },
 818       {
 819         "pin1": {
 820           "compName": "WireCrossPoint#10",
 821           "pinName": ""
 822         },
 823         "pin2": {
 824           "compName": "mux1_4#3",
 825           "pinName": "S0"
 826         },
 827         "name": "unnamedWire#19",
 828         "path": []
 829       },
 830       {
 831         "pin1": {
 832           "compName": "_submodelinterface",
 833           "pinName": "MUX"
 834         },
 835         "pin2": {
 836           "compName": "Splitter#2",
 837           "pinName": "I"
 838         },
 839         "name": "unnamedWire#20",
 840         "path": []
 841       },
 842       {
 843         "pin1": {
 844           "compName": "WireCrossPoint#0",
 845           "pinName": ""
 846         },
 847         "pin2": {
 848           "compName": "WireCrossPoint#4",
 849           "pinName": ""
 850         },
 851         "name": "unnamedWire#21",
 852         "path": []
 853       },
 854       {
 855         "pin1": {
 856           "compName": "_submodelinterface",
 857           "pinName": "I"
 858         },
 859         "pin2": {
 860           "compName": "Splitter#3",
 861           "pinName": "I"
 862         },
 863         "name": "unnamedWire#22",
 864         "path": []
 865       },
 866       {
 867         "pin1": {
 868           "compName": "Splitter#3",
 869           "pinName": "O2"
 870         },
 871         "pin2": {
 872           "compName": "xor#0",
 873           "pinName": "B"
 874         },
 875         "name": "unnamedWire#23",
 876         "path": [
 877           {
 878             "x": 30.0,
 879             "y": 245.0
 880           },
 881           {
 882             "x": 30.0,
 883             "y": 205.0
 884           }
 885         ]
 886       },
 887       {
 888         "pin1": {
 889           "compName": "Splitter#2",
 890           "pinName": "O0"
 891         },
 892         "pin2": {
 893           "compName": "WireCrossPoint#0",
 894           "pinName": ""
 895         },
 896         "name": "unnamedWire#24",
 897         "path": [
 898           {
 899             "x": 20.0,
 900             "y": 360.0
 901           }
 902         ]
 903       },
 904       {
 905         "pin1": {
 906           "compName": "xor#0",
 907           "pinName": "A"
 908         },
 909         "pin2": {
 910           "compName": "WireCrossPoint#4",
 911           "pinName": ""
 912         },
 913         "name": "unnamedWire#25",
 914         "path": []
 915       },
 916       {
 917         "pin1": {
 918           "compName": "Splitter#8",
 919           "pinName": "I"
 920         },
 921         "pin2": {
 922           "compName": "dff4_finewe#0",
 923           "pinName": "D"
 924         },
 925         "name": "unnamedWire#26",
 926         "path": []
 927       },
 928       {
 929         "pin1": {
 930           "compName": "not4#0",
 931           "pinName": "Y"
 932         },
 933         "pin2": {
 934           "compName": "mux1_4#4",
 935           "pinName": "I1"
 936         },
 937         "name": "unnamedWire#27",
 938         "path": [
 939           {
 940             "x": 115.0,
 941             "y": 290.0
 942           },
 943           {
 944             "x": 115.0,
 945             "y": 270.0
 946           }
 947         ]
 948       },
 949       {
 950         "pin1": {
 951           "compName": "Splitter#6",
 952           "pinName": "I"
 953         },
 954         "pin2": {
 955           "compName": "not4#0",
 956           "pinName": "A"
 957         },
 958         "name": "unnamedWire#28",
 959         "path": []
 960       },
 961       {
 962         "pin1": {
 963           "compName": "Splitter#9",
 964           "pinName": "O3"
 965         },
 966         "pin2": {
 967           "compName": "Splitter#6",
 968           "pinName": "O3"
 969         },
 970         "name": "unnamedWire#29",
 971         "path": [
 972           {
 973             "x": 25.0,
 974             "y": 275.0
 975           }
 976         ]
 977       },
 978       {
 979         "pin1": {
 980           "compName": "WireCrossPoint#2",
 981           "pinName": ""
 982         },
 983         "pin2": {
 984           "compName": "Splitter#6",
 985           "pinName": "O2"
 986         },
 987         "name": "unnamedWire#30",
 988         "path": []
 989       },
 990       {
 991         "pin1": {
 992           "compName": "Splitter#9",
 993           "pinName": "O1"
 994         },
 995         "pin2": {
 996           "compName": "Splitter#6",
 997           "pinName": "O1"
 998         },
 999         "name": "unnamedWire#31",
1000         "path": [
1001           {
1002             "x": 45.0,
1003             "y": 295.0
1004           }
1005         ]
1006       },
1007       {
1008         "pin1": {
1009           "compName": "Splitter#9",
1010           "pinName": "O2"
1011         },
1012         "pin2": {
1013           "compName": "WireCrossPoint#2",
1014           "pinName": ""
1015         },
1016         "name": "unnamedWire#32",
1017         "path": []
1018       },
1019       {
1020         "pin1": {
1021           "compName": "WireCrossPoint#3",
1022           "pinName": ""
1023         },
1024         "pin2": {
1025           "compName": "Splitter#6",
1026           "pinName": "O0"
1027         },
1028         "name": "unnamedWire#33",
1029         "path": []
1030       },
1031       {
1032         "pin1": {
1033           "compName": "Splitter#9",
1034           "pinName": "O0"
1035         },
1036         "pin2": {
1037           "compName": "WireCrossPoint#3",
1038           "pinName": ""
1039         },
1040         "name": "unnamedWire#34",
1041         "path": []
1042       },
1043       {
1044         "pin1": {
1045           "compName": "WireCrossPoint#9",
1046           "pinName": ""
1047         },
1048         "pin2": {
1049           "compName": "Splitter#3",
1050           "pinName": "O3"
1051         },
1052         "name": "unnamedWire#35",
1053         "path": []
1054       },
1055       {
1056         "pin1": {
1057           "compName": "WireCrossPoint#2",
1058           "pinName": ""
1059         },
1060         "pin2": {
1061           "compName": "Splitter#7",
1062           "pinName": "O0"
1063         },
1064         "name": "unnamedWire#36",
1065         "path": [
1066           {
1067             "x": 35.0,
1068             "y": 265.0
1069           }
1070         ]
1071       },
1072       {
1073         "pin1": {
1074           "compName": "WireCrossPoint#3",
1075           "pinName": ""
1076         },
1077         "pin2": {
1078           "compName": "Splitter#7",
1079           "pinName": "O2"
1080         },
1081         "name": "unnamedWire#37",
1082         "path": [
1083           {
1084             "x": 55.0,
1085             "y": 245.0
1086           }
1087         ]
1088       },
1089       {
1090         "pin1": {
1091           "compName": "WireCrossPoint#5",
1092           "pinName": ""
1093         },
1094         "pin2": {
1095           "compName": "Splitter#7",
1096           "pinName": "O1"
1097         },
1098         "name": "unnamedWire#38",
1099         "path": []
1100       },
1101       {
1102         "pin1": {
1103           "compName": "WireCrossPoint#4",
1104           "pinName": ""
1105         },
1106         "pin2": {
1107           "compName": "WireCrossPoint#6",
1108           "pinName": ""
1109         },
1110         "name": "unnamedWire#39",
1111         "path": []
1112       },
1113       {
1114         "pin1": {
1115           "compName": "WireCrossPoint#0",
1116           "pinName": ""
1117         },
1118         "pin2": {
1119           "compName": "mux1_4#4",
1120           "pinName": "S0"
1121         },
1122         "name": "unnamedWire#40",
1123         "path": []
1124       },
1125       {
1126         "pin1": {
1127           "compName": "mux1_4#1",
1128           "pinName": "Y"
1129         },
1130         "pin2": {
1131           "compName": "mux1_4#0",
1132           "pinName": "I1"
1133         },
1134         "name": "unnamedWire#41",
1135         "path": []
1136       },
1137       {
1138         "pin1": {
1139           "compName": "WireCrossPoint#6",
1140           "pinName": ""
1141         },
1142         "pin2": {
1143           "compName": "WireCrossPoint#11",
1144           "pinName": ""
1145         },
1146         "name": "unnamedWire#42",
1147         "path": [
1148           {
1149             "x": 20.0,
1150             "y": 75.0
1151           }
1152         ]
1153       },
1154       {
1155         "pin1": {
1156           "compName": "mux1_4#0",
1157           "pinName": "Y"
1158         },
1159         "pin2": {
1160           "compName": "mux1_4#2",
1161           "pinName": "I0"
1162         },
1163         "name": "unnamedWire#43",
1164         "path": [
1165           {
1166             "x": 140.0,
1167             "y": 70.0
1168           },
1169           {
1170             "x": 140.0,
1171             "y": 100.0
1172           }
1173         ]
1174       },
1175       {
1176         "pin1": {
1177           "compName": "Splitter#2",
1178           "pinName": "O2"
1179         },
1180         "pin2": {
1181           "compName": "mux1_4#2",
1182           "pinName": "S0"
1183         },
1184         "name": "unnamedWire#44",
1185         "path": [
1186           {
1187             "x": 125.0,
1188             "y": 340.0
1189           },
1190           {
1191             "x": 125.0,
1192             "y": 140.0
1193           },
1194           {
1195             "x": 160.0,
1196             "y": 140.0
1197           },
1198           {
1199             "x": 160.0,
1200             "y": 85.0
1201           }
1202         ]
1203       },
1204       {
1205         "pin1": {
1206           "compName": "mux1_4#1",
1207           "pinName": "S0"
1208         },
1209         "pin2": {
1210           "compName": "WireCrossPoint#6",
1211           "pinName": ""
1212         },
1213         "name": "unnamedWire#45",
1214         "path": []
1215       },
1216       {
1217         "pin1": {
1218           "compName": "WireCrossPoint#11",
1219           "pinName": ""
1220         },
1221         "pin2": {
1222           "compName": "Splitter#5",
1223           "pinName": "O0"
1224         },
1225         "name": "unnamedWire#46",
1226         "path": []
1227       },
1228       {
1229         "pin1": {
1230           "compName": "WireCrossPoint#7",
1231           "pinName": ""
1232         },
1233         "pin2": {
1234           "compName": "WireCrossPoint#8",
1235           "pinName": ""
1236         },
1237         "name": "unnamedWire#47",
1238         "path": []
1239       },
1240       {
1241         "pin1": {
1242           "compName": "WireCrossPoint#8",
1243           "pinName": ""
1244         },
1245         "pin2": {
1246           "compName": "WireCrossPoint#11",
1247           "pinName": ""
1248         },
1249         "name": "unnamedWire#48",
1250         "path": []
1251       },
1252       {
1253         "pin1": {
1254           "compName": "WireCrossPoint#8",
1255           "pinName": ""
1256         },
1257         "pin2": {
1258           "compName": "Splitter#5",
1259           "pinName": "O1"
1260         },
1261         "name": "unnamedWire#49",
1262         "path": []
1263       },
1264       {
1265         "pin1": {
1266           "compName": "WireCrossPoint#7",
1267           "pinName": ""
1268         },
1269         "pin2": {
1270           "compName": "Splitter#5",
1271           "pinName": "O2"
1272         },
1273         "name": "unnamedWire#50",
1274         "path": []
1275       },
1276       {
1277         "pin1": {
1278           "compName": "WireCrossPoint#7",
1279           "pinName": ""
1280         },
1281         "pin2": {
1282           "compName": "Splitter#5",
1283           "pinName": "O3"
1284         },
1285         "name": "unnamedWire#51",
1286         "path": [
1287           {
1288             "x": 55.0,
1289             "y": 45.0
1290           }
1291         ]
1292       },
1293       {
1294         "pin1": {
1295           "compName": "WireCrossPoint#9",
1296           "pinName": ""
1297         },
1298         "pin2": {
1299           "compName": "Splitter#7",
1300           "pinName": "O3"
1301         },
1302         "name": "unnamedWire#52",
1303         "path": []
1304       },
1305       {
1306         "pin1": {
1307           "compName": "Splitter#3",
1308           "pinName": "O1"
1309         },
1310         "pin2": {
1311           "compName": "WireCrossPoint#5",
1312           "pinName": ""
1313         },
1314         "name": "unnamedWire#53",
1315         "path": []
1316       },
1317       {
1318         "pin1": {
1319           "compName": "Splitter#1",
1320           "pinName": "O3"
1321         },
1322         "pin2": {
1323           "compName": "WireCrossPoint#9",
1324           "pinName": ""
1325         },
1326         "name": "unnamedWire#54",
1327         "path": [
1328           {
1329             "x": 35.0,
1330             "y": 185.0
1331           }
1332         ]
1333       },
1334       {
1335         "pin1": {
1336           "compName": "xor#0",
1337           "pinName": "Y"
1338         },
1339         "pin2": {
1340           "compName": "Splitter#1",
1341           "pinName": "O2"
1342         },
1343         "name": "unnamedWire#55",
1344         "path": []
1345       },
1346       {
1347         "pin1": {
1348           "compName": "WireCrossPoint#5",
1349           "pinName": ""
1350         },
1351         "pin2": {
1352           "compName": "Splitter#1",
1353           "pinName": "O1"
1354         },
1355         "name": "unnamedWire#56",
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": "Splitter#1",
1370           "pinName": "O0"
1371         },
1372         "name": "unnamedWire#57",
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#3",
1387           "pinName": "I1"
1388         },
1389         "pin2": {
1390           "compName": "mux1_4#4",
1391           "pinName": "Y"
1392         },
1393         "name": "unnamedWire#58",
1394         "path": [
1395           {
1396             "x": 185.0,
1397             "y": 230.0
1398           },
1399           {
1400             "x": 185.0,
1401             "y": 240.0
1402           }
1403         ]
1404       },
1405       {
1406         "pin1": {
1407           "compName": "Splitter#1",
1408           "pinName": "I"
1409         },
1410         "pin2": {
1411           "compName": "mux1_4#3",
1412           "pinName": "I0"
1413         },
1414         "name": "unnamedWire#59",
1415         "path": []
1416       },
1417       {
1418         "pin1": {
1419           "compName": "Splitter#7",
1420           "pinName": "I"
1421         },
1422         "pin2": {
1423           "compName": "mux1_4#4",
1424           "pinName": "I0"
1425         },
1426         "name": "unnamedWire#60",
1427         "path": [
1428           {
1429             "x": 115.0,
1430             "y": 250.0
1431           },
1432           {
1433             "x": 115.0,
1434             "y": 240.0
1435           }
1436         ]
1437       },
1438       {
1439         "pin1": {
1440           "compName": "Splitter#2",
1441           "pinName": "O1"
1442         },
1443         "pin2": {
1444           "compName": "WireCrossPoint#10",
1445           "pinName": ""
1446         },
1447         "name": "unnamedWire#61",
1448         "path": [
1449           {
1450             "x": 120.0,
1451             "y": 350.0
1452           }
1453         ]
1454       },
1455       {
1456         "pin1": {
1457           "compName": "WireCrossPoint#10",
1458           "pinName": ""
1459         },
1460         "pin2": {
1461           "compName": "mux1_4#0",
1462           "pinName": "S0"
1463         },
1464         "name": "unnamedWire#62",
1465         "path": [
1466           {
1467             "x": 120.0,
1468             "y": 140.0
1469           },
1470           {
1471             "x": 80.0,
1472             "y": 140.0
1473           },
1474           {
1475             "x": 80.0,
1476             "y": 55.0
1477           }
1478         ]
1479       },
1480       {
1481         "pin1": {
1482           "compName": "WireCrossPoint#12",
1483           "pinName": ""
1484         },
1485         "pin2": {
1486           "compName": "NandGate#0",
1487           "pinName": "A"
1488         },
1489         "name": "unnamedWire#63",
1490         "path": []
1491       },
1492       {
1493         "pin1": {
1494           "compName": "_submodelinterface",
1495           "pinName": "COVD_EN"
1496         },
1497         "pin2": {
1498           "compName": "WireCrossPoint#13",
1499           "pinName": ""
1500         },
1501         "name": "unnamedWire#64",
1502         "path": [
1503           {
1504             "x": 300.0,
1505             "y": 30.0
1506           }
1507         ]
1508       },
1509       {
1510         "pin1": {
1511           "compName": "WireCrossPoint#13",
1512           "pinName": ""
1513         },
1514         "pin2": {
1515           "compName": "WireCrossPoint#12",
1516           "pinName": ""
1517         },
1518         "name": "unnamedWire#65",
1519         "path": [
1520           {
1521             "x": 155.0,
1522             "y": 30.0
1523           }
1524         ]
1525       },
1526       {
1527         "pin1": {
1528           "compName": "_submodelinterface",
1529           "pinName": "COVD_V"
1530         },
1531         "pin2": {
1532           "compName": "mux1#0",
1533           "pinName": "I1"
1534         },
1535         "name": "unnamedWire#66",
1536         "path": [
1537           {
1538             "x": 350.0,
1539             "y": 70.0
1540           },
1541           {
1542             "x": 250.0,
1543             "y": 70.0
1544           },
1545           {
1546             "x": 250.0,
1547             "y": 150.0
1548           }
1549         ]
1550       },
1551       {
1552         "pin1": {
1553           "compName": "NandGate#0",
1554           "pinName": "Y"
1555         },
1556         "pin2": {
1557           "compName": "and#0",
1558           "pinName": "B"
1559         },
1560         "name": "unnamedWire#67",
1561         "path": []
1562       },
1563       {
1564         "pin1": {
1565           "compName": "WireCrossPoint#12",
1566           "pinName": ""
1567         },
1568         "pin2": {
1569           "compName": "NandGate#0",
1570           "pinName": "B"
1571         },
1572         "name": "unnamedWire#68",
1573         "path": [
1574           {
1575             "x": 155.0,
1576             "y": 70.0
1577           }
1578         ]
1579       },
1580       {
1581         "pin1": {
1582           "compName": "WireCrossPoint#13",
1583           "pinName": ""
1584         },
1585         "pin2": {
1586           "compName": "mux1#0",
1587           "pinName": "S0"
1588         },
1589         "name": "unnamedWire#69",
1590         "path": [
1591           {
1592             "x": 260.0,
1593             "y": 130.0
1594           }
1595         ]
1596       },
1597       {
1598         "pin1": {
1599           "compName": "Splitter#5",
1600           "pinName": "I"
1601         },
1602         "pin2": {
1603           "compName": "mux1_4#0",
1604           "pinName": "I0"
1605         },
1606         "name": "unnamedWire#70",
1607         "path": [
1608           {
1609             "x": 75.0,
1610             "y": 60.0
1611           },
1612           {
1613             "x": 75.0,
1614             "y": 70.0
1615           }
1616         ]
1617       }
1618     ],
1619     "version": "0.1.1"
1620   },
1621   "symbolRendererSnippetID": "simpleRectangularLike",
1622   "symbolRendererParams": {
1623     "centerText": "MSR",
1624     "centerTextHeight": 5.0,
1625     "horizontalComponentCenter": 17.5,
1626     "pinLabelHeight": 3.5,
1627     "pinLabelMargin": 0.5
1628   },
1629   "outlineRendererSnippetID": "default",
1630   "highLevelStateHandlerSnippetID": "standard",
1631   "highLevelStateHandlerParams": {
1632     "subcomponentHighLevelStates": {},
1633     "atomicHighLevelStates": {
1634       "q": {
1635         "id": "delegating",
1636         "params": {
1637           "delegateTarget": "dff4_finewe#0",
1638           "subStateID": "q"
1639         }
1640       },
1641       "q1": {
1642         "id": "delegating",
1643         "params": {
1644           "delegateTarget": "dff4_finewe#0",
1645           "subStateID": "q1"
1646         }
1647       },
1648       "q2": {
1649         "id": "delegating",
1650         "params": {
1651           "delegateTarget": "dff4_finewe#0",
1652           "subStateID": "q2"
1653         }
1654       },
1655       "q3": {
1656         "id": "delegating",
1657         "params": {
1658           "delegateTarget": "dff4_finewe#0",
1659           "subStateID": "q3"
1660         }
1661       },
1662       "q4": {
1663         "id": "delegating",
1664         "params": {
1665           "delegateTarget": "dff4_finewe#0",
1666           "subStateID": "q4"
1667         }
1668       }
1669     }
1670   },
1671   "version": "0.1.5"
1672 }