"submodel": {
"components": [
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#10",
- "pos": {
- "x": 175.0,
- "y": 170.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#11",
- "pos": {
- "x": 130.0,
- "y": 160.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#12",
- "pos": {
- "x": 130.0,
- "y": 130.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#13",
- "pos": {
- "x": 175.0,
- "y": 80.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#14",
- "pos": {
- "x": 175.0,
- "y": 110.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#15",
- "pos": {
- "x": 130.0,
- "y": 100.0
- }
- },
- {
- "id": "mux1_12",
- "name": "DeserializedSubmodelComponent#17",
- "pos": {
- "x": 15.0,
- "y": 90.0
- }
- },
- {
- "id": "dff",
- "name": "DeserializedSubmodelComponent#4",
+ "id": "Splitter",
+ "name": "Splitter#0",
"pos": {
- "x": 175.0,
- "y": 20.0
+ "x": 70.0,
+ "y": 65.0
+ },
+ "params": {
+ "logicWidth": 12,
+ "orientation": "RIGHT"
}
},
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#5",
+ "id": "Splitter",
+ "name": "Splitter#1",
"pos": {
- "x": 175.0,
- "y": 50.0
+ "x": 250.0,
+ "y": 45.0
+ },
+ "params": {
+ "logicWidth": 12,
+ "orientation": "LEFT"
}
},
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#6",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#0",
"pos": {
- "x": 130.0,
- "y": 10.0
- }
+ "x": 124.0,
+ "y": 14.0
+ },
+ "params": 1
},
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#7",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#1",
"pos": {
- "x": 130.0,
- "y": 40.0
- }
+ "x": 124.0,
+ "y": 44.0
+ },
+ "params": 1
},
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#8",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#10",
"pos": {
- "x": 130.0,
- "y": 70.0
- }
+ "x": 169.0,
+ "y": 114.0
+ },
+ "params": 1
},
{
- "id": "dff",
- "name": "DeserializedSubmodelComponent#9",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#2",
"pos": {
- "x": 175.0,
- "y": 140.0
- }
+ "x": 124.0,
+ "y": 104.0
+ },
+ "params": 1
},
{
- "id": "Merger",
- "name": "Merger#0",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#3",
"pos": {
- "x": 250.0,
- "y": 45.0
+ "x": 124.0,
+ "y": 134.0
},
- "params": 12
+ "params": 1
},
{
- "id": "Splitter",
- "name": "Splitter#0",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#4",
"pos": {
- "x": 70.0,
- "y": 65.0
+ "x": 124.0,
+ "y": 74.0
},
- "params": 12
+ "params": 1
},
{
- "id": "TextComponent",
- "name": "TextComponent#0",
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#5",
"pos": {
- "x": -35.0,
- "y": -5.0
+ "x": 264.0,
+ "y": 99.0
},
- "params": "a"
+ "params": 12
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#11",
+ "name": "WireCrossPoint#6",
"pos": {
"x": 169.0,
"y": 54.0
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#12",
+ "name": "WireCrossPoint#7",
"pos": {
"x": 169.0,
"y": 144.0
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#13",
+ "name": "WireCrossPoint#8",
"pos": {
"x": 169.0,
"y": 24.0
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#14",
+ "name": "WireCrossPoint#9",
"pos": {
"x": 169.0,
"y": 84.0
"params": 1
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#15",
+ "id": "dff",
+ "name": "dff#0",
"pos": {
- "x": 169.0,
- "y": 114.0
- },
- "params": 1
+ "x": 175.0,
+ "y": 20.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#2",
+ "id": "dff",
+ "name": "dff#1",
"pos": {
- "x": 124.0,
- "y": 14.0
- },
- "params": 1
+ "x": 175.0,
+ "y": 50.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#3",
+ "id": "dff",
+ "name": "dff#10",
"pos": {
- "x": 124.0,
- "y": 44.0
- },
- "params": 1
+ "x": 175.0,
+ "y": 110.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#5",
+ "id": "dff",
+ "name": "dff#11",
"pos": {
- "x": 124.0,
- "y": 104.0
- },
- "params": 1
+ "x": 130.0,
+ "y": 100.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#6",
+ "id": "dff",
+ "name": "dff#2",
"pos": {
- "x": 124.0,
- "y": 134.0
- },
- "params": 1
+ "x": 130.0,
+ "y": 10.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#7",
+ "id": "dff",
+ "name": "dff#3",
"pos": {
- "x": 124.0,
- "y": 74.0
- },
- "params": 1
+ "x": 130.0,
+ "y": 40.0
+ }
},
{
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#8",
+ "id": "dff",
+ "name": "dff#4",
"pos": {
- "x": 264.0,
- "y": 99.0
- },
- "params": 12
+ "x": 130.0,
+ "y": 70.0
+ }
+ },
+ {
+ "id": "dff",
+ "name": "dff#5",
+ "pos": {
+ "x": 175.0,
+ "y": 140.0
+ }
+ },
+ {
+ "id": "dff",
+ "name": "dff#6",
+ "pos": {
+ "x": 175.0,
+ "y": 170.0
+ }
+ },
+ {
+ "id": "dff",
+ "name": "dff#7",
+ "pos": {
+ "x": 130.0,
+ "y": 160.0
+ }
+ },
+ {
+ "id": "dff",
+ "name": "dff#8",
+ "pos": {
+ "x": 130.0,
+ "y": 130.0
+ }
+ },
+ {
+ "id": "dff",
+ "name": "dff#9",
+ "pos": {
+ "x": 175.0,
+ "y": 80.0
+ }
+ },
+ {
+ "id": "mux1_12",
+ "name": "mux1_12#0",
+ "pos": {
+ "x": 15.0,
+ "y": 90.0
+ }
}
],
"wires": [
{
"pin1": {
- "compName": "WireCrossPoint#2",
+ "compName": "WireCrossPoint#0",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#13",
+ "compName": "WireCrossPoint#8",
"pinName": ""
},
"name": "unnamedWire#0",
},
{
"pin1": {
- "compName": "WireCrossPoint#2",
+ "compName": "WireCrossPoint#0",
"pinName": ""
},
"pin2": {
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#15",
+ "compName": "dff#11",
"pinName": "D"
},
"pin2": {
"pinName": "O4"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#14",
+ "compName": "dff#10",
"pinName": "D"
},
"name": "unnamedWire#11",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#12",
+ "compName": "dff#8",
"pinName": "D"
},
"pin2": {
"pinName": "O2"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#9",
+ "compName": "dff#5",
"pinName": "D"
},
"name": "unnamedWire#13",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#11",
+ "compName": "dff#7",
"pinName": "D"
},
"pin2": {
"pinName": "O0"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#10",
+ "compName": "dff#6",
"pinName": "D"
},
"name": "unnamedWire#15",
"pinName": "WE"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#17",
+ "compName": "mux1_12#0",
"pinName": "S"
},
"name": "unnamedWire#16",
"pinName": "D"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#17",
+ "compName": "mux1_12#0",
"pinName": "I1"
},
"name": "unnamedWire#17",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#17",
+ "compName": "mux1_12#0",
"pinName": "Y"
},
"pin2": {
},
{
"pin1": {
- "compName": "WireCrossPoint#2",
+ "compName": "WireCrossPoint#0",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#6",
+ "compName": "dff#2",
"pinName": "C"
},
"name": "unnamedWire#21",
},
{
"pin1": {
- "compName": "WireCrossPoint#2",
+ "compName": "WireCrossPoint#0",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#3",
+ "compName": "WireCrossPoint#1",
"pinName": ""
},
"name": "unnamedWire#22",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#7",
+ "compName": "dff#3",
"pinName": "C"
},
"pin2": {
- "compName": "WireCrossPoint#3",
+ "compName": "WireCrossPoint#1",
"pinName": ""
},
"name": "unnamedWire#23",
},
{
"pin1": {
- "compName": "WireCrossPoint#3",
+ "compName": "WireCrossPoint#1",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#7",
+ "compName": "WireCrossPoint#4",
"pinName": ""
},
"name": "unnamedWire#24",
},
{
"pin1": {
- "compName": "WireCrossPoint#7",
+ "compName": "WireCrossPoint#4",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#8",
+ "compName": "dff#4",
"pinName": "C"
},
"name": "unnamedWire#25",
},
{
"pin1": {
- "compName": "WireCrossPoint#7",
+ "compName": "WireCrossPoint#4",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#5",
+ "compName": "WireCrossPoint#2",
"pinName": ""
},
"name": "unnamedWire#26",
},
{
"pin1": {
- "compName": "WireCrossPoint#5",
+ "compName": "WireCrossPoint#2",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#15",
+ "compName": "dff#11",
"pinName": "C"
},
"name": "unnamedWire#27",
},
{
"pin1": {
- "compName": "WireCrossPoint#5",
+ "compName": "WireCrossPoint#2",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#6",
+ "compName": "WireCrossPoint#3",
"pinName": ""
},
"name": "unnamedWire#28",
},
{
"pin1": {
- "compName": "WireCrossPoint#6",
+ "compName": "WireCrossPoint#3",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#12",
+ "compName": "dff#8",
"pinName": "C"
},
"name": "unnamedWire#29",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#17",
+ "compName": "mux1_12#0",
"pinName": "I0"
},
"pin2": {
- "compName": "WireCrossPoint#8",
+ "compName": "WireCrossPoint#5",
"pinName": ""
},
"name": "unnamedWire#3",
},
{
"pin1": {
- "compName": "WireCrossPoint#6",
+ "compName": "WireCrossPoint#3",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#11",
+ "compName": "dff#7",
"pinName": "C"
},
"name": "unnamedWire#30",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#10",
+ "compName": "dff#6",
"pinName": "C"
},
"pin2": {
- "compName": "WireCrossPoint#12",
+ "compName": "WireCrossPoint#7",
"pinName": ""
},
"name": "unnamedWire#31",
},
{
"pin1": {
- "compName": "WireCrossPoint#12",
+ "compName": "WireCrossPoint#7",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#9",
+ "compName": "dff#5",
"pinName": "C"
},
"name": "unnamedWire#32",
},
{
"pin1": {
- "compName": "WireCrossPoint#12",
+ "compName": "WireCrossPoint#7",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#15",
+ "compName": "WireCrossPoint#10",
"pinName": ""
},
"name": "unnamedWire#33",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#14",
+ "compName": "dff#10",
"pinName": "C"
},
"pin2": {
- "compName": "WireCrossPoint#15",
+ "compName": "WireCrossPoint#10",
"pinName": ""
},
"name": "unnamedWire#34",
},
{
"pin1": {
- "compName": "WireCrossPoint#14",
+ "compName": "WireCrossPoint#9",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#15",
+ "compName": "WireCrossPoint#10",
"pinName": ""
},
"name": "unnamedWire#35",
},
{
"pin1": {
- "compName": "WireCrossPoint#14",
+ "compName": "WireCrossPoint#9",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#13",
+ "compName": "dff#9",
"pinName": "C"
},
"name": "unnamedWire#36",
},
{
"pin1": {
- "compName": "WireCrossPoint#14",
+ "compName": "WireCrossPoint#9",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#11",
+ "compName": "WireCrossPoint#6",
"pinName": ""
},
"name": "unnamedWire#37",
},
{
"pin1": {
- "compName": "WireCrossPoint#11",
+ "compName": "WireCrossPoint#6",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#5",
+ "compName": "dff#1",
"pinName": "C"
},
"name": "unnamedWire#38",
},
{
"pin1": {
- "compName": "WireCrossPoint#13",
+ "compName": "WireCrossPoint#8",
"pinName": ""
},
"pin2": {
- "compName": "WireCrossPoint#11",
+ "compName": "WireCrossPoint#6",
"pinName": ""
},
"name": "unnamedWire#39",
"pinName": "O11"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#6",
+ "compName": "dff#2",
"pinName": "D"
},
"name": "unnamedWire#4",
},
{
"pin1": {
- "compName": "WireCrossPoint#13",
+ "compName": "WireCrossPoint#8",
"pinName": ""
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#4",
+ "compName": "dff#0",
"pinName": "C"
},
"name": "unnamedWire#40",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#4",
+ "compName": "dff#0",
"pinName": "D"
},
"pin2": {
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I11"
+ "compName": "Splitter#1",
+ "pinName": "O11"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#6",
+ "compName": "dff#2",
"pinName": "Q"
},
"name": "unnamedWire#53",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#4",
+ "compName": "dff#0",
"pinName": "Q"
},
"pin2": {
- "compName": "Merger#0",
- "pinName": "I10"
+ "compName": "Splitter#1",
+ "pinName": "O10"
},
"name": "unnamedWire#54",
"path": [
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I9"
+ "compName": "Splitter#1",
+ "pinName": "O9"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#7",
+ "compName": "dff#3",
"pinName": "Q"
},
"name": "unnamedWire#55",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#5",
+ "compName": "dff#1",
"pinName": "Q"
},
"pin2": {
- "compName": "Merger#0",
- "pinName": "I8"
+ "compName": "Splitter#1",
+ "pinName": "O8"
},
"name": "unnamedWire#56",
"path": [
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I7"
+ "compName": "Splitter#1",
+ "pinName": "O7"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#8",
+ "compName": "dff#4",
"pinName": "Q"
},
"name": "unnamedWire#57",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#13",
+ "compName": "dff#9",
"pinName": "Q"
},
"pin2": {
- "compName": "Merger#0",
- "pinName": "I6"
+ "compName": "Splitter#1",
+ "pinName": "O6"
},
"name": "unnamedWire#58",
"path": [
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I5"
+ "compName": "Splitter#1",
+ "pinName": "O5"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#15",
+ "compName": "dff#11",
"pinName": "Q"
},
"name": "unnamedWire#59",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#7",
+ "compName": "dff#3",
"pinName": "D"
},
"pin2": {
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I4"
+ "compName": "Splitter#1",
+ "pinName": "O4"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#14",
+ "compName": "dff#10",
"pinName": "Q"
},
"name": "unnamedWire#60",
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I3"
+ "compName": "Splitter#1",
+ "pinName": "O3"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#12",
+ "compName": "dff#8",
"pinName": "Q"
},
"name": "unnamedWire#61",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#9",
+ "compName": "dff#5",
"pinName": "Q"
},
"pin2": {
- "compName": "Merger#0",
- "pinName": "I2"
+ "compName": "Splitter#1",
+ "pinName": "O2"
},
"name": "unnamedWire#62",
"path": [
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "I1"
+ "compName": "Splitter#1",
+ "pinName": "O1"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#11",
+ "compName": "dff#7",
"pinName": "Q"
},
"name": "unnamedWire#63",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#10",
+ "compName": "dff#6",
"pinName": "Q"
},
"pin2": {
- "compName": "Merger#0",
- "pinName": "I0"
+ "compName": "Splitter#1",
+ "pinName": "O0"
},
"name": "unnamedWire#64",
"path": [
},
{
"pin1": {
- "compName": "Merger#0",
- "pinName": "O"
+ "compName": "Splitter#1",
+ "pinName": "I"
},
"pin2": {
- "compName": "WireCrossPoint#8",
+ "compName": "WireCrossPoint#5",
"pinName": ""
},
"name": "unnamedWire#65",
},
{
"pin1": {
- "compName": "WireCrossPoint#8",
+ "compName": "WireCrossPoint#5",
"pinName": ""
},
"pin2": {
"pinName": "O8"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#5",
+ "compName": "dff#1",
"pinName": "D"
},
"name": "unnamedWire#7",
},
{
"pin1": {
- "compName": "DeserializedSubmodelComponent#8",
+ "compName": "dff#4",
"pinName": "D"
},
"pin2": {
"pinName": "O6"
},
"pin2": {
- "compName": "DeserializedSubmodelComponent#13",
+ "compName": "dff#9",
"pinName": "D"
},
"name": "unnamedWire#9",
"pinLabelMargin": 0.5
},
"outlineRendererSnippetID": "default",
- "highLevelStateHandlerSnippetID": "default",
+ "highLevelStateHandlerSnippetID": "standard",
+ "highLevelStateHandlerParams": {
+ "subcomponentHighLevelStates": {},
+ "atomicHighLevelStates": {
+ "q": {
+ "id": "bitVectorSplitting",
+ "params": {
+ "vectorPartTargets": [
+ "q12",
+ "q11",
+ "q10",
+ "q9",
+ "q8",
+ "q7",
+ "q6",
+ "q5",
+ "q4",
+ "q3",
+ "q2",
+ "q1"
+ ],
+ "vectorPartLengthes": [
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1,
+ 1
+ ]
+ }
+ },
+ "q1": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#6",
+ "subStateID": "q"
+ }
+ },
+ "q10": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#3",
+ "subStateID": "q"
+ }
+ },
+ "q11": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#0",
+ "subStateID": "q"
+ }
+ },
+ "q12": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#2",
+ "subStateID": "q"
+ }
+ },
+ "q2": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#7",
+ "subStateID": "q"
+ }
+ },
+ "q3": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#5",
+ "subStateID": "q"
+ }
+ },
+ "q4": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#8",
+ "subStateID": "q"
+ }
+ },
+ "q5": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#10",
+ "subStateID": "q"
+ }
+ },
+ "q6": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#11",
+ "subStateID": "q"
+ }
+ },
+ "q7": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#9",
+ "subStateID": "q"
+ }
+ },
+ "q8": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#4",
+ "subStateID": "q"
+ }
+ },
+ "q9": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff#1",
+ "subStateID": "q"
+ }
+ }
+ }
+ },
"version": "0.1.5"
}
\ No newline at end of file