mograsim.net Git - Mograsim.git/blob

   1 {
   2   "width": 35.0,
   3   "height": 60.0,
   4   "interfacePins": [
   5     {
   6       "location": {
   7         "x": 0.0,
   8         "y": 5.0
   9       },
  10       "name": "C",
  11       "logicWidth": 1,
  12       "usage": "INPUT"
  13     },
  14     {
  15       "location": {
  16         "x": 0.0,
  17         "y": 25.0
  18       },
  19       "name": "D1",
  20       "logicWidth": 1,
  21       "usage": "INPUT"
  22     },
  23     {
  24       "location": {
  25         "x": 0.0,
  26         "y": 35.0
  27       },
  28       "name": "D2",
  29       "logicWidth": 1,
  30       "usage": "INPUT"
  31     },
  32     {
  33       "location": {
  34         "x": 0.0,
  35         "y": 45.0
  36       },
  37       "name": "D3",
  38       "logicWidth": 1,
  39       "usage": "INPUT"
  40     },
  41     {
  42       "location": {
  43         "x": 0.0,
  44         "y": 55.0
  45       },
  46       "name": "D4",
  47       "logicWidth": 1,
  48       "usage": "INPUT"
  49     },
  50     {
  51       "location": {
  52         "x": 35.0,
  53         "y": 5.0
  54       },
  55       "name": "Q1",
  56       "logicWidth": 1,
  57       "usage": "OUTPUT"
  58     },
  59     {
  60       "location": {
  61         "x": 35.0,
  62         "y": 15.0
  63       },
  64       "name": "Q2",
  65       "logicWidth": 1,
  66       "usage": "OUTPUT"
  67     },
  68     {
  69       "location": {
  70         "x": 35.0,
  71         "y": 25.0
  72       },
  73       "name": "Q3",
  74       "logicWidth": 1,
  75       "usage": "OUTPUT"
  76     },
  77     {
  78       "location": {
  79         "x": 35.0,
  80         "y": 35.0
  81       },
  82       "name": "Q4",
  83       "logicWidth": 1,
  84       "usage": "OUTPUT"
  85     },
  86     {
  87       "location": {
  88         "x": 0.0,
  89         "y": 15.0
  90       },
  91       "name": "_WE",
  92       "logicWidth": 1,
  93       "usage": "INPUT"
  94     }
  95   ],
  96   "innerScale": 0.2,
  97   "submodel": {
  98     "components": [
  99       {
 100         "id": "mux1_4",
 101         "name": "DeserializedSubmodelComponent#0",
 102         "pos": {
 103           "x": 55.0,
 104           "y": 70.0
 105         }
 106       },
 107       {
 108         "id": "WireCrossPoint",
 109         "name": "WireCrossPoint#0",
 110         "pos": {
 111           "x": 104.0,
 112           "y": 24.0
 113         },
 114         "params": 1
 115       },
 116       {
 117         "id": "WireCrossPoint",
 118         "name": "WireCrossPoint#1",
 119         "pos": {
 120           "x": 104.0,
 121           "y": 74.0
 122         },
 123         "params": 1
 124       },
 125       {
 126         "id": "WireCrossPoint",
 127         "name": "WireCrossPoint#2",
 128         "pos": {
 129           "x": 104.0,
 130           "y": 124.0
 131         },
 132         "params": 1
 133       },
 134       {
 135         "id": "WireCrossPoint",
 136         "name": "WireCrossPoint#3",
 137         "pos": {
 138           "x": 169.0,
 139           "y": 24.0
 140         },
 141         "params": 1
 142       },
 143       {
 144         "id": "WireCrossPoint",
 145         "name": "WireCrossPoint#4",
 146         "pos": {
 147           "x": 164.0,
 148           "y": 74.0
 149         },
 150         "params": 1
 151       },
 152       {
 153         "id": "WireCrossPoint",
 154         "name": "WireCrossPoint#5",
 155         "pos": {
 156           "x": 159.0,
 157           "y": 124.0
 158         },
 159         "params": 1
 160       },
 161       {
 162         "id": "WireCrossPoint",
 163         "name": "WireCrossPoint#6",
 164         "pos": {
 165           "x": 154.0,
 166           "y": 174.0
 167         },
 168         "params": 1
 169       },
 170       {
 171         "id": "dff",
 172         "name": "dff#0",
 173         "pos": {
 174           "x": 115.0,
 175           "y": 20.0
 176         }
 177       },
 178       {
 179         "id": "dff",
 180         "name": "dff#1",
 181         "pos": {
 182           "x": 115.0,
 183           "y": 70.0
 184         }
 185       },
 186       {
 187         "id": "dff",
 188         "name": "dff#2",
 189         "pos": {
 190           "x": 115.0,
 191           "y": 120.0
 192         }
 193       },
 194       {
 195         "id": "dff",
 196         "name": "dff#3",
 197         "pos": {
 198           "x": 115.0,
 199           "y": 170.0
 200         }
 201       }
 202     ],
 203     "wires": [
 204       {
 205         "pin1": {
 206           "compName": "_submodelinterface",
 207           "pinName": "C"
 208         },
 209         "pin2": {
 210           "compName": "WireCrossPoint#0",
 211           "pinName": ""
 212         },
 213         "name": "unnamedWire#0",
 214         "path": []
 215       },
 216       {
 217         "pin1": {
 218           "compName": "DeserializedSubmodelComponent#0",
 219           "pinName": "Y1"
 220         },
 221         "pin2": {
 222           "compName": "dff#0",
 223           "pinName": "D"
 224         },
 225         "name": "unnamedWire#1",
 226         "path": [
 227           {
 228             "x": 100.0,
 229             "y": 75.0
 230           },
 231           {
 232             "x": 100.0,
 233             "y": 35.0
 234           }
 235         ]
 236       },
 237       {
 238         "pin1": {
 239           "compName": "_submodelinterface",
 240           "pinName": "D1"
 241         },
 242         "pin2": {
 243           "compName": "DeserializedSubmodelComponent#0",
 244           "pinName": "I0_1"
 245         },
 246         "name": "unnamedWire#10",
 247         "path": [
 248           {
 249             "x": 10.0,
 250             "y": 125.0
 251           },
 252           {
 253             "x": 10.0,
 254             "y": 85.0
 255           }
 256         ]
 257       },
 258       {
 259         "pin1": {
 260           "compName": "_submodelinterface",
 261           "pinName": "D2"
 262         },
 263         "pin2": {
 264           "compName": "DeserializedSubmodelComponent#0",
 265           "pinName": "I0_2"
 266         },
 267         "name": "unnamedWire#11",
 268         "path": [
 269           {
 270             "x": 15.0,
 271             "y": 175.0
 272           },
 273           {
 274             "x": 15.0,
 275             "y": 95.0
 276           }
 277         ]
 278       },
 279       {
 280         "pin1": {
 281           "compName": "_submodelinterface",
 282           "pinName": "D3"
 283         },
 284         "pin2": {
 285           "compName": "DeserializedSubmodelComponent#0",
 286           "pinName": "I0_3"
 287         },
 288         "name": "unnamedWire#12",
 289         "path": [
 290           {
 291             "x": 20.0,
 292             "y": 225.0
 293           },
 294           {
 295             "x": 20.0,
 296             "y": 105.0
 297           }
 298         ]
 299       },
 300       {
 301         "pin1": {
 302           "compName": "dff#0",
 303           "pinName": "Q"
 304         },
 305         "pin2": {
 306           "compName": "WireCrossPoint#3",
 307           "pinName": ""
 308         },
 309         "name": "unnamedWire#13",
 310         "path": []
 311       },
 312       {
 313         "pin1": {
 314           "compName": "WireCrossPoint#3",
 315           "pinName": ""
 316         },
 317         "pin2": {
 318           "compName": "_submodelinterface",
 319           "pinName": "Q1"
 320         },
 321         "name": "unnamedWire#14",
 322         "path": []
 323       },
 324       {
 325         "pin1": {
 326           "compName": "_submodelinterface",
 327           "pinName": "Q2"
 328         },
 329         "pin2": {
 330           "compName": "WireCrossPoint#4",
 331           "pinName": ""
 332         },
 333         "name": "unnamedWire#15",
 334         "path": []
 335       },
 336       {
 337         "pin1": {
 338           "compName": "WireCrossPoint#4",
 339           "pinName": ""
 340         },
 341         "pin2": {
 342           "compName": "dff#1",
 343           "pinName": "Q"
 344         },
 345         "name": "unnamedWire#16",
 346         "path": []
 347       },
 348       {
 349         "pin1": {
 350           "compName": "_submodelinterface",
 351           "pinName": "D4"
 352         },
 353         "pin2": {
 354           "compName": "DeserializedSubmodelComponent#0",
 355           "pinName": "I0_4"
 356         },
 357         "name": "unnamedWire#17",
 358         "path": [
 359           {
 360             "x": 25.0,
 361             "y": 275.0
 362           },
 363           {
 364             "x": 25.0,
 365             "y": 115.0
 366           }
 367         ]
 368       },
 369       {
 370         "pin1": {
 371           "compName": "dff#2",
 372           "pinName": "Q"
 373         },
 374         "pin2": {
 375           "compName": "WireCrossPoint#5",
 376           "pinName": ""
 377         },
 378         "name": "unnamedWire#18",
 379         "path": []
 380       },
 381       {
 382         "pin1": {
 383           "compName": "WireCrossPoint#5",
 384           "pinName": ""
 385         },
 386         "pin2": {
 387           "compName": "_submodelinterface",
 388           "pinName": "Q3"
 389         },
 390         "name": "unnamedWire#19",
 391         "path": []
 392       },
 393       {
 394         "pin1": {
 395           "compName": "DeserializedSubmodelComponent#0",
 396           "pinName": "Y2"
 397         },
 398         "pin2": {
 399           "compName": "dff#1",
 400           "pinName": "D"
 401         },
 402         "name": "unnamedWire#2",
 403         "path": []
 404       },
 405       {
 406         "pin1": {
 407           "compName": "WireCrossPoint#6",
 408           "pinName": ""
 409         },
 410         "pin2": {
 411           "compName": "_submodelinterface",
 412           "pinName": "Q4"
 413         },
 414         "name": "unnamedWire#20",
 415         "path": []
 416       },
 417       {
 418         "pin1": {
 419           "compName": "WireCrossPoint#6",
 420           "pinName": ""
 421         },
 422         "pin2": {
 423           "compName": "dff#3",
 424           "pinName": "Q"
 425         },
 426         "name": "unnamedWire#21",
 427         "path": []
 428       },
 429       {
 430         "pin1": {
 431           "compName": "DeserializedSubmodelComponent#0",
 432           "pinName": "Y3"
 433         },
 434         "pin2": {
 435           "compName": "dff#2",
 436           "pinName": "D"
 437         },
 438         "name": "unnamedWire#22",
 439         "path": [
 440           {
 441             "x": 100.0,
 442             "y": 95.0
 443           },
 444           {
 445             "x": 100.0,
 446             "y": 135.0
 447           }
 448         ]
 449       },
 450       {
 451         "pin1": {
 452           "compName": "DeserializedSubmodelComponent#0",
 453           "pinName": "Y4"
 454         },
 455         "pin2": {
 456           "compName": "dff#3",
 457           "pinName": "D"
 458         },
 459         "name": "unnamedWire#23",
 460         "path": [
 461           {
 462             "x": 95.0,
 463             "y": 105.0
 464           },
 465           {
 466             "x": 95.0,
 467             "y": 185.0
 468           }
 469         ]
 470       },
 471       {
 472         "pin1": {
 473           "compName": "WireCrossPoint#3",
 474           "pinName": ""
 475         },
 476         "pin2": {
 477           "compName": "DeserializedSubmodelComponent#0",
 478           "pinName": "I1_1"
 479         },
 480         "name": "unnamedWire#24",
 481         "path": [
 482           {
 483             "x": 170.0,
 484             "y": 205.0
 485           },
 486           {
 487             "x": 50.0,
 488             "y": 205.0
 489           },
 490           {
 491             "x": 50.0,
 492             "y": 125.0
 493           }
 494         ]
 495       },
 496       {
 497         "pin1": {
 498           "compName": "WireCrossPoint#4",
 499           "pinName": ""
 500         },
 501         "pin2": {
 502           "compName": "DeserializedSubmodelComponent#0",
 503           "pinName": "I1_2"
 504         },
 505         "name": "unnamedWire#25",
 506         "path": [
 507           {
 508             "x": 165.0,
 509             "y": 210.0
 510           },
 511           {
 512             "x": 45.0,
 513             "y": 210.0
 514           },
 515           {
 516             "x": 45.0,
 517             "y": 135.0
 518           }
 519         ]
 520       },
 521       {
 522         "pin1": {
 523           "compName": "WireCrossPoint#5",
 524           "pinName": ""
 525         },
 526         "pin2": {
 527           "compName": "DeserializedSubmodelComponent#0",
 528           "pinName": "I1_3"
 529         },
 530         "name": "unnamedWire#26",
 531         "path": [
 532           {
 533             "x": 160.0,
 534             "y": 215.0
 535           },
 536           {
 537             "x": 40.0,
 538             "y": 215.0
 539           },
 540           {
 541             "x": 40.0,
 542             "y": 145.0
 543           }
 544         ]
 545       },
 546       {
 547         "pin1": {
 548           "compName": "WireCrossPoint#6",
 549           "pinName": ""
 550         },
 551         "pin2": {
 552           "compName": "WireCrossPoint#6",
 553           "pinName": ""
 554         },
 555         "name": "unnamedWire#27",
 556         "path": []
 557       },
 558       {
 559         "pin1": {
 560           "compName": "WireCrossPoint#6",
 561           "pinName": ""
 562         },
 563         "pin2": {
 564           "compName": "DeserializedSubmodelComponent#0",
 565           "pinName": "I1_4"
 566         },
 567         "name": "unnamedWire#28",
 568         "path": [
 569           {
 570             "x": 155.0,
 571             "y": 220.0
 572           },
 573           {
 574             "x": 35.0,
 575             "y": 220.0
 576           },
 577           {
 578             "x": 35.0,
 579             "y": 155.0
 580           }
 581         ]
 582       },
 583       {
 584         "pin1": {
 585           "compName": "WireCrossPoint#0",
 586           "pinName": ""
 587         },
 588         "pin2": {
 589           "compName": "dff#0",
 590           "pinName": "C"
 591         },
 592         "name": "unnamedWire#3",
 593         "path": []
 594       },
 595       {
 596         "pin1": {
 597           "compName": "WireCrossPoint#0",
 598           "pinName": ""
 599         },
 600         "pin2": {
 601           "compName": "WireCrossPoint#1",
 602           "pinName": ""
 603         },
 604         "name": "unnamedWire#4",
 605         "path": []
 606       },
 607       {
 608         "pin1": {
 609           "compName": "WireCrossPoint#1",
 610           "pinName": ""
 611         },
 612         "pin2": {
 613           "compName": "dff#1",
 614           "pinName": "C"
 615         },
 616         "name": "unnamedWire#5",
 617         "path": []
 618       },
 619       {
 620         "pin1": {
 621           "compName": "WireCrossPoint#1",
 622           "pinName": ""
 623         },
 624         "pin2": {
 625           "compName": "WireCrossPoint#2",
 626           "pinName": ""
 627         },
 628         "name": "unnamedWire#6",
 629         "path": []
 630       },
 631       {
 632         "pin1": {
 633           "compName": "WireCrossPoint#2",
 634           "pinName": ""
 635         },
 636         "pin2": {
 637           "compName": "dff#2",
 638           "pinName": "C"
 639         },
 640         "name": "unnamedWire#7",
 641         "path": []
 642       },
 643       {
 644         "pin1": {
 645           "compName": "WireCrossPoint#2",
 646           "pinName": ""
 647         },
 648         "pin2": {
 649           "compName": "dff#3",
 650           "pinName": "C"
 651         },
 652         "name": "unnamedWire#8",
 653         "path": [
 654           {
 655             "x": 105.0,
 656             "y": 175.0
 657           }
 658         ]
 659       },
 660       {
 661         "pin1": {
 662           "compName": "_submodelinterface",
 663           "pinName": "_WE"
 664         },
 665         "pin2": {
 666           "compName": "DeserializedSubmodelComponent#0",
 667           "pinName": "S0"
 668         },
 669         "name": "unnamedWire#9",
 670         "path": []
 671       }
 672     ],
 673     "version": "0.1.1"
 674   },
 675   "symbolRendererSnippetID": "simpleRectangularLike",
 676   "symbolRendererParams": {
 677     "centerText": "D flip flop\n4 bit",
 678     "centerTextHeight": 5.0,
 679     "horizontalComponentCenter": 17.5,
 680     "pinLabelHeight": 3.5,
 681     "pinLabelMargin": 0.5
 682   },
 683   "outlineRendererSnippetID": "default",
 684   "highLevelStateHandlerSnippetID": "standard",
 685   "highLevelStateHandlerParams": {
 686     "subcomponentHighLevelStates": {},
 687     "atomicHighLevelStates": {
 688       "q1": {
 689         "id": "delegating",
 690         "params": {
 691           "delegateTarget": "dff#0",
 692           "subStateID": "q"
 693         }
 694       },
 695       "q2": {
 696         "id": "delegating",
 697         "params": {
 698           "delegateTarget": "dff#1",
 699           "subStateID": "q"
 700         }
 701       },
 702       "q": {
 703         "id": "bitVectorSplitting",
 704         "params": {
 705           "vectorPartTargets": [
 706             "q1",
 707             "q2",
 708             "q3",
 709             "q4"
 710           ],
 711           "vectorPartLengthes": [
 712             1,
 713             1,
 714             1,
 715             1
 716           ]
 717         }
 718       },
 719       "q3": {
 720         "id": "delegating",
 721         "params": {
 722           "delegateTarget": "dff#2",
 723           "subStateID": "q"
 724         }
 725       },
 726       "q4": {
 727         "id": "delegating",
 728         "params": {
 729           "delegateTarget": "dff#3",
 730           "subStateID": "q"
 731         }
 732       }
 733     }
 734   },
 735   "version": "0.1.5"
 736 }