"innerScale": 0.4,
"subComps": [
{
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#1",
"pos": {
"x": 14.0,
"y": 71.5
},
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#1",
"params": 1
},
{
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#0",
"pos": {
"x": 14.0,
"y": 46.5
},
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#0",
"params": 1
},
{
+ "id": "WireCrossPoint",
+ "name": "WireCrossPoint#2",
"pos": {
"x": 14.0,
"y": 96.5
},
- "id": "WireCrossPoint",
- "name": "WireCrossPoint#2",
"params": 1
},
{
+ "id": "GUIdlatch",
+ "name": "GUIdlatch#1",
"pos": {
"x": 30.0,
"y": 32.5
- },
- "id": "GUIdlatch",
- "name": "GUIdlatch#1"
+ }
},
{
+ "id": "GUIdlatch",
+ "name": "GUIdlatch#0",
"pos": {
"x": 30.0,
"y": 7.5
- },
- "id": "GUIdlatch",
- "name": "GUIdlatch#0"
+ }
},
{
+ "id": "GUIdlatch",
+ "name": "GUIdlatch#3",
"pos": {
"x": 30.0,
"y": 82.5
- },
- "id": "GUIdlatch",
- "name": "GUIdlatch#3"
+ }
},
{
+ "id": "GUIdlatch",
+ "name": "GUIdlatch#2",
"pos": {
"x": 30.0,
"y": 57.5
- },
- "id": "GUIdlatch",
- "name": "GUIdlatch#2"
+ }
}
],
"innerWires": [
{
"pin1": {
- "compName": "_submodelinterface",
- "pinName": "C"
- },
- "pin2": {
- "compName": "WireCrossPoint#2",
- "pinName": ""
- },
- "path": [
- {
- "x": 15.0,
- "y": 112.5
- }
- ]
- },
- {
- "pin1": {
- "compName": "WireCrossPoint#2",
- "pinName": ""
+ "compName": "GUIdlatch#3",
+ "pinName": "Q"
},
"pin2": {
- "compName": "GUIdlatch#3",
- "pinName": "E"
+ "compName": "_submodelinterface",
+ "pinName": "Q4"
},
+ "name": "unnamedWire#14",
"path": []
},
{
"pin1": {
- "compName": "WireCrossPoint#2",
- "pinName": ""
+ "compName": "GUIdlatch#2",
+ "pinName": "Q"
},
"pin2": {
- "compName": "WireCrossPoint#1",
- "pinName": ""
+ "compName": "_submodelinterface",
+ "pinName": "Q3"
},
+ "name": "unnamedWire#13",
"path": []
},
{
"pin1": {
- "compName": "WireCrossPoint#1",
- "pinName": ""
+ "compName": "_submodelinterface",
+ "pinName": "D3"
},
"pin2": {
"compName": "GUIdlatch#2",
- "pinName": "E"
+ "pinName": "D"
},
+ "name": "unnamedWire#9",
"path": []
},
{
"pin1": {
- "compName": "WireCrossPoint#1",
- "pinName": ""
+ "compName": "_submodelinterface",
+ "pinName": "D2"
},
"pin2": {
- "compName": "WireCrossPoint#0",
- "pinName": ""
+ "compName": "GUIdlatch#1",
+ "pinName": "D"
},
+ "name": "unnamedWire#8",
"path": []
},
{
"pin1": {
- "compName": "WireCrossPoint#0",
- "pinName": ""
+ "compName": "_submodelinterface",
+ "pinName": "D1"
},
"pin2": {
- "compName": "GUIdlatch#1",
- "pinName": "E"
+ "compName": "GUIdlatch#0",
+ "pinName": "D"
},
+ "name": "unnamedWire#7",
"path": []
},
{
"compName": "GUIdlatch#0",
"pinName": "E"
},
+ "name": "unnamedWire#6",
"path": [
{
"x": 15.0,
},
{
"pin1": {
- "compName": "_submodelinterface",
- "pinName": "D1"
+ "compName": "WireCrossPoint#2",
+ "pinName": ""
},
"pin2": {
- "compName": "GUIdlatch#0",
- "pinName": "D"
+ "compName": "GUIdlatch#3",
+ "pinName": "E"
},
+ "name": "unnamedWire#1",
"path": []
},
{
"pin1": {
"compName": "_submodelinterface",
- "pinName": "D2"
+ "pinName": "C"
},
"pin2": {
- "compName": "GUIdlatch#1",
- "pinName": "D"
+ "compName": "WireCrossPoint#2",
+ "pinName": ""
},
- "path": []
+ "name": "unnamedWire#0",
+ "path": [
+ {
+ "x": 15.0,
+ "y": 112.5
+ }
+ ]
},
{
"pin1": {
- "compName": "_submodelinterface",
- "pinName": "D3"
+ "compName": "WireCrossPoint#0",
+ "pinName": ""
},
"pin2": {
- "compName": "GUIdlatch#2",
- "pinName": "D"
+ "compName": "GUIdlatch#1",
+ "pinName": "E"
},
+ "name": "unnamedWire#5",
"path": []
},
{
"compName": "GUIdlatch#3",
"pinName": "D"
},
+ "name": "unnamedWire#10",
"path": []
},
{
"pin1": {
- "compName": "GUIdlatch#0",
- "pinName": "Q"
+ "compName": "WireCrossPoint#1",
+ "pinName": ""
},
"pin2": {
- "compName": "_submodelinterface",
- "pinName": "Q1"
+ "compName": "WireCrossPoint#0",
+ "pinName": ""
+ },
+ "name": "unnamedWire#4",
+ "path": []
+ },
+ {
+ "pin1": {
+ "compName": "WireCrossPoint#1",
+ "pinName": ""
},
+ "pin2": {
+ "compName": "GUIdlatch#2",
+ "pinName": "E"
+ },
+ "name": "unnamedWire#3",
"path": []
},
{
"compName": "_submodelinterface",
"pinName": "Q2"
},
+ "name": "unnamedWire#12",
"path": []
},
{
"pin1": {
- "compName": "GUIdlatch#2",
- "pinName": "Q"
+ "compName": "WireCrossPoint#2",
+ "pinName": ""
},
"pin2": {
- "compName": "_submodelinterface",
- "pinName": "Q3"
+ "compName": "WireCrossPoint#1",
+ "pinName": ""
},
+ "name": "unnamedWire#2",
"path": []
},
{
"pin1": {
- "compName": "GUIdlatch#3",
+ "compName": "GUIdlatch#0",
"pinName": "Q"
},
"pin2": {
"compName": "_submodelinterface",
- "pinName": "Q4"
+ "pinName": "Q1"
},
+ "name": "unnamedWire#11",
"path": []
}
]
"horizontalComponentCenter": 17.5,
"pinLabelHeight": 3.5,
"pinLabelMargin": 0.5
+ },
+ "outlineRendererSnippetID": "default",
+ "highLevelStateHandlerSnippetID": "standard",
+ "highLevelStateHandlerParams": {
+ "subcomponentHighLevelStates": {},
+ "atomicHighLevelStates": {
+ "q1": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch#0",
+ "subStateID": "q"
+ }
+ },
+ "q2": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch#1",
+ "subStateID": "q"
+ }
+ },
+ "q": {
+ "id": "bitVectorSplitting",
+ "params": {
+ "vectorPartTargets": [
+ "q1",
+ "q2",
+ "q3",
+ "q4"
+ ],
+ "vectorPartLengthes": [
+ 1,
+ 1,
+ 1,
+ 1
+ ]
+ }
+ },
+ "q3": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch#2",
+ "subStateID": "q"
+ }
+ },
+ "q4": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "GUIdlatch#3",
+ "subStateID": "q"
+ }
+ }
+ }
}
}
\ No newline at end of file