},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#10",
+ "name": "WireCrossPoint#2",
"pos": {
- "x": 74.0,
- "y": 54.0
+ "x": 369.0,
+ "y": 94.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#11",
+ "name": "WireCrossPoint#3",
"pos": {
- "x": 74.0,
- "y": 64.0
+ "x": 374.0,
+ "y": 104.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#12",
+ "name": "WireCrossPoint#4",
"pos": {
- "x": 34.0,
- "y": 234.0
+ "x": 379.0,
+ "y": 114.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#13",
+ "name": "WireCrossPoint#5",
"pos": {
- "x": 124.0,
- "y": 174.0
+ "x": 29.0,
+ "y": 284.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#14",
+ "name": "WireCrossPoint#6",
"pos": {
- "x": 74.0,
- "y": 74.0
+ "x": 39.0,
+ "y": 304.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#15",
+ "name": "WireCrossPoint#7",
"pos": {
- "x": 164.0,
- "y": 59.0
+ "x": 19.0,
+ "y": 194.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#16",
+ "name": "WireCrossPoint#8",
"pos": {
- "x": 269.0,
- "y": 39.0
+ "x": 79.0,
+ "y": 254.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#2",
+ "name": "WireCrossPoint#9",
"pos": {
- "x": 369.0,
- "y": 94.0
+ "x": 39.0,
+ "y": 84.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#3",
+ "name": "WireCrossPoint#10",
"pos": {
- "x": 374.0,
- "y": 104.0
+ "x": 74.0,
+ "y": 54.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#4",
+ "name": "WireCrossPoint#11",
"pos": {
- "x": 379.0,
- "y": 114.0
+ "x": 74.0,
+ "y": 64.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#5",
+ "name": "WireCrossPoint#12",
"pos": {
- "x": 29.0,
- "y": 284.0
+ "x": 34.0,
+ "y": 234.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#6",
+ "name": "WireCrossPoint#13",
"pos": {
- "x": 39.0,
- "y": 304.0
+ "x": 124.0,
+ "y": 174.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#7",
+ "name": "WireCrossPoint#14",
"pos": {
- "x": 19.0,
- "y": 194.0
+ "x": 74.0,
+ "y": 74.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#8",
+ "name": "WireCrossPoint#15",
"pos": {
- "x": 79.0,
- "y": 254.0
+ "x": 164.0,
+ "y": 59.0
},
"params": 1
},
{
"id": "WireCrossPoint",
- "name": "WireCrossPoint#9",
+ "name": "WireCrossPoint#16",
"pos": {
- "x": 39.0,
- "y": 84.0
+ "x": 269.0,
+ "y": 39.0
},
"params": 1
},
}
},
{
- "id": "mux1_4",
- "name": "mux1_4#0",
+ "id": "mux1_4_sb",
+ "name": "mux1_4_sb#0",
"pos": {
"x": 45.0,
"y": 80.0
}
},
{
- "id": "mux1_4",
- "name": "mux1_4#1",
+ "id": "mux1_4_sb",
+ "name": "mux1_4_sb#1",
"pos": {
"x": 85.0,
"y": 220.0
}
},
{
- "id": "mux1_4",
- "name": "mux1_4#2",
+ "id": "mux1_4_sb",
+ "name": "mux1_4_sb#2",
"pos": {
"x": 90.0,
"y": 30.0
}
},
{
- "id": "mux1_4",
- "name": "mux1_4#3",
+ "id": "mux1_4_sb",
+ "name": "mux1_4_sb#3",
"pos": {
"x": 130.0,
"y": 170.0
}
},
{
- "id": "mux1_4",
- "name": "mux1_4#4",
+ "id": "mux1_4_sb",
+ "name": "mux1_4_sb#4",
"pos": {
"x": 175.0,
"y": 120.0
},
"pin2": {
"compName": "dff4_finewe#0",
- "pinName": "_WE4"
+ "pinName": "_WE1"
},
"name": "unnamedWire#1",
"path": [
}
]
},
+ {
+ "pin1": {
+ "compName": "_submodelinterface",
+ "pinName": "_EN"
+ },
+ "pin2": {
+ "compName": "dff4_finewe#0",
+ "pinName": "_WE2"
+ },
+ "name": "unnamedWire#2",
+ "path": [
+ {
+ "x": 150.0,
+ "y": 25.0
+ },
+ {
+ "x": 310.0,
+ "y": 25.0
+ },
+ {
+ "x": 310.0,
+ "y": 115.0
+ }
+ ]
+ },
+ {
+ "pin1": {
+ "compName": "_submodelinterface",
+ "pinName": "_EC"
+ },
+ "pin2": {
+ "compName": "and#0",
+ "pinName": "A"
+ },
+ "name": "unnamedWire#3",
+ "path": [
+ {
+ "x": 100.0,
+ "y": 20.0
+ },
+ {
+ "x": 190.0,
+ "y": 20.0
+ },
+ {
+ "x": 190.0,
+ "y": 55.0
+ }
+ ]
+ },
+ {
+ "pin1": {
+ "compName": "_submodelinterface",
+ "pinName": "_EZ"
+ },
+ "pin2": {
+ "compName": "dff4_finewe#0",
+ "pinName": "_WE4"
+ },
+ "name": "unnamedWire#4",
+ "path": [
+ {
+ "x": 50.0,
+ "y": 15.0
+ },
+ {
+ "x": 320.0,
+ "y": 15.0
+ },
+ {
+ "x": 320.0,
+ "y": 95.0
+ }
+ ]
+ },
+ {
+ "pin1": {
+ "compName": "Splitter#4",
+ "pinName": "I"
+ },
+ "pin2": {
+ "compName": "_submodelinterface",
+ "pinName": "Q"
+ },
+ "name": "unnamedWire#5",
+ "path": []
+ },
+ {
+ "pin1": {
+ "compName": "dff4_finewe#0",
+ "pinName": "Q4"
+ },
+ "pin2": {
+ "compName": "WireCrossPoint#1",
+ "pinName": ""
+ },
+ "name": "unnamedWire#6",
+ "path": []
+ },
+ {
+ "pin1": {
+ "compName": "WireCrossPoint#4",
+ "pinName": ""
+ },
+ "pin2": {
+ "compName": "Splitter#4",
+ "pinName": "O0"
+ },
+ "name": "unnamedWire#7",
+ "path": []
+ },
+ {
+ "pin1": {
+ "compName": "Splitter#4",
+ "pinName": "O1"
+ },
+ "pin2": {
+ "compName": "WireCrossPoint#3",
+ "pinName": ""
+ },
+ "name": "unnamedWire#8",
+ "path": []
+ },
+ {
+ "pin1": {
+ "compName": "dff4_finewe#0",
+ "pinName": "Q3"
+ },
+ "pin2": {
+ "compName": "WireCrossPoint#2",
+ "pinName": ""
+ },
+ "name": "unnamedWire#9",
+ "path": []
+ },
{
"pin1": {
"compName": "_submodelinterface",
},
{
"pin1": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I0_1"
},
"pin2": {
"pinName": "O2"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I0_2"
},
"name": "unnamedWire#13",
"pinName": "O1"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I0_3"
},
"name": "unnamedWire#14",
"pinName": "O0"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I0_4"
},
"name": "unnamedWire#15",
"pinName": "O3"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I1_1"
},
"name": "unnamedWire#16",
},
{
"pin1": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I1_2"
},
"pin2": {
"pinName": "O1"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I1_3"
},
"name": "unnamedWire#18",
},
{
"pin1": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "I1_4"
},
"pin2": {
"name": "unnamedWire#19",
"path": []
},
- {
- "pin1": {
- "compName": "_submodelinterface",
- "pinName": "_EN"
- },
- "pin2": {
- "compName": "dff4_finewe#0",
- "pinName": "_WE3"
- },
- "name": "unnamedWire#2",
- "path": [
- {
- "x": 150.0,
- "y": 25.0
- },
- {
- "x": 310.0,
- "y": 25.0
- },
- {
- "x": 310.0,
- "y": 115.0
- }
- ]
- },
{
"pin1": {
"compName": "_submodelinterface",
{
"pin1": {
"compName": "dff4_finewe#0",
- "pinName": "Q3"
+ "pinName": "Q2"
},
"pin2": {
"compName": "WireCrossPoint#3",
},
"pin2": {
"compName": "dff4_finewe#0",
- "pinName": "Q4"
+ "pinName": "Q1"
},
"name": "unnamedWire#29",
"path": []
},
- {
- "pin1": {
- "compName": "_submodelinterface",
- "pinName": "_EC"
- },
- "pin2": {
- "compName": "and#0",
- "pinName": "A"
- },
- "name": "unnamedWire#3",
- "path": [
- {
- "x": 100.0,
- "y": 20.0
- },
- {
- "x": 190.0,
- "y": 20.0
- },
- {
- "x": 190.0,
- "y": 55.0
- }
- ]
- },
{
"pin1": {
"compName": "not4#0",
"pinName": "Y1"
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I1_1"
},
"name": "unnamedWire#30",
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I1_2"
},
"pin2": {
"pinName": "Y3"
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I1_3"
},
"name": "unnamedWire#32",
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I1_4"
},
"pin2": {
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I0_4"
},
"pin2": {
}
]
},
- {
- "pin1": {
- "compName": "_submodelinterface",
- "pinName": "_EZ"
- },
- "pin2": {
- "compName": "dff4_finewe#0",
- "pinName": "_WE1"
- },
- "name": "unnamedWire#4",
- "path": [
- {
- "x": 50.0,
- "y": 15.0
- },
- {
- "x": 320.0,
- "y": 15.0
- },
- {
- "x": 320.0,
- "y": 95.0
- }
- ]
- },
{
"pin1": {
"compName": "WireCrossPoint#6",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I0_2"
},
"name": "unnamedWire#40",
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I0_3"
},
"pin2": {
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "S0"
},
"name": "unnamedWire#43",
},
{
"pin1": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "Y1"
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I1_1"
},
"name": "unnamedWire#44",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I1_2"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "Y2"
},
"name": "unnamedWire#46",
},
{
"pin1": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "Y3"
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I1_3"
},
"name": "unnamedWire#47",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I1_4"
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "Y4"
},
"name": "unnamedWire#48",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I0_4"
},
"name": "unnamedWire#49",
"path": []
},
- {
- "pin1": {
- "compName": "Splitter#4",
- "pinName": "I"
- },
- "pin2": {
- "compName": "_submodelinterface",
- "pinName": "Q"
- },
- "name": "unnamedWire#5",
- "path": []
- },
{
"pin1": {
"compName": "WireCrossPoint#10",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I0_3"
},
"pin2": {
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I0_2"
},
"name": "unnamedWire#53",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "I0_1"
},
"pin2": {
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "I0_1"
},
"name": "unnamedWire#57",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I0_1"
},
"name": "unnamedWire#59",
},
{
"pin1": {
- "compName": "dff4_finewe#0",
- "pinName": "Q1"
- },
- "pin2": {
- "compName": "WireCrossPoint#1",
- "pinName": ""
- },
- "name": "unnamedWire#6",
- "path": []
- },
- {
- "pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I0_2"
},
"pin2": {
},
{
"pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I0_3"
},
"pin2": {
"pinName": "O0"
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I0_4"
},
"name": "unnamedWire#62",
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "Y1"
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I1_1"
},
"name": "unnamedWire#63",
},
{
"pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I1_2"
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "Y2"
},
"name": "unnamedWire#64",
},
{
"pin1": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "Y3"
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I1_3"
},
"name": "unnamedWire#65",
},
{
"pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "I1_4"
},
"pin2": {
- "compName": "mux1_4#1",
+ "compName": "mux1_4_sb#1",
"pinName": "Y4"
},
"name": "unnamedWire#66",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "S0"
},
"name": "unnamedWire#68",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "S0"
},
"name": "unnamedWire#69",
},
{
"pin1": {
- "compName": "WireCrossPoint#4",
- "pinName": ""
- },
- "pin2": {
- "compName": "Splitter#4",
- "pinName": "O0"
- },
- "name": "unnamedWire#7",
- "path": []
- },
- {
- "pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "Y4"
},
"pin2": {
"compName": "dff4_finewe#0",
- "pinName": "D4"
+ "pinName": "D1"
},
"name": "unnamedWire#70",
"path": [
{
"pin1": {
"compName": "dff4_finewe#0",
- "pinName": "D3"
+ "pinName": "D2"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "Y3"
},
"name": "unnamedWire#71",
},
"pin2": {
"compName": "dff4_finewe#0",
- "pinName": "_WE2"
+ "pinName": "_WE3"
},
"name": "unnamedWire#72",
"path": [
{
"pin1": {
"compName": "dff4_finewe#0",
- "pinName": "D1"
+ "pinName": "D4"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "Y1"
},
"name": "unnamedWire#73",
},
{
"pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I1_4"
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "Y4"
},
"name": "unnamedWire#74",
},
{
"pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "Y3"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I1_3"
},
"name": "unnamedWire#75",
},
{
"pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I1_2"
},
"pin2": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "Y2"
},
"name": "unnamedWire#76",
},
{
"pin1": {
- "compName": "mux1_4#3",
+ "compName": "mux1_4_sb#3",
"pinName": "Y1"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I1_1"
},
"name": "unnamedWire#77",
},
{
"pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I0_4"
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "Y4"
},
"name": "unnamedWire#78",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "Y3"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I0_3"
},
"name": "unnamedWire#79",
},
{
"pin1": {
- "compName": "Splitter#4",
- "pinName": "O1"
- },
- "pin2": {
- "compName": "WireCrossPoint#3",
- "pinName": ""
- },
- "name": "unnamedWire#8",
- "path": []
- },
- {
- "pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I0_2"
},
"pin2": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "Y2"
},
"name": "unnamedWire#80",
},
{
"pin1": {
- "compName": "mux1_4#2",
+ "compName": "mux1_4_sb#2",
"pinName": "Y1"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "I0_1"
},
"name": "unnamedWire#81",
"pinName": "O2"
},
"pin2": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "S0"
},
"name": "unnamedWire#82",
},
{
"pin1": {
- "compName": "mux1_4#4",
+ "compName": "mux1_4_sb#4",
"pinName": "Y2"
},
"pin2": {
},
"pin2": {
"compName": "dff4_finewe#0",
- "pinName": "D2"
+ "pinName": "D3"
},
"name": "unnamedWire#88",
"path": [
"name": "unnamedWire#89",
"path": []
},
- {
- "pin1": {
- "compName": "dff4_finewe#0",
- "pinName": "Q2"
- },
- "pin2": {
- "compName": "WireCrossPoint#2",
- "pinName": ""
- },
- "name": "unnamedWire#9",
- "path": []
- },
{
"pin1": {
"compName": "WireCrossPoint#15",
"pinName": ""
},
"pin2": {
- "compName": "mux1_4#0",
+ "compName": "mux1_4_sb#0",
"pinName": "S0"
},
- "name": "unnamedWire#93",
+ "name": "unnamedWire#92",
"path": []
}
],
"delegateTarget": "dff4_finewe#0",
"subStateID": "q"
}
+ },
+ "q1": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff4_finewe#0",
+ "subStateID": "q1"
+ }
+ },
+ "q2": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff4_finewe#0",
+ "subStateID": "q2"
+ }
+ },
+ "q3": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff4_finewe#0",
+ "subStateID": "q3"
+ }
+ },
+ "q4": {
+ "id": "delegating",
+ "params": {
+ "delegateTarget": "dff4_finewe#0",
+ "subStateID": "q4"
+ }
}
}
},