Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_4.1.0_Modelica.Electrical.Digital.Examples.Counter.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo): time 0.00183/0.00183, allocations: 107.6 kB / 21.2 MB, free: 0.6641 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo): time 0.001891/0.001891, allocations: 209.2 kB / 24.49 MB, free: 3.965 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo): time 1.478/1.478, allocations: 230.6 MB / 258.3 MB, free: 7.809 MB / 206.1 MB " [Timeout remaining time 178] Using package Modelica with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.1.0+maint.om/package.mo) Using package Complex with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.1.0+maint.om/package.mo) Using package ModelicaServices with version 4.1.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.1.0+maint.om/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.Counter,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5599,variableFilter="time|Counter.FF.1..RS1.TD1.x|Counter.FF.1..RS2.TD1.x|Counter.FF.2..RS1.TD1.x|Counter.FF.2..RS2.TD1.x|Counter.FF.3..RS1.TD1.x|Counter.FF.3..RS2.TD1.x|Counter.FF.4..RS1.TD1.x|Counter.FF.4..RS2.TD1.x",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Digital.Examples.Counter") translateModel(Modelica.Electrical.Digital.Examples.Counter,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5599,variableFilter="time|Counter.FF.1..RS1.TD1.x|Counter.FF.1..RS2.TD1.x|Counter.FF.2..RS1.TD1.x|Counter.FF.2..RS2.TD1.x|Counter.FF.3..RS1.TD1.x|Counter.FF.3..RS2.TD1.x|Counter.FF.4..RS1.TD1.x|Counter.FF.4..RS2.TD1.x",fileNamePrefix="Modelica_4.1.0_Modelica.Electrical.Digital.Examples.Counter") [Timeout 660] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.484e-05/2.484e-05, allocations: 2.281 kB / 378.9 MB, free: 2.523 MB / 302.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Counter): time 0.003907/0.003932, allocations: 2.383 MB / 381.3 MB, free: 136 kB / 302.1 MB Notification: Performance of NFInst.instExpressions: time 0.1689/0.1728, allocations: 1.221 MB / 382.5 MB, free: 13 MB / 302.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001215/0.173, allocations: 9.031 kB / 382.5 MB, free: 13 MB / 302.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0001812/0.1731, allocations: 67.81 kB / 382.6 MB, free: 12.97 MB / 302.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0001514/0.1733, allocations: 74.75 kB / 382.7 MB, free: 12.93 MB / 302.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0005046/0.1738, allocations: 251.4 kB / 382.9 MB, free: 12.92 MB / 302.1 MB Notification: Performance of NFFlatten.flatten: time 0.001717/0.1755, allocations: 2.227 MB / 385.2 MB, free: 12.25 MB / 302.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0006308/0.1761, allocations: 489 kB / 385.6 MB, free: 11.94 MB / 302.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001143/0.1773, allocations: 1.173 MB / 386.8 MB, free: 11.69 MB / 302.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.000531/0.1778, allocations: 0.5564 MB / 387.4 MB, free: 11.46 MB / 302.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0002149/0.178, allocations: 126.6 kB / 387.5 MB, free: 11.46 MB / 302.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002064/0.1782, allocations: 129.2 kB / 387.6 MB, free: 11.46 MB / 302.1 MB Notification: Performance of combineBinaries: time 0.0009368/0.1792, allocations: 1.264 MB / 388.9 MB, free: 10.68 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0002723/0.1795, allocations: 0.5733 MB / 389.4 MB, free: 10.31 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0001015/0.1796, allocations: 44.88 kB / 389.5 MB, free: 10.31 MB / 302.1 MB Notification: Performance of FrontEnd: time 5.076e-05/0.1796, allocations: 24.75 kB / 389.5 MB, free: 10.3 MB / 302.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 322 (194) * Number of variables: 322 (71) Notification: Performance of [SIM] Bindings: time 0.1172/0.2968, allocations: 3.967 MB / 393.5 MB, free: 7.938 MB / 302.1 MB Notification: Performance of [SIM] FunctionAlias: time 0.0007934/0.2976, allocations: 0.6808 MB / 394.2 MB, free: 7.566 MB / 302.1 MB Notification: Performance of [SIM] Early Inline: time 0.002932/0.3005, allocations: 3.152 MB / 397.3 MB, free: 5.867 MB / 302.1 MB Notification: Performance of [SIM] Simplify 1: time 0.0005558/0.3011, allocations: 384.5 kB / 397.7 MB, free: 5.625 MB / 302.1 MB Notification: Performance of [SIM] Alias: time 0.001944/0.303, allocations: 1.942 MB / 399.6 MB, free: 4.195 MB / 302.1 MB Notification: Performance of [SIM] Simplify 2: time 0.0004973/0.3035, allocations: 383.8 kB / 400 MB, free: 3.938 MB / 302.1 MB Notification: Performance of [SIM] Remove Stream: time 0.0003403/0.3039, allocations: 351.3 kB / 400.4 MB, free: 3.645 MB / 302.1 MB Notification: Performance of [SIM] Detect States: time 0.0008242/0.3047, allocations: 0.8876 MB / 401.2 MB, free: 2.883 MB / 302.1 MB Notification: Performance of [SIM] Events: time 0.0005677/0.3053, allocations: 0.5213 MB / 401.8 MB, free: 2.531 MB / 302.1 MB Notification: Performance of [SIM] Partitioning: time 0.001546/0.3068, allocations: 1.658 MB / 403.4 MB, free: 1.555 MB / 302.1 MB Error: Internal error NBSorting.tarjan failed to sort system: System Variables (119/415) **************************** (1|1) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.TD1.x_delayed (2|5) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.Not1.auxiliary (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'0' for $f2 in 1:4}) (3|9) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.s (4|13) [DISC] (1) Boolean $SEV_36 (5|14) [DISC] (1) Boolean $SEV_35 (6|15) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.r (7|19) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[1] Q3.x (8|20) [DISC] (1) Boolean $SEV_34 (9|21) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.TD1.x (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (10|25) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS2.Nor1.x (11|33) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[1] Q2.x (12|34) [DISC] (1) Boolean $SEV_33 (13|35) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[1] Q1.x (14|36) [DISC] (1) Boolean $SEV_32 (15|37) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[1] Q0.x (16|38) [DISC] (1) Boolean $SEV_31 (17|39) [DISC] (1) Boolean $SEV_30 (18|40) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.Not1.y (19|44) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Enable.y (20|45) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.And4.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (21|53) [DISC] (12) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 3] Counter.FF.And2.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (22|65) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.TD1.y (23|69) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') clock.y (24|70) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.j (25|74) [ALGB] (4) protected Real[4] Counter.FF.RS1.TD1.xr (26|78) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.Nor2.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (27|82) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.Nor1.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (28|86) [DISC] (1) Boolean $SEV_29 (29|87) [DISC] (1) Boolean $SEV_28 (30|88) [DISC] (1) Boolean $SEV_27 (31|89) [DISC] (1) Boolean $SEV_26 (32|90) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And4.y (33|94) [DISC] (1) Boolean $SEV_25 (34|95) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And2.y (35|99) [DISC] (1) Boolean $SEV_24 (36|100) [DISC] (1) Boolean $SEV_23 (37|101) [DISC] (1) Boolean $SEV_22 (38|102) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.And3.x (39|110) [DISC] (1) Boolean $SEV_21 (40|111) [DISC] (12) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 3] Counter.FF.And1.x (41|123) [DISC] (1) Boolean $SEV_20 (42|124) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS1.Nor2.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (43|132) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.Nor1.y (44|136) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And3.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (45|140) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And1.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (46|144) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.Nor2.y (47|148) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS1.Nor1.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (48|156) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS1.Nor2.x (49|164) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.q (50|168) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.qn (51|172) [ALGB] (1) Real[1] Q3.y (52|173) [ALGB] (1) Real[1] Q2.y (53|174) [ALGB] (1) Real[1] Q1.y (54|175) [ALGB] (1) Real[1] Q0.y (55|176) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.TD1.x_delayed (56|180) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.s (57|184) [DISC] (1) Boolean $SEV_19 (58|185) [DISC] (1) Boolean $SEV_18 (59|186) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.r (60|190) [DISC] (1) Boolean $SEV_17 (61|191) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.TD1.x (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (62|195) [DISC] (1) Boolean $SEV_16 (63|196) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS1.Nor1.x (64|204) [DISC] (1) Boolean $SEV_15 (65|205) [DISC] (1) Boolean $SEV_14 (66|206) [DISC] (1) Boolean $SEV_13 (67|207) [DISC] (1) Boolean $SEV_12 (68|208) [DISC] (1) Boolean $SEV_11 (69|209) [DISC] (1) Boolean $SEV_10 (70|210) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.Not1.x (71|214) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.And3.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (72|222) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.TD1.y (73|226) [DISC] (12) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 3] Counter.FF.And1.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (74|238) [DISC] (1) Boolean $SEV_9 (75|239) [DISC] (1) Boolean $SEV_8 (76|240) [DISC] (1) Boolean $SEV_7 (77|241) [DISC] (1) Boolean $SEV_6 (78|242) [ALGB] (4) protected Real[4] Counter.FF.RS2.TD1.xr (79|246) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.k (80|250) [DISC] (1) Boolean $SEV_5 (81|251) [DISC] (4) Boolean[4] $SEV_4 (82|255) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_9 (83|259) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor2.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (84|263) [DISC] (4) Boolean[4] $SEV_3 (85|267) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_8 (86|271) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.q (87|275) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor1.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (88|279) [DISC] (4) Boolean[4] $SEV_2 (89|283) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_7 (90|287) [DISC] (4) Boolean[4] $SEV_1 (91|291) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_6 (92|295) [DISC] (1) Boolean $SEV_0 (93|296) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_5 (94|300) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_4 (95|304) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And3.y (96|308) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_3 (97|312) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And1.y (98|316) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_2 (99|320) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_1 (100|324) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.And4.x (101|332) [DISC] (1) Boolean $TEV_0 (102|333) [DISC] (12) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 3] Counter.FF.And2.x (103|345) [DISS] (1) protected Real clock.t_i (fixed = true, start = clock.startTime) (104|346) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And4.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (105|350) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS2.Nor2.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (106|358) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor1.y (107|362) [DISC] (4) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And2.auxiliary_n (fixed = {true for $f1 in 1:4}, start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f2 in 1:4}) (108|366) [DISC] (8) protected enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS2.Nor1.auxiliary (start = {Modelica.Electrical.Digital.Interfaces.Logic.'U' for $f1 in 1:4}) (109|374) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor2.y (110|378) [DISC] (1) Boolean $TEV_12 (111|379) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_11 (112|383) [ALGB] (1) protected Real clock.t_width = (clock.width * clock.period) / 100.0 (113|384) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_10 (114|388) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.qn (115|392) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS2.Nor2.x (116|400) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.q (117|404) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.qn (118|408) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.clk (119|412) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.q System Equations (241/415) **************************** (1|1) [SCAL] (1) Counter.FF[4].RS2.s = Counter.FF[4].RS2.Nor1.x[2] ($RES_SIM_204) (2|2) [SCAL] (1) Counter.FF[1].RS1.TD1.y = Counter.FF[1].RS1.Nor2.x[2] ($RES_SIM_205) (3|3) [SCAL] (1) Counter.FF[2].RS1.q = Counter.FF[2].qn ($RES_SIM_120) (4|4) [SCAL] (1) Counter.FF[2].RS1.TD1.y = Counter.FF[2].RS1.Nor2.x[2] ($RES_SIM_206) (5|5) [SCAL] (1) Counter.FF[3].RS1.q = Counter.FF[3].And2.x[1] ($RES_SIM_121) (6|6) [FOR-] (4) ($RES_SIM_81) (6|6) [----] for $i1 in 1:4 loop (6|6) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor1.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].RS1.Nor1.auxiliary[1], Counter.FF[$i1].RS1.Nor1.x[2]] ($RES_SIM_82) (6|6) [----] end for; (7|10) [SCAL] (1) Counter.FF[3].RS1.TD1.y = Counter.FF[3].RS1.Nor2.x[2] ($RES_SIM_207) (8|11) [SCAL] (1) Counter.FF[3].RS1.q = Counter.FF[3].qn ($RES_SIM_122) (9|12) [SCAL] (1) Counter.FF[4].RS1.TD1.y = Counter.FF[4].RS1.Nor2.x[2] ($RES_SIM_208) (10|13) [SCAL] (1) Counter.FF[4].RS1.q = Counter.FF[4].And2.x[1] ($RES_SIM_123) (11|14) [FOR-] (4) ($RES_SIM_83) (11|14) [----] for $i1 in 1:4 loop (11|14) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor1.auxiliary[1] = Counter.FF[$i1].RS1.Nor1.x[1] ($RES_SIM_84) (11|14) [----] end for; (12|18) [SCAL] (1) Counter.FF[1].RS1.TD1.x = Counter.FF[1].RS1.qn ($RES_SIM_209) (13|19) [SCAL] (1) Counter.FF[4].RS1.q = Counter.FF[4].qn ($RES_SIM_124) (14|20) [SCAL] (1) Counter.FF[1].j = Counter.FF[1].And1.x[2] ($RES_SIM_125) (15|21) [SCAL] (1) clock.y = if $SEV_0 then Modelica.Electrical.Digital.Interfaces.Logic.'0' else Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_SIM_85) (16|22) [SCAL] (1) Counter.FF[2].j = Counter.FF[2].And1.x[2] ($RES_SIM_126) (17|23) [WHEN] (1) ($RES_SIM_86) (17|23) [----] when $TEV_0 then (17|23) [----] clock.t_i := time (17|23) [----] end when; (18|24) [SCAL] (1) Counter.FF[3].j = Counter.FF[3].And1.x[2] ($RES_SIM_127) (19|25) [SCAL] (1) Q3.x[1] = Counter.q[4] ($RES_SIM_87) (20|26) [SCAL] (1) Counter.FF[4].j = Counter.FF[4].And1.x[2] ($RES_SIM_128) (21|27) [SCAL] (1) Q2.x[1] = Counter.q[3] ($RES_SIM_88) (22|28) [SCAL] (1) Counter.FF[1].Not1.y = Counter.FF[1].And3.x[1] ($RES_SIM_129) (23|29) [SCAL] (1) Q1.x[1] = Counter.q[2] ($RES_SIM_89) (24|30) [SCAL] (1) $SEV_29 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_290) (25|31) [SCAL] (1) $SEV_30 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_291) (26|32) [SCAL] (1) $SEV_31 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_292) (27|33) [SCAL] (1) $SEV_32 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_293) (28|34) [SCAL] (1) $SEV_33 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_294) (29|35) [SCAL] (1) $SEV_34 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_295) (30|36) [FOR-] (4) ($RES_SIM_11) (30|36) [----] for $i1 in 1:4 loop (30|36) [----] [SCAL] (1) Counter.FF[$i1].And4.auxiliary_n = Counter.FF[$i1].And4.auxiliary[2] ($RES_SIM_12) (30|36) [----] end for; (31|40) [SCAL] (1) $SEV_35 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_296) (32|41) [SCAL] (1) Counter.FF[1].RS1.TD1.x = Counter.FF[1].RS1.Nor1.y ($RES_SIM_210) (33|42) [SCAL] (1) $SEV_36 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_297) (34|43) [SCAL] (1) Counter.FF[2].RS1.TD1.x = Counter.FF[2].RS1.qn ($RES_SIM_211) (35|44) [FOR-] (4) ($RES_SIM_13) (35|44) [----] for $i1 in 1:4 loop (35|44) [----] [SCAL] (1) Counter.FF[$i1].And4.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].And4.auxiliary[1], Counter.FF[$i1].And4.x[2]] ($RES_SIM_14) (35|44) [----] end for; (36|48) [SCAL] (1) Counter.FF[2].RS1.TD1.x = Counter.FF[2].RS1.Nor1.y ($RES_SIM_212) (37|49) [SCAL] (1) Counter.FF[3].RS1.TD1.x = Counter.FF[3].RS1.qn ($RES_SIM_213) (38|50) [FOR-] (4) ($RES_SIM_15) (38|50) [----] for $i1 in 1:4 loop (38|50) [----] [SCAL] (1) Counter.FF[$i1].And4.auxiliary[1] = Counter.FF[$i1].And4.x[1] ($RES_SIM_16) (38|50) [----] end for; (39|54) [SCAL] (1) Counter.FF[3].RS1.TD1.x = Counter.FF[3].RS1.Nor1.y ($RES_SIM_214) (40|55) [SCAL] (1) Counter.FF[1].Not1.y = Counter.FF[1].And4.x[1] ($RES_SIM_130) (41|56) [SCAL] (1) Counter.FF[4].RS1.TD1.x = Counter.FF[4].RS1.qn ($RES_SIM_215) (42|57) [SCAL] (1) Q0.x[1] = Counter.q[1] ($RES_SIM_90) (43|58) [FOR-] (4) ($RES_SIM_17) (43|58) [----] for $i1 in 1:4 loop (43|58) [----] [SCAL] (1) Counter.FF[$i1].And3.y = $TEV_9[$i1] ($RES_SIM_18) (43|58) [----] end for; (44|62) [SCAL] (1) Counter.FF[2].Not1.y = Counter.FF[2].And3.x[1] ($RES_SIM_131) (45|63) [SCAL] (1) Counter.FF[4].RS1.TD1.x = Counter.FF[4].RS1.Nor1.y ($RES_SIM_216) (46|64) [SCAL] (1) Counter.FF[1].RS1.Nor2.y = Counter.FF[1].RS1.Nor1.x[1] ($RES_SIM_217) (47|65) [SCAL] (1) Counter.FF[2].Not1.y = Counter.FF[2].And4.x[1] ($RES_SIM_132) (48|66) [FOR-] (4) ($RES_SIM_19) (48|66) [----] for $i1 in 1:4 loop (48|66) [----] [SCAL] (1) Counter.FF[$i1].And3.auxiliary_n = Counter.FF[$i1].And3.auxiliary[2] ($RES_SIM_20) (48|66) [----] end for; (49|70) [SCAL] (1) Counter.FF[1].RS1.Nor2.y = Counter.FF[1].RS1.q ($RES_SIM_218) (50|71) [SCAL] (1) Counter.FF[3].Not1.y = Counter.FF[3].And3.x[1] ($RES_SIM_133) (51|72) [SCAL] (1) Counter.FF[4].q = Counter.q[4] ($RES_SIM_93) (52|73) [SCAL] (1) Counter.FF[2].RS1.Nor2.y = Counter.FF[2].RS1.Nor1.x[1] ($RES_SIM_219) (53|74) [SCAL] (1) Counter.FF[3].Not1.y = Counter.FF[3].And4.x[1] ($RES_SIM_134) (54|75) [SCAL] (1) Counter.FF[3].q = Counter.q[3] ($RES_SIM_94) (55|76) [SCAL] (1) Counter.FF[4].Not1.y = Counter.FF[4].And3.x[1] ($RES_SIM_135) (56|77) [SCAL] (1) Counter.FF[3].q = Counter.FF[4].clk ($RES_SIM_95) (57|78) [SCAL] (1) Counter.FF[4].Not1.y = Counter.FF[4].And4.x[1] ($RES_SIM_136) (58|79) [SCAL] (1) Counter.FF[2].q = Counter.q[2] ($RES_SIM_96) (59|80) [SCAL] (1) Counter.FF[1].RS2.q = Counter.FF[1].And3.x[2] ($RES_SIM_137) (60|81) [SCAL] (1) Counter.FF[2].q = Counter.FF[3].clk ($RES_SIM_97) (61|82) [SCAL] (1) Counter.FF[2].RS2.q = Counter.FF[2].And3.x[2] ($RES_SIM_138) (62|83) [SCAL] (1) Counter.FF[1].q = Counter.q[1] ($RES_SIM_98) (63|84) [SCAL] (1) Counter.FF[3].RS2.q = Counter.FF[3].And3.x[2] ($RES_SIM_139) (64|85) [SCAL] (1) Counter.FF[1].q = Counter.FF[2].clk ($RES_SIM_99) (65|86) [FOR-] (4) ($RES_SIM_21) (65|86) [----] for $i1 in 1:4 loop (65|86) [----] [SCAL] (1) Counter.FF[$i1].And3.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].And3.auxiliary[1], Counter.FF[$i1].And3.x[2]] ($RES_SIM_22) (65|86) [----] end for; (66|90) [SCAL] (1) Counter.FF[2].RS1.Nor2.y = Counter.FF[2].RS1.q ($RES_SIM_220) (67|91) [SCAL] (1) Counter.FF[3].RS1.Nor2.y = Counter.FF[3].RS1.Nor1.x[1] ($RES_SIM_221) (68|92) [FOR-] (4) ($RES_SIM_23) (68|92) [----] for $i1 in 1:4 loop (68|92) [----] [SCAL] (1) Counter.FF[$i1].And3.auxiliary[1] = Counter.FF[$i1].And3.x[1] ($RES_SIM_24) (68|92) [----] end for; (69|96) [SCAL] (1) Counter.FF[3].RS1.Nor2.y = Counter.FF[3].RS1.q ($RES_SIM_222) (70|97) [SCAL] (1) Counter.FF[4].RS1.Nor2.y = Counter.FF[4].RS1.Nor1.x[1] ($RES_SIM_223) (71|98) [FOR-] (4) ($RES_SIM_25) (71|98) [----] for $i1 in 1:4 loop (71|98) [----] [SCAL] (1) Counter.FF[$i1].And2.y = $TEV_8[$i1] ($RES_SIM_26) (71|98) [----] end for; (72|102) [SCAL] (1) Counter.FF[4].RS1.Nor2.y = Counter.FF[4].RS1.q ($RES_SIM_224) (73|103) [SCAL] (1) Counter.FF[1].RS1.r = Counter.FF[1].RS1.Nor2.x[1] ($RES_SIM_225) (74|104) [SCAL] (1) Counter.FF[4].RS2.q = Counter.FF[4].And3.x[2] ($RES_SIM_140) (75|105) [FOR-] (4) ($RES_SIM_27) (75|105) [----] for $i1 in 1:4 loop (75|105) [----] [SCAL] (1) Counter.FF[$i1].And2.auxiliary_n = Counter.FF[$i1].And2.auxiliary[3] ($RES_SIM_28) (75|105) [----] end for; (76|109) [SCAL] (1) Counter.FF[2].RS1.r = Counter.FF[2].RS1.Nor2.x[1] ($RES_SIM_226) (77|110) [SCAL] (1) Counter.FF[1].RS2.qn = Counter.FF[1].And4.x[2] ($RES_SIM_141) (78|111) [SCAL] (1) Counter.FF[3].RS1.r = Counter.FF[3].RS1.Nor2.x[1] ($RES_SIM_227) (79|112) [SCAL] (1) Counter.FF[2].RS2.qn = Counter.FF[2].And4.x[2] ($RES_SIM_142) (80|113) [FOR-] (8) ($RES_SIM_29) (80|113) [----] for {$i1 in 1:4, $i2 in 1:2} loop (80|113) [----] [SCAL] (1) Counter.FF[$i1].And2.auxiliary[1 + $i2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].And2.auxiliary[$i2], Counter.FF[$i1].And2.x[1 + $i2]] ($RES_SIM_30) (80|113) [----] end for; (81|121) [SCAL] (1) Counter.FF[4].RS1.r = Counter.FF[4].RS1.Nor2.x[1] ($RES_SIM_228) (82|122) [SCAL] (1) Counter.FF[3].RS2.qn = Counter.FF[3].And4.x[2] ($RES_SIM_143) (83|123) [SCAL] (1) Counter.FF[1].RS1.s = Counter.FF[1].RS1.Nor1.x[2] ($RES_SIM_229) (84|124) [SCAL] (1) Counter.FF[4].RS2.qn = Counter.FF[4].And4.x[2] ($RES_SIM_144) (85|125) [SCAL] (1) Counter.FF[1].And3.y = Counter.FF[1].RS1.s ($RES_SIM_145) (86|126) [SCAL] (1) Counter.FF[2].And3.y = Counter.FF[2].RS1.s ($RES_SIM_146) (87|127) [SCAL] (1) Counter.FF[3].And3.y = Counter.FF[3].RS1.s ($RES_SIM_147) (88|128) [SCAL] (1) Counter.FF[4].And3.y = Counter.FF[4].RS1.s ($RES_SIM_148) (89|129) [SCAL] (1) Counter.FF[1].And4.y = Counter.FF[1].RS1.r ($RES_SIM_149) (90|130) [SCAL] (1) $TEV_0 = sample(1, clock.startTime, clock.period) ($RES_EVT_234) (91|131) [FOR-] (4) ($RES_EVT_235) (91|131) [----] for $i1 in 1:4 loop (91|131) [----] [SCAL] (1) $TEV_1[$i1] = $PRE.Counter.FF[$i1].RS1.Nor1.auxiliary_n ($RES_EVT_236) (91|131) [----] end for; (92|135) [FOR-] (4) ($RES_EVT_237) (92|135) [----] for $i1 in 1:4 loop (92|135) [----] [SCAL] (1) $TEV_2[$i1] = $PRE.Counter.FF[$i1].RS1.Nor2.auxiliary_n ($RES_EVT_238) (92|135) [----] end for; (93|139) [FOR-] (4) ($RES_EVT_239) (93|139) [----] for $i1 in 1:4 loop (93|139) [----] [SCAL] (1) $TEV_3[$i1] = $PRE.Counter.FF[$i1].RS1.TD1.x ($RES_EVT_240) (93|139) [----] end for; (94|143) [FOR-] (4) ($RES_SIM_31) (94|143) [----] for $i1 in 1:4 loop (94|143) [----] [SCAL] (1) Counter.FF[$i1].And2.auxiliary[1] = Counter.FF[$i1].And2.x[1] ($RES_SIM_32) (94|143) [----] end for; (95|147) [SCAL] (1) Counter.FF[2].RS1.s = Counter.FF[2].RS1.Nor1.x[2] ($RES_SIM_230) (96|148) [SCAL] (1) Counter.FF[3].RS1.s = Counter.FF[3].RS1.Nor1.x[2] ($RES_SIM_231) (97|149) [FOR-] (4) ($RES_SIM_33) (97|149) [----] for $i1 in 1:4 loop (97|149) [----] [SCAL] (1) Counter.FF[$i1].And1.y = $TEV_7[$i1] ($RES_SIM_34) (97|149) [----] end for; (98|153) [SCAL] (1) Counter.FF[4].RS1.s = Counter.FF[4].RS1.Nor1.x[2] ($RES_SIM_232) (99|154) [FOR-] (4) ($RES_SIM_35) (99|154) [----] for $i1 in 1:4 loop (99|154) [----] [SCAL] (1) Counter.FF[$i1].And1.auxiliary_n = Counter.FF[$i1].And1.auxiliary[3] ($RES_SIM_36) (99|154) [----] end for; (100|158) [SCAL] (1) Counter.FF[2].And4.y = Counter.FF[2].RS1.r ($RES_SIM_150) (101|159) [FOR-] (8) ($RES_SIM_37) (101|159) [----] for {$i1 in 1:4, $i2 in 1:2} loop (101|159) [----] [SCAL] (1) Counter.FF[$i1].And1.auxiliary[1 + $i2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].And1.auxiliary[$i2], Counter.FF[$i1].And1.x[1 + $i2]] ($RES_SIM_38) (101|159) [----] end for; (102|167) [SCAL] (1) Counter.FF[3].And4.y = Counter.FF[3].RS1.r ($RES_SIM_151) (103|168) [SCAL] (1) Counter.FF[4].And4.y = Counter.FF[4].RS1.r ($RES_SIM_152) (104|169) [FOR-] (4) ($RES_SIM_39) (104|169) [----] for $i1 in 1:4 loop (104|169) [----] [SCAL] (1) Counter.FF[$i1].And1.auxiliary[1] = Counter.FF[$i1].And1.x[1] ($RES_SIM_40) (104|169) [----] end for; (105|173) [SCAL] (1) Counter.FF[1].k = Counter.FF[1].And2.x[2] ($RES_SIM_153) (106|174) [SCAL] (1) Counter.FF[2].k = Counter.FF[2].And2.x[2] ($RES_SIM_154) (107|175) [SCAL] (1) Counter.FF[3].k = Counter.FF[3].And2.x[2] ($RES_SIM_155) (108|176) [SCAL] (1) Counter.FF[4].k = Counter.FF[4].And2.x[2] ($RES_SIM_156) (109|177) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].And2.x[3] ($RES_SIM_157) (110|178) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].And1.x[1] ($RES_SIM_158) (111|179) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].Not1.x ($RES_SIM_159) (112|180) [FOR-] (4) ($RES_EVT_241) (112|180) [----] for $i1 in 1:4 loop (112|180) [----] [SCAL] (1) $TEV_4[$i1] = $PRE.Counter.FF[$i1].RS2.Nor1.auxiliary_n ($RES_EVT_242) (112|180) [----] end for; (113|184) [FOR-] (4) ($RES_EVT_243) (113|184) [----] for $i1 in 1:4 loop (113|184) [----] [SCAL] (1) $TEV_5[$i1] = $PRE.Counter.FF[$i1].RS2.Nor2.auxiliary_n ($RES_EVT_244) (113|184) [----] end for; (114|188) [FOR-] (4) ($RES_EVT_245) (114|188) [----] for $i1 in 1:4 loop (114|188) [----] [SCAL] (1) $TEV_6[$i1] = $PRE.Counter.FF[$i1].RS2.TD1.x ($RES_EVT_246) (114|188) [----] end for; (115|192) [FOR-] (4) ($RES_EVT_247) (115|192) [----] for $i1 in 1:4 loop (115|192) [----] [SCAL] (1) $TEV_7[$i1] = $PRE.Counter.FF[$i1].And1.auxiliary_n ($RES_EVT_248) (115|192) [----] end for; (116|196) [FOR-] (4) ($RES_EVT_249) (116|196) [----] for $i1 in 1:4 loop (116|196) [----] [SCAL] (1) $TEV_8[$i1] = $PRE.Counter.FF[$i1].And2.auxiliary_n ($RES_EVT_250) (116|196) [----] end for; (117|200) [FOR-] (4) ($RES_SIM_41) (117|200) [----] for $i1 in 1:4 loop (117|200) [----] [SCAL] (1) Counter.FF[$i1].RS2.TD1.y = if $SEV_3[$i1] then if $SEV_4[$i1] then Counter.FF[$i1].RS2.TD1.x_delayed else Counter.FF[$i1].RS2.TD1.y0 else $TEV_6[$i1] ($RES_SIM_42) (117|200) [----] end for; (118|204) [FOR-] (4) ($RES_SIM_43) (118|204) [----] for $i1 in 1:4 loop (118|204) [----] [SCAL] (1) Counter.FF[$i1].RS2.TD1.x_delayed = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'-'})[integer(delay(Counter.FF[$i1].RS2.TD1.xr, Counter.FF[$i1].RS2.TD1.delayTime, Counter.FF[$i1].RS2.TD1.delayTime))] ($RES_SIM_44) (118|204) [----] end for; (119|208) [FOR-] (4) ($RES_SIM_45) (119|208) [----] for $i1 in 1:4 loop (119|208) [----] [SCAL] (1) Counter.FF[$i1].RS2.TD1.xr = Integer($TEV_6[$i1]) ($RES_SIM_46) (119|208) [----] end for; (120|212) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].And2.x[3] ($RES_SIM_160) (121|213) [FOR-] (4) ($RES_SIM_47) (121|213) [----] for $i1 in 1:4 loop (121|213) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.y = $TEV_5[$i1] ($RES_SIM_48) (121|213) [----] end for; (122|217) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].And1.x[1] ($RES_SIM_161) (123|218) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].Not1.x ($RES_SIM_162) (124|219) [FOR-] (4) ($RES_SIM_49) (124|219) [----] for $i1 in 1:4 loop (124|219) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.auxiliary_n = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X'})[Counter.FF[$i1].RS2.Nor2.auxiliary[2]] ($RES_SIM_50) (124|219) [----] end for; (125|223) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].And2.x[3] ($RES_SIM_163) (126|224) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].And1.x[1] ($RES_SIM_164) (127|225) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].Not1.x ($RES_SIM_165) (128|226) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].And2.x[3] ($RES_SIM_166) (129|227) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].And1.x[1] ($RES_SIM_167) (130|228) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].Not1.x ($RES_SIM_168) (131|229) [SCAL] (1) Counter.FF[1].And1.y = Counter.FF[1].RS2.s ($RES_SIM_169) (132|230) [FOR-] (4) ($RES_EVT_251) (132|230) [----] for $i1 in 1:4 loop (132|230) [----] [SCAL] (1) $TEV_9[$i1] = $PRE.Counter.FF[$i1].And3.auxiliary_n ($RES_EVT_252) (132|230) [----] end for; (133|234) [FOR-] (4) ($RES_EVT_253) (133|234) [----] for $i1 in 1:4 loop (133|234) [----] [SCAL] (1) $TEV_10[$i1] = $PRE.Counter.FF[$i1].And4.auxiliary_n ($RES_EVT_254) (133|234) [----] end for; (134|238) [FOR-] (4) ($RES_EVT_255) (134|238) [----] for $i1 in 1:4 loop (134|238) [----] [SCAL] (1) $TEV_11[$i1] = $PRE.Counter.FF[$i1].Not1.auxiliary ($RES_EVT_256) (134|238) [----] end for; (135|242) [SCAL] (1) $SEV_0 = not time >= clock.startTime or time >= (clock.t_i + clock.t_width) ($RES_EVT_257) (136|243) [FOR-] (4) ($RES_EVT_258) (136|243) [----] for $i1 in 1:4 loop (136|243) [----] [SCAL] (1) $SEV_1[$i1] = Counter.FF[$i1].RS1.TD1.delayTime > 0.0 ($RES_EVT_259) (136|243) [----] end for; (137|247) [FOR-] (4) ($RES_SIM_51) (137|247) [----] for $i1 in 1:4 loop (137|247) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].RS2.Nor2.auxiliary[1], Counter.FF[$i1].RS2.Nor2.x[2]] ($RES_SIM_52) (137|247) [----] end for; (138|251) [FOR-] (4) ($RES_SIM_53) (138|251) [----] for $i1 in 1:4 loop (138|251) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.auxiliary[1] = Counter.FF[$i1].RS2.Nor2.x[1] ($RES_SIM_54) (138|251) [----] end for; (139|255) [FOR-] (4) ($RES_SIM_9) (139|255) [----] for $i1 in 1:4 loop (139|255) [----] [SCAL] (1) Counter.FF[$i1].And4.y = $TEV_10[$i1] ($RES_SIM_10) (139|255) [----] end for; (140|259) [FOR-] (4) ($RES_SIM_55) (140|259) [----] for $i1 in 1:4 loop (140|259) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.y = $TEV_4[$i1] ($RES_SIM_56) (140|259) [----] end for; (141|263) [FOR-] (4) ($RES_SIM_7) (141|263) [----] for $i1 in 1:4 loop (141|263) [----] [SCAL] (1) Counter.FF[$i1].Not1.auxiliary = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X'})[Counter.FF[$i1].Not1.x] ($RES_SIM_8) (141|263) [----] end for; (142|267) [SCAL] (1) Counter.FF[2].And1.y = Counter.FF[2].RS2.s ($RES_SIM_170) (143|268) [FOR-] (4) ($RES_SIM_57) (143|268) [----] for $i1 in 1:4 loop (143|268) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.auxiliary_n = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X'})[Counter.FF[$i1].RS2.Nor1.auxiliary[2]] ($RES_SIM_58) (143|268) [----] end for; (144|272) [SCAL] (1) Counter.FF[3].And1.y = Counter.FF[3].RS2.s ($RES_SIM_171) (145|273) [FOR-] (4) ($RES_SIM_5) (145|273) [----] for $i1 in 1:4 loop (145|273) [----] [SCAL] (1) Counter.FF[$i1].Not1.y = $TEV_11[$i1] ($RES_SIM_6) (145|273) [----] end for; (146|277) [SCAL] (1) Counter.FF[4].And1.y = Counter.FF[4].RS2.s ($RES_SIM_172) (147|278) [FOR-] (4) ($RES_SIM_59) (147|278) [----] for $i1 in 1:4 loop (147|278) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].RS2.Nor1.auxiliary[1], Counter.FF[$i1].RS2.Nor1.x[2]] ($RES_SIM_60) (147|278) [----] end for; (148|282) [SCAL] (1) Q0.y[1] = if $SEV_5 then Q0.value_U else if $SEV_6 then Q0.value_X else if $SEV_7 then Q0.value_0 else if $SEV_8 then Q0.value_1 else if $SEV_9 then Q0.value_Z else if $SEV_10 then Q0.value_W else if $SEV_11 then Q0.value_L else if $SEV_12 then Q0.value_H else Q0.value_m ($RES_SIM_4) (149|283) [SCAL] (1) Counter.FF[1].And2.y = Counter.FF[1].RS2.r ($RES_SIM_173) (150|284) [SCAL] (1) Q1.y[1] = if $SEV_13 then Q1.value_U else if $SEV_14 then Q1.value_X else if $SEV_15 then Q1.value_0 else if $SEV_16 then Q1.value_1 else if $SEV_17 then Q1.value_Z else if $SEV_18 then Q1.value_W else if $SEV_19 then Q1.value_L else if $SEV_20 then Q1.value_H else Q1.value_m ($RES_SIM_3) (151|285) [SCAL] (1) Counter.FF[2].And2.y = Counter.FF[2].RS2.r ($RES_SIM_174) (152|286) [SCAL] (1) Q2.y[1] = if $SEV_21 then Q2.value_U else if $SEV_22 then Q2.value_X else if $SEV_23 then Q2.value_0 else if $SEV_24 then Q2.value_1 else if $SEV_25 then Q2.value_Z else if $SEV_26 then Q2.value_W else if $SEV_27 then Q2.value_L else if $SEV_28 then Q2.value_H else Q2.value_m ($RES_SIM_2) (153|287) [SCAL] (1) Counter.FF[3].And2.y = Counter.FF[3].RS2.r ($RES_SIM_175) (154|288) [SCAL] (1) Q3.y[1] = if $SEV_29 then Q3.value_U else if $SEV_30 then Q3.value_X else if $SEV_31 then Q3.value_0 else if $SEV_32 then Q3.value_1 else if $SEV_33 then Q3.value_Z else if $SEV_34 then Q3.value_W else if $SEV_35 then Q3.value_L else if $SEV_36 then Q3.value_H else Q3.value_m ($RES_SIM_1) (155|289) [SCAL] (1) Counter.FF[4].And2.y = Counter.FF[4].RS2.r ($RES_SIM_176) (156|290) [ALGO] (2) ($RES_SIM_0) (156|290) [----] $TEV_12 := time >= Enable.stepTime; (156|290) [----] if $TEV_12 then (156|290) [----] Enable.y := Enable.after; (156|290) [----] elseif true then (156|290) [----] Enable.y := Enable.before; (156|290) [----] end if; (157|292) [SCAL] (1) Counter.FF[1].RS2.TD1.y = Counter.FF[1].RS2.Nor2.x[2] ($RES_SIM_177) (158|293) [SCAL] (1) Counter.FF[2].RS2.TD1.y = Counter.FF[2].RS2.Nor2.x[2] ($RES_SIM_178) (159|294) [SCAL] (1) Counter.FF[3].RS2.TD1.y = Counter.FF[3].RS2.Nor2.x[2] ($RES_SIM_179) (160|295) [FOR-] (4) ($RES_EVT_260) (160|295) [----] for $i1 in 1:4 loop (160|295) [----] [SCAL] (1) $SEV_2[$i1] = time >= Counter.FF[$i1].RS1.TD1.delayTime ($RES_EVT_261) (160|295) [----] end for; (161|299) [FOR-] (4) ($RES_EVT_262) (161|299) [----] for $i1 in 1:4 loop (161|299) [----] [SCAL] (1) $SEV_3[$i1] = Counter.FF[$i1].RS2.TD1.delayTime > 0.0 ($RES_EVT_263) (161|299) [----] end for; (162|303) [FOR-] (4) ($RES_EVT_264) (162|303) [----] for $i1 in 1:4 loop (162|303) [----] [SCAL] (1) $SEV_4[$i1] = time >= Counter.FF[$i1].RS2.TD1.delayTime ($RES_EVT_265) (162|303) [----] end for; (163|307) [SCAL] (1) $SEV_5 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_266) (164|308) [SCAL] (1) $SEV_6 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_267) (165|309) [SCAL] (1) $SEV_7 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_268) (166|310) [SCAL] (1) clock.t_width = clock.width * clock.period / 100.0 ($RES_BND_233) (167|311) [SCAL] (1) $SEV_8 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_269) (168|312) [SCAL] (1) clock.y = Counter.FF[1].clk ($RES_SIM_100) (169|313) [SCAL] (1) Enable.y = Counter.FF[1].j ($RES_SIM_101) (170|314) [FOR-] (4) ($RES_SIM_61) (170|314) [----] for $i1 in 1:4 loop (170|314) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.auxiliary[1] = Counter.FF[$i1].RS2.Nor1.x[1] ($RES_SIM_62) (170|314) [----] end for; (171|318) [SCAL] (1) Enable.y = Counter.FF[1].k ($RES_SIM_102) (172|319) [SCAL] (1) Enable.y = Counter.FF[2].j ($RES_SIM_103) (173|320) [FOR-] (4) ($RES_SIM_63) (173|320) [----] for $i1 in 1:4 loop (173|320) [----] [SCAL] (1) Counter.FF[$i1].RS1.TD1.y = if $SEV_1[$i1] then if $SEV_2[$i1] then Counter.FF[$i1].RS1.TD1.x_delayed else Counter.FF[$i1].RS1.TD1.y0 else $TEV_3[$i1] ($RES_SIM_64) (173|320) [----] end for; (174|324) [SCAL] (1) Enable.y = Counter.FF[2].k ($RES_SIM_104) (175|325) [SCAL] (1) Enable.y = Counter.FF[3].j ($RES_SIM_105) (176|326) [FOR-] (4) ($RES_SIM_65) (176|326) [----] for $i1 in 1:4 loop (176|326) [----] [SCAL] (1) Counter.FF[$i1].RS1.TD1.x_delayed = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'-'})[integer(delay(Counter.FF[$i1].RS1.TD1.xr, Counter.FF[$i1].RS1.TD1.delayTime, Counter.FF[$i1].RS1.TD1.delayTime))] ($RES_SIM_66) (176|326) [----] end for; (177|330) [SCAL] (1) Enable.y = Counter.FF[3].k ($RES_SIM_106) (178|331) [SCAL] (1) Counter.FF[4].RS2.TD1.y = Counter.FF[4].RS2.Nor2.x[2] ($RES_SIM_180) (179|332) [SCAL] (1) Enable.y = Counter.FF[4].j ($RES_SIM_107) (180|333) [FOR-] (4) ($RES_SIM_67) (180|333) [----] for $i1 in 1:4 loop (180|333) [----] [SCAL] (1) Counter.FF[$i1].RS1.TD1.xr = Integer($TEV_3[$i1]) ($RES_SIM_68) (180|333) [----] end for; (181|337) [SCAL] (1) Counter.FF[1].RS2.TD1.x = Counter.FF[1].RS2.qn ($RES_SIM_181) (182|338) [SCAL] (1) Enable.y = Counter.FF[4].k ($RES_SIM_108) (183|339) [SCAL] (1) Counter.FF[1].RS2.TD1.x = Counter.FF[1].RS2.Nor1.y ($RES_SIM_182) (184|340) [SCAL] (1) Counter.FF[1].RS1.qn = Counter.FF[1].And1.x[3] ($RES_SIM_109) (185|341) [FOR-] (4) ($RES_SIM_69) (185|341) [----] for $i1 in 1:4 loop (185|341) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.y = $TEV_2[$i1] ($RES_SIM_70) (185|341) [----] end for; (186|345) [SCAL] (1) Counter.FF[2].RS2.TD1.x = Counter.FF[2].RS2.qn ($RES_SIM_183) (187|346) [SCAL] (1) Counter.FF[2].RS2.TD1.x = Counter.FF[2].RS2.Nor1.y ($RES_SIM_184) (188|347) [SCAL] (1) Counter.FF[3].RS2.TD1.x = Counter.FF[3].RS2.qn ($RES_SIM_185) (189|348) [SCAL] (1) Counter.FF[3].RS2.TD1.x = Counter.FF[3].RS2.Nor1.y ($RES_SIM_186) (190|349) [SCAL] (1) Counter.FF[4].RS2.TD1.x = Counter.FF[4].RS2.qn ($RES_SIM_187) (191|350) [SCAL] (1) Counter.FF[4].RS2.TD1.x = Counter.FF[4].RS2.Nor1.y ($RES_SIM_188) (192|351) [SCAL] (1) Counter.FF[1].RS2.Nor2.y = Counter.FF[1].RS2.Nor1.x[1] ($RES_SIM_189) (193|352) [SCAL] (1) $SEV_9 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_270) (194|353) [SCAL] (1) $SEV_10 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_271) (195|354) [SCAL] (1) $SEV_11 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_272) (196|355) [SCAL] (1) $SEV_12 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_273) (197|356) [SCAL] (1) $SEV_13 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_274) (198|357) [SCAL] (1) $SEV_14 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_275) (199|358) [SCAL] (1) $SEV_15 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_276) (200|359) [SCAL] (1) $SEV_16 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_277) (201|360) [SCAL] (1) $SEV_17 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_278) (202|361) [SCAL] (1) $SEV_18 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_279) (203|362) [SCAL] (1) Counter.FF[1].RS1.qn = Counter.FF[1].q ($RES_SIM_110) (204|363) [SCAL] (1) Counter.FF[2].RS1.qn = Counter.FF[2].And1.x[3] ($RES_SIM_111) (205|364) [FOR-] (4) ($RES_SIM_71) (205|364) [----] for $i1 in 1:4 loop (205|364) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.auxiliary_n = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X'})[Counter.FF[$i1].RS1.Nor2.auxiliary[2]] ($RES_SIM_72) (205|364) [----] end for; (206|368) [SCAL] (1) Counter.FF[2].RS1.qn = Counter.FF[2].q ($RES_SIM_112) (207|369) [SCAL] (1) Counter.FF[3].RS1.qn = Counter.FF[3].And1.x[3] ($RES_SIM_113) (208|370) [FOR-] (4) ($RES_SIM_73) (208|370) [----] for $i1 in 1:4 loop (208|370) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.auxiliary[2] = ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'U'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'1'}, {Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'X'}})[Counter.FF[$i1].RS1.Nor2.auxiliary[1], Counter.FF[$i1].RS1.Nor2.x[2]] ($RES_SIM_74) (208|370) [----] end for; (209|374) [SCAL] (1) Counter.FF[3].RS1.qn = Counter.FF[3].q ($RES_SIM_114) (210|375) [SCAL] (1) Counter.FF[4].RS1.qn = Counter.FF[4].And1.x[3] ($RES_SIM_115) (211|376) [FOR-] (4) ($RES_SIM_75) (211|376) [----] for $i1 in 1:4 loop (211|376) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.auxiliary[1] = Counter.FF[$i1].RS1.Nor2.x[1] ($RES_SIM_76) (211|376) [----] end for; (212|380) [SCAL] (1) Counter.FF[4].RS1.qn = Counter.FF[4].q ($RES_SIM_116) (213|381) [SCAL] (1) Counter.FF[1].RS2.Nor2.y = Counter.FF[1].RS2.q ($RES_SIM_190) (214|382) [SCAL] (1) Counter.FF[1].RS1.q = Counter.FF[1].And2.x[1] ($RES_SIM_117) (215|383) [FOR-] (4) ($RES_SIM_77) (215|383) [----] for $i1 in 1:4 loop (215|383) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor1.y = $TEV_1[$i1] ($RES_SIM_78) (215|383) [----] end for; (216|387) [SCAL] (1) Counter.FF[2].RS2.Nor2.y = Counter.FF[2].RS2.Nor1.x[1] ($RES_SIM_191) (217|388) [SCAL] (1) Counter.FF[1].RS1.q = Counter.FF[1].qn ($RES_SIM_118) (218|389) [SCAL] (1) Counter.FF[2].RS2.Nor2.y = Counter.FF[2].RS2.q ($RES_SIM_192) (219|390) [SCAL] (1) Counter.FF[2].RS1.q = Counter.FF[2].And2.x[1] ($RES_SIM_119) (220|391) [FOR-] (4) ($RES_SIM_79) (220|391) [----] for $i1 in 1:4 loop (220|391) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor1.auxiliary_n = ({Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'X'})[Counter.FF[$i1].RS1.Nor1.auxiliary[2]] ($RES_SIM_80) (220|391) [----] end for; (221|395) [SCAL] (1) Counter.FF[3].RS2.Nor2.y = Counter.FF[3].RS2.Nor1.x[1] ($RES_SIM_193) (222|396) [SCAL] (1) Counter.FF[3].RS2.Nor2.y = Counter.FF[3].RS2.q ($RES_SIM_194) (223|397) [SCAL] (1) Counter.FF[4].RS2.Nor2.y = Counter.FF[4].RS2.Nor1.x[1] ($RES_SIM_195) (224|398) [SCAL] (1) Counter.FF[4].RS2.Nor2.y = Counter.FF[4].RS2.q ($RES_SIM_196) (225|399) [SCAL] (1) Counter.FF[1].RS2.r = Counter.FF[1].RS2.Nor2.x[1] ($RES_SIM_197) (226|400) [SCAL] (1) Counter.FF[2].RS2.r = Counter.FF[2].RS2.Nor2.x[1] ($RES_SIM_198) (227|401) [SCAL] (1) Counter.FF[3].RS2.r = Counter.FF[3].RS2.Nor2.x[1] ($RES_SIM_199) (228|402) [SCAL] (1) $SEV_19 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_280) (229|403) [SCAL] (1) $SEV_20 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_281) (230|404) [SCAL] (1) $SEV_21 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_282) (231|405) [SCAL] (1) $SEV_22 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_283) (232|406) [SCAL] (1) $SEV_23 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_284) (233|407) [SCAL] (1) $SEV_24 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_285) (234|408) [SCAL] (1) $SEV_25 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_286) (235|409) [SCAL] (1) Counter.FF[4].RS2.r = Counter.FF[4].RS2.Nor2.x[1] ($RES_SIM_200) (236|410) [SCAL] (1) $SEV_26 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_287) (237|411) [SCAL] (1) Counter.FF[1].RS2.s = Counter.FF[1].RS2.Nor1.x[2] ($RES_SIM_201) (238|412) [SCAL] (1) $SEV_27 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_288) (239|413) [SCAL] (1) Counter.FF[2].RS2.s = Counter.FF[2].RS2.Nor1.x[2] ($RES_SIM_202) (240|414) [SCAL] (1) $SEV_28 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_289) (241|415) [SCAL] (1) Counter.FF[3].RS2.s = Counter.FF[3].RS2.Nor1.x[2] ($RES_SIM_203) =================== Scalar Matching =================== variable to equation ********************** var 1 --> eqn 204 var 2 --> eqn 205 var 3 --> eqn 206 var 4 --> eqn 207 var 5 --> eqn 263 var 6 --> eqn 264 var 7 --> eqn 265 var 8 --> eqn 266 var 9 --> eqn 229 var 10 --> eqn 267 var 11 --> eqn 272 var 12 --> eqn 277 var 13 --> eqn 42 var 14 --> eqn 40 var 15 --> eqn 283 var 16 --> eqn 285 var 17 --> eqn 287 var 18 --> eqn 289 var 19 --> eqn 25 var 20 --> eqn 35 var 21 --> eqn 339 var 22 --> eqn 346 var 23 --> eqn 348 var 24 --> eqn 350 var 25 --> eqn 351 var 26 --> eqn 411 var 27 --> eqn 387 var 28 --> eqn 413 var 29 --> eqn 395 var 30 --> eqn 415 var 31 --> eqn 397 var 32 --> eqn 1 var 33 --> eqn 27 var 34 --> eqn 34 var 35 --> eqn 29 var 36 --> eqn 33 var 37 --> eqn 57 var 38 --> eqn 32 var 39 --> eqn 31 var 40 --> eqn 273 var 41 --> eqn 274 var 42 --> eqn 275 var 43 --> eqn 276 var 44 --> eqn 290 var 45 --> eqn 50 var 46 --> eqn 44 var 47 --> eqn 51 var 48 --> eqn 45 var 49 --> eqn 52 var 50 --> eqn 46 var 51 --> eqn 53 var 52 --> eqn 47 var 53 --> eqn 143 var 54 --> eqn 113 var 55 --> eqn 114 var 56 --> eqn 144 var 57 --> eqn 115 var 58 --> eqn 116 var 59 --> eqn 145 var 60 --> eqn 117 var 61 --> eqn 118 var 62 --> eqn 146 var 63 --> eqn 119 var 64 --> eqn 120 var 65 --> eqn 320 var 66 --> eqn 321 var 67 --> eqn 322 var 68 --> eqn 323 var 69 --> eqn 21 var 70 --> eqn 313 var 71 --> eqn 319 var 72 --> eqn 325 var 73 --> eqn 332 var 74 --> eqn 333 var 75 --> eqn 334 var 76 --> eqn 335 var 77 --> eqn 336 var 78 --> eqn 219 var 79 --> eqn 220 var 80 --> eqn 221 var 81 --> eqn 222 var 82 --> eqn 268 var 83 --> eqn 269 var 84 --> eqn 270 var 85 --> eqn 271 var 86 --> eqn 30 var 87 --> eqn 414 var 88 --> eqn 412 var 89 --> eqn 410 var 90 --> eqn 255 var 91 --> eqn 256 var 92 --> eqn 257 var 93 --> eqn 258 var 94 --> eqn 408 var 95 --> eqn 98 var 96 --> eqn 99 var 97 --> eqn 100 var 98 --> eqn 101 var 99 --> eqn 407 var 100 --> eqn 406 var 101 --> eqn 405 var 102 --> eqn 28 var 103 --> eqn 80 var 104 --> eqn 62 var 105 --> eqn 82 var 106 --> eqn 71 var 107 --> eqn 84 var 108 --> eqn 76 var 109 --> eqn 104 var 110 --> eqn 404 var 111 --> eqn 178 var 112 --> eqn 20 var 113 --> eqn 340 var 114 --> eqn 217 var 115 --> eqn 22 var 116 --> eqn 363 var 117 --> eqn 224 var 118 --> eqn 24 var 119 --> eqn 369 var 120 --> eqn 227 var 121 --> eqn 26 var 122 --> eqn 375 var 123 --> eqn 403 var 124 --> eqn 376 var 125 --> eqn 370 var 126 --> eqn 377 var 127 --> eqn 371 var 128 --> eqn 378 var 129 --> eqn 372 var 130 --> eqn 379 var 131 --> eqn 373 var 132 --> eqn 259 var 133 --> eqn 260 var 134 --> eqn 261 var 135 --> eqn 262 var 136 --> eqn 66 var 137 --> eqn 67 var 138 --> eqn 68 var 139 --> eqn 69 var 140 --> eqn 154 var 141 --> eqn 155 var 142 --> eqn 156 var 143 --> eqn 157 var 144 --> eqn 213 var 145 --> eqn 214 var 146 --> eqn 215 var 147 --> eqn 216 var 148 --> eqn 14 var 149 --> eqn 6 var 150 --> eqn 15 var 151 --> eqn 7 var 152 --> eqn 16 var 153 --> eqn 8 var 154 --> eqn 17 var 155 --> eqn 9 var 156 --> eqn 103 var 157 --> eqn 2 var 158 --> eqn 109 var 159 --> eqn 4 var 160 --> eqn 111 var 161 --> eqn 10 var 162 --> eqn 121 var 163 --> eqn 12 var 164 --> eqn 70 var 165 --> eqn 90 var 166 --> eqn 96 var 167 --> eqn 102 var 168 --> eqn 18 var 169 --> eqn 43 var 170 --> eqn 49 var 171 --> eqn 56 var 172 --> eqn 288 var 173 --> eqn 286 var 174 --> eqn 284 var 175 --> eqn 282 var 176 --> eqn 326 var 177 --> eqn 327 var 178 --> eqn 328 var 179 --> eqn 329 var 180 --> eqn 125 var 181 --> eqn 126 var 182 --> eqn 127 var 183 --> eqn 128 var 184 --> eqn 402 var 185 --> eqn 361 var 186 --> eqn 129 var 187 --> eqn 158 var 188 --> eqn 167 var 189 --> eqn 168 var 190 --> eqn 360 var 191 --> eqn 41 var 192 --> eqn 48 var 193 --> eqn 54 var 194 --> eqn 63 var 195 --> eqn 359 var 196 --> eqn 64 var 197 --> eqn 123 var 198 --> eqn 73 var 199 --> eqn 147 var 200 --> eqn 91 var 201 --> eqn 148 var 202 --> eqn 97 var 203 --> eqn 153 var 204 --> eqn 358 var 205 --> eqn 357 var 206 --> eqn 356 var 207 --> eqn 355 var 208 --> eqn 354 var 209 --> eqn 353 var 210 --> eqn 179 var 211 --> eqn 218 var 212 --> eqn 225 var 213 --> eqn 228 var 214 --> eqn 92 var 215 --> eqn 86 var 216 --> eqn 93 var 217 --> eqn 87 var 218 --> eqn 94 var 219 --> eqn 88 var 220 --> eqn 95 var 221 --> eqn 89 var 222 --> eqn 200 var 223 --> eqn 201 var 224 --> eqn 202 var 225 --> eqn 203 var 226 --> eqn 169 var 227 --> eqn 159 var 228 --> eqn 160 var 229 --> eqn 170 var 230 --> eqn 161 var 231 --> eqn 162 var 232 --> eqn 171 var 233 --> eqn 163 var 234 --> eqn 164 var 235 --> eqn 172 var 236 --> eqn 165 var 237 --> eqn 166 var 238 --> eqn 352 var 239 --> eqn 311 var 240 --> eqn 309 var 241 --> eqn 308 var 242 --> eqn 208 var 243 --> eqn 209 var 244 --> eqn 210 var 245 --> eqn 211 var 246 --> eqn 318 var 247 --> eqn 324 var 248 --> eqn 330 var 249 --> eqn 338 var 250 --> eqn 307 var 251 --> eqn 303 var 252 --> eqn 304 var 253 --> eqn 305 var 254 --> eqn 306 var 255 --> eqn 230 var 256 --> eqn 231 var 257 --> eqn 232 var 258 --> eqn 233 var 259 --> eqn 364 var 260 --> eqn 365 var 261 --> eqn 366 var 262 --> eqn 367 var 263 --> eqn 299 var 264 --> eqn 300 var 265 --> eqn 301 var 266 --> eqn 302 var 267 --> eqn 196 var 268 --> eqn 197 var 269 --> eqn 198 var 270 --> eqn 199 var 271 --> eqn 362 var 272 --> eqn 368 var 273 --> eqn 374 var 274 --> eqn 380 var 275 --> eqn 391 var 276 --> eqn 392 var 277 --> eqn 393 var 278 --> eqn 394 var 279 --> eqn 295 var 280 --> eqn 296 var 281 --> eqn 297 var 282 --> eqn 298 var 283 --> eqn 192 var 284 --> eqn 193 var 285 --> eqn 194 var 286 --> eqn 195 var 287 --> eqn 243 var 288 --> eqn 244 var 289 --> eqn 245 var 290 --> eqn 246 var 291 --> eqn 188 var 292 --> eqn 189 var 293 --> eqn 190 var 294 --> eqn 191 var 295 --> eqn 242 var 296 --> eqn 184 var 297 --> eqn 185 var 298 --> eqn 186 var 299 --> eqn 187 var 300 --> eqn 180 var 301 --> eqn 181 var 302 --> eqn 182 var 303 --> eqn 183 var 304 --> eqn 58 var 305 --> eqn 59 var 306 --> eqn 60 var 307 --> eqn 61 var 308 --> eqn 139 var 309 --> eqn 140 var 310 --> eqn 141 var 311 --> eqn 142 var 312 --> eqn 149 var 313 --> eqn 150 var 314 --> eqn 151 var 315 --> eqn 152 var 316 --> eqn 135 var 317 --> eqn 136 var 318 --> eqn 137 var 319 --> eqn 138 var 320 --> eqn 131 var 321 --> eqn 132 var 322 --> eqn 133 var 323 --> eqn 134 var 324 --> eqn 55 var 325 --> eqn 110 var 326 --> eqn 65 var 327 --> eqn 112 var 328 --> eqn 74 var 329 --> eqn 122 var 330 --> eqn 78 var 331 --> eqn 124 var 332 --> eqn 130 var 333 --> eqn 382 var 334 --> eqn 173 var 335 --> eqn 177 var 336 --> eqn 390 var 337 --> eqn 174 var 338 --> eqn 212 var 339 --> eqn 5 var 340 --> eqn 175 var 341 --> eqn 223 var 342 --> eqn 13 var 343 --> eqn 176 var 344 --> eqn 226 var 345 --> eqn 23 var 346 --> eqn 36 var 347 --> eqn 37 var 348 --> eqn 38 var 349 --> eqn 39 var 350 --> eqn 251 var 351 --> eqn 247 var 352 --> eqn 252 var 353 --> eqn 248 var 354 --> eqn 253 var 355 --> eqn 249 var 356 --> eqn 254 var 357 --> eqn 250 var 358 --> eqn 383 var 359 --> eqn 384 var 360 --> eqn 385 var 361 --> eqn 386 var 362 --> eqn 105 var 363 --> eqn 106 var 364 --> eqn 107 var 365 --> eqn 108 var 366 --> eqn 314 var 367 --> eqn 278 var 368 --> eqn 315 var 369 --> eqn 279 var 370 --> eqn 316 var 371 --> eqn 280 var 372 --> eqn 317 var 373 --> eqn 281 var 374 --> eqn 341 var 375 --> eqn 342 var 376 --> eqn 343 var 377 --> eqn 344 var 378 --> eqn 291 var 379 --> eqn 238 var 380 --> eqn 239 var 381 --> eqn 240 var 382 --> eqn 241 var 383 --> eqn 310 var 384 --> eqn 234 var 385 --> eqn 235 var 386 --> eqn 236 var 387 --> eqn 237 var 388 --> eqn 388 var 389 --> eqn 3 var 390 --> eqn 11 var 391 --> eqn 19 var 392 --> eqn 399 var 393 --> eqn 292 var 394 --> eqn 400 var 395 --> eqn 293 var 396 --> eqn 401 var 397 --> eqn 294 var 398 --> eqn 409 var 399 --> eqn 331 var 400 --> eqn 381 var 401 --> eqn 389 var 402 --> eqn 396 var 403 --> eqn 398 var 404 --> eqn 337 var 405 --> eqn 345 var 406 --> eqn 347 var 407 --> eqn 349 var 408 --> eqn 312 var 409 --> eqn 85 var 410 --> eqn 81 var 411 --> eqn 77 var 412 --> eqn 83 var 413 --> eqn 79 var 414 --> eqn 75 var 415 --> eqn 72 equation to variable ********************** eqn 1 --> var 32 eqn 2 --> var 157 eqn 3 --> var 389 eqn 4 --> var 159 eqn 5 --> var 339 eqn 6 --> var 149 eqn 7 --> var 151 eqn 8 --> var 153 eqn 9 --> var 155 eqn 10 --> var 161 eqn 11 --> var 390 eqn 12 --> var 163 eqn 13 --> var 342 eqn 14 --> var 148 eqn 15 --> var 150 eqn 16 --> var 152 eqn 17 --> var 154 eqn 18 --> var 168 eqn 19 --> var 391 eqn 20 --> var 112 eqn 21 --> var 69 eqn 22 --> var 115 eqn 23 --> var 345 eqn 24 --> var 118 eqn 25 --> var 19 eqn 26 --> var 121 eqn 27 --> var 33 eqn 28 --> var 102 eqn 29 --> var 35 eqn 30 --> var 86 eqn 31 --> var 39 eqn 32 --> var 38 eqn 33 --> var 36 eqn 34 --> var 34 eqn 35 --> var 20 eqn 36 --> var 346 eqn 37 --> var 347 eqn 38 --> var 348 eqn 39 --> var 349 eqn 40 --> var 14 eqn 41 --> var 191 eqn 42 --> var 13 eqn 43 --> var 169 eqn 44 --> var 46 eqn 45 --> var 48 eqn 46 --> var 50 eqn 47 --> var 52 eqn 48 --> var 192 eqn 49 --> var 170 eqn 50 --> var 45 eqn 51 --> var 47 eqn 52 --> var 49 eqn 53 --> var 51 eqn 54 --> var 193 eqn 55 --> var 324 eqn 56 --> var 171 eqn 57 --> var 37 eqn 58 --> var 304 eqn 59 --> var 305 eqn 60 --> var 306 eqn 61 --> var 307 eqn 62 --> var 104 eqn 63 --> var 194 eqn 64 --> var 196 eqn 65 --> var 326 eqn 66 --> var 136 eqn 67 --> var 137 eqn 68 --> var 138 eqn 69 --> var 139 eqn 70 --> var 164 eqn 71 --> var 106 eqn 72 --> var 415 eqn 73 --> var 198 eqn 74 --> var 328 eqn 75 --> var 414 eqn 76 --> var 108 eqn 77 --> var 411 eqn 78 --> var 330 eqn 79 --> var 413 eqn 80 --> var 103 eqn 81 --> var 410 eqn 82 --> var 105 eqn 83 --> var 412 eqn 84 --> var 107 eqn 85 --> var 409 eqn 86 --> var 215 eqn 87 --> var 217 eqn 88 --> var 219 eqn 89 --> var 221 eqn 90 --> var 165 eqn 91 --> var 200 eqn 92 --> var 214 eqn 93 --> var 216 eqn 94 --> var 218 eqn 95 --> var 220 eqn 96 --> var 166 eqn 97 --> var 202 eqn 98 --> var 95 eqn 99 --> var 96 eqn 100 --> var 97 eqn 101 --> var 98 eqn 102 --> var 167 eqn 103 --> var 156 eqn 104 --> var 109 eqn 105 --> var 362 eqn 106 --> var 363 eqn 107 --> var 364 eqn 108 --> var 365 eqn 109 --> var 158 eqn 110 --> var 325 eqn 111 --> var 160 eqn 112 --> var 327 eqn 113 --> var 54 eqn 114 --> var 55 eqn 115 --> var 57 eqn 116 --> var 58 eqn 117 --> var 60 eqn 118 --> var 61 eqn 119 --> var 63 eqn 120 --> var 64 eqn 121 --> var 162 eqn 122 --> var 329 eqn 123 --> var 197 eqn 124 --> var 331 eqn 125 --> var 180 eqn 126 --> var 181 eqn 127 --> var 182 eqn 128 --> var 183 eqn 129 --> var 186 eqn 130 --> var 332 eqn 131 --> var 320 eqn 132 --> var 321 eqn 133 --> var 322 eqn 134 --> var 323 eqn 135 --> var 316 eqn 136 --> var 317 eqn 137 --> var 318 eqn 138 --> var 319 eqn 139 --> var 308 eqn 140 --> var 309 eqn 141 --> var 310 eqn 142 --> var 311 eqn 143 --> var 53 eqn 144 --> var 56 eqn 145 --> var 59 eqn 146 --> var 62 eqn 147 --> var 199 eqn 148 --> var 201 eqn 149 --> var 312 eqn 150 --> var 313 eqn 151 --> var 314 eqn 152 --> var 315 eqn 153 --> var 203 eqn 154 --> var 140 eqn 155 --> var 141 eqn 156 --> var 142 eqn 157 --> var 143 eqn 158 --> var 187 eqn 159 --> var 227 eqn 160 --> var 228 eqn 161 --> var 230 eqn 162 --> var 231 eqn 163 --> var 233 eqn 164 --> var 234 eqn 165 --> var 236 eqn 166 --> var 237 eqn 167 --> var 188 eqn 168 --> var 189 eqn 169 --> var 226 eqn 170 --> var 229 eqn 171 --> var 232 eqn 172 --> var 235 eqn 173 --> var 334 eqn 174 --> var 337 eqn 175 --> var 340 eqn 176 --> var 343 eqn 177 --> var 335 eqn 178 --> var 111 eqn 179 --> var 210 eqn 180 --> var 300 eqn 181 --> var 301 eqn 182 --> var 302 eqn 183 --> var 303 eqn 184 --> var 296 eqn 185 --> var 297 eqn 186 --> var 298 eqn 187 --> var 299 eqn 188 --> var 291 eqn 189 --> var 292 eqn 190 --> var 293 eqn 191 --> var 294 eqn 192 --> var 283 eqn 193 --> var 284 eqn 194 --> var 285 eqn 195 --> var 286 eqn 196 --> var 267 eqn 197 --> var 268 eqn 198 --> var 269 eqn 199 --> var 270 eqn 200 --> var 222 eqn 201 --> var 223 eqn 202 --> var 224 eqn 203 --> var 225 eqn 204 --> var 1 eqn 205 --> var 2 eqn 206 --> var 3 eqn 207 --> var 4 eqn 208 --> var 242 eqn 209 --> var 243 eqn 210 --> var 244 eqn 211 --> var 245 eqn 212 --> var 338 eqn 213 --> var 144 eqn 214 --> var 145 eqn 215 --> var 146 eqn 216 --> var 147 eqn 217 --> var 114 eqn 218 --> var 211 eqn 219 --> var 78 eqn 220 --> var 79 eqn 221 --> var 80 eqn 222 --> var 81 eqn 223 --> var 341 eqn 224 --> var 117 eqn 225 --> var 212 eqn 226 --> var 344 eqn 227 --> var 120 eqn 228 --> var 213 eqn 229 --> var 9 eqn 230 --> var 255 eqn 231 --> var 256 eqn 232 --> var 257 eqn 233 --> var 258 eqn 234 --> var 384 eqn 235 --> var 385 eqn 236 --> var 386 eqn 237 --> var 387 eqn 238 --> var 379 eqn 239 --> var 380 eqn 240 --> var 381 eqn 241 --> var 382 eqn 242 --> var 295 eqn 243 --> var 287 eqn 244 --> var 288 eqn 245 --> var 289 eqn 246 --> var 290 eqn 247 --> var 351 eqn 248 --> var 353 eqn 249 --> var 355 eqn 250 --> var 357 eqn 251 --> var 350 eqn 252 --> var 352 eqn 253 --> var 354 eqn 254 --> var 356 eqn 255 --> var 90 eqn 256 --> var 91 eqn 257 --> var 92 eqn 258 --> var 93 eqn 259 --> var 132 eqn 260 --> var 133 eqn 261 --> var 134 eqn 262 --> var 135 eqn 263 --> var 5 eqn 264 --> var 6 eqn 265 --> var 7 eqn 266 --> var 8 eqn 267 --> var 10 eqn 268 --> var 82 eqn 269 --> var 83 eqn 270 --> var 84 eqn 271 --> var 85 eqn 272 --> var 11 eqn 273 --> var 40 eqn 274 --> var 41 eqn 275 --> var 42 eqn 276 --> var 43 eqn 277 --> var 12 eqn 278 --> var 367 eqn 279 --> var 369 eqn 280 --> var 371 eqn 281 --> var 373 eqn 282 --> var 175 eqn 283 --> var 15 eqn 284 --> var 174 eqn 285 --> var 16 eqn 286 --> var 173 eqn 287 --> var 17 eqn 288 --> var 172 eqn 289 --> var 18 eqn 290 --> var 44 eqn 291 --> var 378 eqn 292 --> var 393 eqn 293 --> var 395 eqn 294 --> var 397 eqn 295 --> var 279 eqn 296 --> var 280 eqn 297 --> var 281 eqn 298 --> var 282 eqn 299 --> var 263 eqn 300 --> var 264 eqn 301 --> var 265 eqn 302 --> var 266 eqn 303 --> var 251 eqn 304 --> var 252 eqn 305 --> var 253 eqn 306 --> var 254 eqn 307 --> var 250 eqn 308 --> var 241 eqn 309 --> var 240 eqn 310 --> var 383 eqn 311 --> var 239 eqn 312 --> var 408 eqn 313 --> var 70 eqn 314 --> var 366 eqn 315 --> var 368 eqn 316 --> var 370 eqn 317 --> var 372 eqn 318 --> var 246 eqn 319 --> var 71 eqn 320 --> var 65 eqn 321 --> var 66 eqn 322 --> var 67 eqn 323 --> var 68 eqn 324 --> var 247 eqn 325 --> var 72 eqn 326 --> var 176 eqn 327 --> var 177 eqn 328 --> var 178 eqn 329 --> var 179 eqn 330 --> var 248 eqn 331 --> var 399 eqn 332 --> var 73 eqn 333 --> var 74 eqn 334 --> var 75 eqn 335 --> var 76 eqn 336 --> var 77 eqn 337 --> var 404 eqn 338 --> var 249 eqn 339 --> var 21 eqn 340 --> var 113 eqn 341 --> var 374 eqn 342 --> var 375 eqn 343 --> var 376 eqn 344 --> var 377 eqn 345 --> var 405 eqn 346 --> var 22 eqn 347 --> var 406 eqn 348 --> var 23 eqn 349 --> var 407 eqn 350 --> var 24 eqn 351 --> var 25 eqn 352 --> var 238 eqn 353 --> var 209 eqn 354 --> var 208 eqn 355 --> var 207 eqn 356 --> var 206 eqn 357 --> var 205 eqn 358 --> var 204 eqn 359 --> var 195 eqn 360 --> var 190 eqn 361 --> var 185 eqn 362 --> var 271 eqn 363 --> var 116 eqn 364 --> var 259 eqn 365 --> var 260 eqn 366 --> var 261 eqn 367 --> var 262 eqn 368 --> var 272 eqn 369 --> var 119 eqn 370 --> var 125 eqn 371 --> var 127 eqn 372 --> var 129 eqn 373 --> var 131 eqn 374 --> var 273 eqn 375 --> var 122 eqn 376 --> var 124 eqn 377 --> var 126 eqn 378 --> var 128 eqn 379 --> var 130 eqn 380 --> var 274 eqn 381 --> var 400 eqn 382 --> var 333 eqn 383 --> var 358 eqn 384 --> var 359 eqn 385 --> var 360 eqn 386 --> var 361 eqn 387 --> var 27 eqn 388 --> var 388 eqn 389 --> var 401 eqn 390 --> var 336 eqn 391 --> var 275 eqn 392 --> var 276 eqn 393 --> var 277 eqn 394 --> var 278 eqn 395 --> var 29 eqn 396 --> var 402 eqn 397 --> var 31 eqn 398 --> var 403 eqn 399 --> var 392 eqn 400 --> var 394 eqn 401 --> var 396 eqn 402 --> var 184 eqn 403 --> var 123 eqn 404 --> var 110 eqn 405 --> var 101 eqn 406 --> var 100 eqn 407 --> var 99 eqn 408 --> var 94 eqn 409 --> var 398 eqn 410 --> var 89 eqn 411 --> var 26 eqn 412 --> var 88 eqn 413 --> var 28 eqn 414 --> var 87 eqn 415 --> var 30 " [Timeout remaining time 660] [Calling sys.exit(0), Time elapsed: 2.6401394098065794] Failed to read output from testmodel.py, exit status != 0: ['time', 'Counter.FF[1].RS1.TD1.x', 'Counter.FF[1].RS2.TD1.x', 'Counter.FF[2].RS1.TD1.x', 'Counter.FF[2].RS2.TD1.x', 'Counter.FF[3].RS1.TD1.x', 'Counter.FF[3].RS2.TD1.x', 'Counter.FF[4].RS1.TD1.x', 'Counter.FF[4].RS2.TD1.x'] 0.35351511277258396 0.367771579 0.18520028900000002 Calling exit ...