Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.3_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.00181/0.00181, allocations: 109.7 kB / 22 MB, free: 5.227 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.002079/0.002079, allocations: 213.5 kB / 25.3 MB, free: 2.887 MB / 14.72 MB " [Timeout remaining time 180] loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo", uses=false) [Timeout 180] "Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.71/1.71, allocations: 207.7 MB / 236.2 MB, free: 9.758 MB / 190.1 MB " [Timeout remaining time 178] Using package Modelica with version 3.2.3 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+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_3.2.3_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_3.2.3_Modelica.Electrical.Digital.Examples.Counter") [Timeout 660] "Notification: Performance of FrontEnd - Absyn->SCode: time 2.577e-05/2.577e-05, allocations: 2.281 kB / 348.5 MB, free: 9.375 MB / 286.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Counter): time 0.004045/0.00407, allocations: 2.378 MB / 350.9 MB, free: 6.977 MB / 286.1 MB Notification: Performance of NFInst.instExpressions: time 0.00292/0.00699, allocations: 1.229 MB / 352.1 MB, free: 5.738 MB / 286.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0001495/0.00714, allocations: 11.88 kB / 352.1 MB, free: 5.727 MB / 286.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0002417/0.007381, allocations: 67.38 kB / 352.2 MB, free: 5.66 MB / 286.1 MB Notification: Performance of NFTyping.typeBindings: time 0.000189/0.00757, allocations: 75.3 kB / 352.3 MB, free: 5.586 MB / 286.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.000658/0.008228, allocations: 243.7 kB / 352.5 MB, free: 5.348 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.002491/0.01072, allocations: 2.233 MB / 354.8 MB, free: 3.113 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.001004/0.01172, allocations: 0.504 MB / 355.3 MB, free: 2.602 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.001771/0.01349, allocations: 1.182 MB / 356.4 MB, free: 1.418 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0008326/0.01433, allocations: 0.6118 MB / 357 MB, free: 0.8047 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 0.000231/0.01456, allocations: 124 kB / 357.2 MB, free: 0.6836 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0002337/0.01479, allocations: 128 kB / 357.3 MB, free: 0.5586 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.001331/0.01612, allocations: 1.265 MB / 358.6 MB, free: 15.29 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.0004987/0.01662, allocations: 0.5753 MB / 359.1 MB, free: 14.7 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 9.916e-05/0.01672, allocations: 44 kB / 359.2 MB, free: 14.66 MB / 302.1 MB Notification: Performance of FrontEnd: time 8.641e-05/0.01681, allocations: 19.81 kB / 359.2 MB, free: 14.64 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.005022/0.02183, allocations: 4.039 MB / 363.2 MB, free: 10.45 MB / 302.1 MB Notification: Performance of [SIM] FunctionAlias: time 0.0007779/0.02261, allocations: 0.6747 MB / 363.9 MB, free: 9.754 MB / 302.1 MB Notification: Performance of [SIM] Early Inline: time 0.003572/0.02618, allocations: 3.149 MB / 367.1 MB, free: 6.562 MB / 302.1 MB Notification: Performance of [SIM] Simplify 1: time 0.000728/0.02691, allocations: 453.4 kB / 367.5 MB, free: 6.059 MB / 302.1 MB Notification: Performance of [SIM] Alias: time 0.002864/0.02977, allocations: 1.982 MB / 369.5 MB, free: 3.996 MB / 302.1 MB Notification: Performance of [SIM] Simplify 2: time 0.0007015/0.03047, allocations: 449.4 kB / 369.9 MB, free: 3.496 MB / 302.1 MB Notification: Performance of [SIM] Remove Stream: time 0.0005057/0.03098, allocations: 344.1 kB / 370.3 MB, free: 3.121 MB / 302.1 MB Notification: Performance of [SIM] Detect States: time 0.001216/0.03219, allocations: 0.8795 MB / 371.1 MB, free: 2.188 MB / 302.1 MB Notification: Performance of [SIM] Events: time 0.0008462/0.03304, allocations: 0.5434 MB / 371.7 MB, free: 1.637 MB / 302.1 MB Notification: Performance of [SIM] Partitioning: time 0.002073/0.03511, allocations: 1.67 MB / 373.4 MB, free: 15.95 MB / 318.1 MB Error: Internal error NBSorting.tarjan failed to sort system: System Variables (121/423) **************************** (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) [ALGB] (1) protected Real Clock.t_width = (Clock.width * Clock.period) / 100.0 (20|45) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Enable.y (21|46) [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}) (22|54) [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}) (23|66) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.TD1.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) [DISS] (1) protected Real Clock.t_i (fixed = true, start = Clock.startTime) (69|209) [DISC] (1) Boolean $SEV_11 (70|210) [DISC] (1) Boolean $SEV_10 (71|211) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.Not1.x (72|215) [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}) (73|223) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.TD1.y (74|227) [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}) (75|239) [DISC] (1) Boolean $SEV_9 (76|240) [DISC] (1) Boolean $SEV_8 (77|241) [DISC] (1) Boolean $SEV_7 (78|242) [DISC] (1) Boolean $SEV_6 (79|243) [ALGB] (4) protected Real[4] Counter.FF.RS2.TD1.xr (80|247) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.k (81|251) [DISC] (1) Boolean $SEV_5 (82|252) [DISC] (4) Boolean[4] $SEV_4 (83|256) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_9 (84|260) [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}) (85|264) [DISC] (4) Boolean[4] $SEV_3 (86|268) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_8 (87|272) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.q (88|276) [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}) (89|280) [DISC] (4) Boolean[4] $SEV_2 (90|284) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_7 (91|288) [DISC] (4) Boolean[4] $SEV_1 (92|292) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_6 (93|296) [DISC] (1) Boolean $SEV_0 (94|297) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_5 (95|301) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_4 (96|305) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And3.y (97|309) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_3 (98|313) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.And1.y (99|317) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_2 (100|321) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_1 (101|325) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.And4.x (102|333) [DISC] (1) Boolean $TEV_0 (103|334) [DISC] (12) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 3] Counter.FF.And2.x (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] (1) Boolean $TEV_14 (107|359) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor1.y (108|363) [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}) (109|367) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_13 (110|371) [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}) (111|379) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS1.Nor2.y (112|383) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_12 (113|387) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_11 (114|391) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] $TEV_10 (115|395) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.qn (116|399) [DISC] (8) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4, 2] Counter.FF.RS2.Nor2.x (117|407) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.q (118|411) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.RS2.qn (119|415) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.FF.clk (120|419) [DISC] (1) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-') Clock.y (121|420) [DISC] (4) enumeration Modelica.Electrical.Digital.Interfaces.Logic('U', 'X', '0', '1', 'Z', 'W', 'L', 'H', '-')[4] Counter.q System Equations (243/423) **************************** (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_25 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_290) (25|31) [SCAL] (1) $SEV_26 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_291) (26|32) [SCAL] (1) $SEV_27 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_292) (27|33) [SCAL] (1) $SEV_28 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_293) (28|34) [SCAL] (1) $SEV_29 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_294) (29|35) [SCAL] (1) $SEV_30 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($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_31 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($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_32 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($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) $SEV_33 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_298) (37|49) [SCAL] (1) Counter.FF[2].RS1.TD1.x = Counter.FF[2].RS1.Nor1.y ($RES_SIM_212) (38|50) [SCAL] (1) $SEV_34 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_299) (39|51) [SCAL] (1) Counter.FF[3].RS1.TD1.x = Counter.FF[3].RS1.qn ($RES_SIM_213) (40|52) [FOR-] (4) ($RES_SIM_15) (40|52) [----] for $i1 in 1:4 loop (40|52) [----] [SCAL] (1) Counter.FF[$i1].And4.auxiliary[1] = Counter.FF[$i1].And4.x[1] ($RES_SIM_16) (40|52) [----] end for; (41|56) [SCAL] (1) Counter.FF[3].RS1.TD1.x = Counter.FF[3].RS1.Nor1.y ($RES_SIM_214) (42|57) [SCAL] (1) Counter.FF[1].Not1.y = Counter.FF[1].And4.x[1] ($RES_SIM_130) (43|58) [SCAL] (1) Counter.FF[4].RS1.TD1.x = Counter.FF[4].RS1.qn ($RES_SIM_215) (44|59) [SCAL] (1) Q0.x[1] = Counter.q[1] ($RES_SIM_90) (45|60) [FOR-] (4) ($RES_SIM_17) (45|60) [----] for $i1 in 1:4 loop (45|60) [----] [SCAL] (1) Counter.FF[$i1].And3.y = $TEV_11[$i1] ($RES_SIM_18) (45|60) [----] end for; (46|64) [SCAL] (1) Counter.FF[2].Not1.y = Counter.FF[2].And3.x[1] ($RES_SIM_131) (47|65) [SCAL] (1) Counter.FF[4].RS1.TD1.x = Counter.FF[4].RS1.Nor1.y ($RES_SIM_216) (48|66) [SCAL] (1) Counter.FF[1].RS1.Nor2.y = Counter.FF[1].RS1.Nor1.x[1] ($RES_SIM_217) (49|67) [SCAL] (1) Counter.FF[2].Not1.y = Counter.FF[2].And4.x[1] ($RES_SIM_132) (50|68) [FOR-] (4) ($RES_SIM_19) (50|68) [----] for $i1 in 1:4 loop (50|68) [----] [SCAL] (1) Counter.FF[$i1].And3.auxiliary_n = Counter.FF[$i1].And3.auxiliary[2] ($RES_SIM_20) (50|68) [----] end for; (51|72) [SCAL] (1) Counter.FF[1].RS1.Nor2.y = Counter.FF[1].RS1.q ($RES_SIM_218) (52|73) [SCAL] (1) Counter.FF[3].Not1.y = Counter.FF[3].And3.x[1] ($RES_SIM_133) (53|74) [SCAL] (1) Counter.FF[4].q = Counter.q[4] ($RES_SIM_93) (54|75) [SCAL] (1) Counter.FF[2].RS1.Nor2.y = Counter.FF[2].RS1.Nor1.x[1] ($RES_SIM_219) (55|76) [SCAL] (1) Counter.FF[3].Not1.y = Counter.FF[3].And4.x[1] ($RES_SIM_134) (56|77) [SCAL] (1) Counter.FF[3].q = Counter.q[3] ($RES_SIM_94) (57|78) [SCAL] (1) Counter.FF[4].Not1.y = Counter.FF[4].And3.x[1] ($RES_SIM_135) (58|79) [SCAL] (1) Counter.FF[3].q = Counter.FF[4].clk ($RES_SIM_95) (59|80) [SCAL] (1) Counter.FF[4].Not1.y = Counter.FF[4].And4.x[1] ($RES_SIM_136) (60|81) [SCAL] (1) Counter.FF[2].q = Counter.q[2] ($RES_SIM_96) (61|82) [SCAL] (1) Counter.FF[1].RS2.q = Counter.FF[1].And3.x[2] ($RES_SIM_137) (62|83) [SCAL] (1) Counter.FF[2].q = Counter.FF[3].clk ($RES_SIM_97) (63|84) [SCAL] (1) Counter.FF[2].RS2.q = Counter.FF[2].And3.x[2] ($RES_SIM_138) (64|85) [SCAL] (1) Counter.FF[1].q = Counter.q[1] ($RES_SIM_98) (65|86) [SCAL] (1) Counter.FF[3].RS2.q = Counter.FF[3].And3.x[2] ($RES_SIM_139) (66|87) [SCAL] (1) Counter.FF[1].q = Counter.FF[2].clk ($RES_SIM_99) (67|88) [SCAL] (1) $SEV_35 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_300) (68|89) [SCAL] (1) $SEV_36 = Q3.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_301) (69|90) [FOR-] (4) ($RES_SIM_21) (69|90) [----] for $i1 in 1:4 loop (69|90) [----] [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) (69|90) [----] end for; (70|94) [SCAL] (1) Counter.FF[2].RS1.Nor2.y = Counter.FF[2].RS1.q ($RES_SIM_220) (71|95) [SCAL] (1) Counter.FF[3].RS1.Nor2.y = Counter.FF[3].RS1.Nor1.x[1] ($RES_SIM_221) (72|96) [FOR-] (4) ($RES_SIM_23) (72|96) [----] for $i1 in 1:4 loop (72|96) [----] [SCAL] (1) Counter.FF[$i1].And3.auxiliary[1] = Counter.FF[$i1].And3.x[1] ($RES_SIM_24) (72|96) [----] end for; (73|100) [SCAL] (1) Counter.FF[3].RS1.Nor2.y = Counter.FF[3].RS1.q ($RES_SIM_222) (74|101) [SCAL] (1) Counter.FF[4].RS1.Nor2.y = Counter.FF[4].RS1.Nor1.x[1] ($RES_SIM_223) (75|102) [FOR-] (4) ($RES_SIM_25) (75|102) [----] for $i1 in 1:4 loop (75|102) [----] [SCAL] (1) Counter.FF[$i1].And2.y = $TEV_10[$i1] ($RES_SIM_26) (75|102) [----] end for; (76|106) [SCAL] (1) Counter.FF[4].RS1.Nor2.y = Counter.FF[4].RS1.q ($RES_SIM_224) (77|107) [SCAL] (1) Counter.FF[1].RS1.r = Counter.FF[1].RS1.Nor2.x[1] ($RES_SIM_225) (78|108) [SCAL] (1) Counter.FF[4].RS2.q = Counter.FF[4].And3.x[2] ($RES_SIM_140) (79|109) [FOR-] (4) ($RES_SIM_27) (79|109) [----] for $i1 in 1:4 loop (79|109) [----] [SCAL] (1) Counter.FF[$i1].And2.auxiliary_n = Counter.FF[$i1].And2.auxiliary[3] ($RES_SIM_28) (79|109) [----] end for; (80|113) [SCAL] (1) Counter.FF[2].RS1.r = Counter.FF[2].RS1.Nor2.x[1] ($RES_SIM_226) (81|114) [SCAL] (1) Counter.FF[1].RS2.qn = Counter.FF[1].And4.x[2] ($RES_SIM_141) (82|115) [SCAL] (1) Counter.FF[3].RS1.r = Counter.FF[3].RS1.Nor2.x[1] ($RES_SIM_227) (83|116) [SCAL] (1) Counter.FF[2].RS2.qn = Counter.FF[2].And4.x[2] ($RES_SIM_142) (84|117) [FOR-] (8) ($RES_SIM_29) (84|117) [----] for {$i1 in 1:4, $i2 in 1:2} loop (84|117) [----] [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) (84|117) [----] end for; (85|125) [SCAL] (1) Counter.FF[4].RS1.r = Counter.FF[4].RS1.Nor2.x[1] ($RES_SIM_228) (86|126) [SCAL] (1) Counter.FF[3].RS2.qn = Counter.FF[3].And4.x[2] ($RES_SIM_143) (87|127) [SCAL] (1) Counter.FF[1].RS1.s = Counter.FF[1].RS1.Nor1.x[2] ($RES_SIM_229) (88|128) [SCAL] (1) Counter.FF[4].RS2.qn = Counter.FF[4].And4.x[2] ($RES_SIM_144) (89|129) [SCAL] (1) Counter.FF[1].And3.y = Counter.FF[1].RS1.s ($RES_SIM_145) (90|130) [SCAL] (1) Counter.FF[2].And3.y = Counter.FF[2].RS1.s ($RES_SIM_146) (91|131) [SCAL] (1) Counter.FF[3].And3.y = Counter.FF[3].RS1.s ($RES_SIM_147) (92|132) [SCAL] (1) Counter.FF[4].And3.y = Counter.FF[4].RS1.s ($RES_SIM_148) (93|133) [SCAL] (1) Counter.FF[1].And4.y = Counter.FF[1].RS1.r ($RES_SIM_149) (94|134) [SCAL] (1) $TEV_0 = sample(1, Clock.startTime, Clock.period) ($RES_EVT_234) (95|135) [FOR-] (4) ($RES_EVT_235) (95|135) [----] for $i1 in 1:4 loop (95|135) [----] [SCAL] (1) $TEV_1[$i1] = $PRE.Counter.FF[$i1].RS1.Nor1.auxiliary_n ($RES_EVT_236) (95|135) [----] end for; (96|139) [FOR-] (4) ($RES_EVT_237) (96|139) [----] for $i1 in 1:4 loop (96|139) [----] [SCAL] (1) $TEV_2[$i1] = $PRE.Counter.FF[$i1].RS1.Nor2.auxiliary_n ($RES_EVT_238) (96|139) [----] end for; (97|143) [FOR-] (4) ($RES_EVT_239) (97|143) [----] for $i1 in 1:4 loop (97|143) [----] [SCAL] (1) $TEV_3[$i1] = $PRE.Counter.FF.RS1.TD1.x ($RES_EVT_240) (97|143) [----] end for; (98|147) [FOR-] (4) ($RES_SIM_31) (98|147) [----] for $i1 in 1:4 loop (98|147) [----] [SCAL] (1) Counter.FF[$i1].And2.auxiliary[1] = Counter.FF[$i1].And2.x[1] ($RES_SIM_32) (98|147) [----] end for; (99|151) [SCAL] (1) Counter.FF[2].RS1.s = Counter.FF[2].RS1.Nor1.x[2] ($RES_SIM_230) (100|152) [SCAL] (1) Counter.FF[3].RS1.s = Counter.FF[3].RS1.Nor1.x[2] ($RES_SIM_231) (101|153) [FOR-] (4) ($RES_SIM_33) (101|153) [----] for $i1 in 1:4 loop (101|153) [----] [SCAL] (1) Counter.FF[$i1].And1.y = $TEV_9[$i1] ($RES_SIM_34) (101|153) [----] end for; (102|157) [SCAL] (1) Counter.FF[4].RS1.s = Counter.FF[4].RS1.Nor1.x[2] ($RES_SIM_232) (103|158) [FOR-] (4) ($RES_SIM_35) (103|158) [----] for $i1 in 1:4 loop (103|158) [----] [SCAL] (1) Counter.FF[$i1].And1.auxiliary_n = Counter.FF[$i1].And1.auxiliary[3] ($RES_SIM_36) (103|158) [----] end for; (104|162) [SCAL] (1) Counter.FF[2].And4.y = Counter.FF[2].RS1.r ($RES_SIM_150) (105|163) [FOR-] (8) ($RES_SIM_37) (105|163) [----] for {$i1 in 1:4, $i2 in 1:2} loop (105|163) [----] [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) (105|163) [----] end for; (106|171) [SCAL] (1) Counter.FF[3].And4.y = Counter.FF[3].RS1.r ($RES_SIM_151) (107|172) [SCAL] (1) Counter.FF[4].And4.y = Counter.FF[4].RS1.r ($RES_SIM_152) (108|173) [FOR-] (4) ($RES_SIM_39) (108|173) [----] for $i1 in 1:4 loop (108|173) [----] [SCAL] (1) Counter.FF[$i1].And1.auxiliary[1] = Counter.FF[$i1].And1.x[1] ($RES_SIM_40) (108|173) [----] end for; (109|177) [SCAL] (1) Counter.FF[1].k = Counter.FF[1].And2.x[2] ($RES_SIM_153) (110|178) [SCAL] (1) Counter.FF[2].k = Counter.FF[2].And2.x[2] ($RES_SIM_154) (111|179) [SCAL] (1) Counter.FF[3].k = Counter.FF[3].And2.x[2] ($RES_SIM_155) (112|180) [SCAL] (1) Counter.FF[4].k = Counter.FF[4].And2.x[2] ($RES_SIM_156) (113|181) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].And2.x[3] ($RES_SIM_157) (114|182) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].And1.x[1] ($RES_SIM_158) (115|183) [SCAL] (1) Counter.FF[1].clk = Counter.FF[1].Not1.x ($RES_SIM_159) (116|184) [FOR-] (4) ($RES_EVT_241) (116|184) [----] for $i1 in 1:4 loop (116|184) [----] [SCAL] (1) $TEV_4[$i1] = $PRE.Counter.FF[$i1].RS1.TD1.x ($RES_EVT_242) (116|184) [----] end for; (117|188) [FOR-] (4) ($RES_EVT_243) (117|188) [----] for $i1 in 1:4 loop (117|188) [----] [SCAL] (1) $TEV_5[$i1] = $PRE.Counter.FF[$i1].RS2.Nor1.auxiliary_n ($RES_EVT_244) (117|188) [----] end for; (118|192) [FOR-] (4) ($RES_EVT_245) (118|192) [----] for $i1 in 1:4 loop (118|192) [----] [SCAL] (1) $TEV_6[$i1] = $PRE.Counter.FF[$i1].RS2.Nor2.auxiliary_n ($RES_EVT_246) (118|192) [----] end for; (119|196) [FOR-] (4) ($RES_EVT_247) (119|196) [----] for $i1 in 1:4 loop (119|196) [----] [SCAL] (1) $TEV_7[$i1] = $PRE.Counter.FF.RS2.TD1.x ($RES_EVT_248) (119|196) [----] end for; (120|200) [FOR-] (4) ($RES_EVT_249) (120|200) [----] for $i1 in 1:4 loop (120|200) [----] [SCAL] (1) $TEV_8[$i1] = $PRE.Counter.FF[$i1].RS2.TD1.x ($RES_EVT_250) (120|200) [----] end for; (121|204) [FOR-] (4) ($RES_SIM_41) (121|204) [----] for $i1 in 1:4 loop (121|204) [----] [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_8[$i1] ($RES_SIM_42) (121|204) [----] end for; (122|208) [FOR-] (4) ($RES_SIM_43) (122|208) [----] for $i1 in 1:4 loop (122|208) [----] [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) (122|208) [----] end for; (123|212) [FOR-] (4) ($RES_SIM_45) (123|212) [----] for $i1 in 1:4 loop (123|212) [----] [SCAL] (1) Counter.FF[$i1].RS2.TD1.xr = Integer($TEV_7[$i1]) ($RES_SIM_46) (123|212) [----] end for; (124|216) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].And2.x[3] ($RES_SIM_160) (125|217) [FOR-] (4) ($RES_SIM_47) (125|217) [----] for $i1 in 1:4 loop (125|217) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.y = $TEV_6[$i1] ($RES_SIM_48) (125|217) [----] end for; (126|221) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].And1.x[1] ($RES_SIM_161) (127|222) [SCAL] (1) Counter.FF[2].clk = Counter.FF[2].Not1.x ($RES_SIM_162) (128|223) [FOR-] (4) ($RES_SIM_49) (128|223) [----] for $i1 in 1:4 loop (128|223) [----] [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) (128|223) [----] end for; (129|227) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].And2.x[3] ($RES_SIM_163) (130|228) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].And1.x[1] ($RES_SIM_164) (131|229) [SCAL] (1) Counter.FF[3].clk = Counter.FF[3].Not1.x ($RES_SIM_165) (132|230) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].And2.x[3] ($RES_SIM_166) (133|231) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].And1.x[1] ($RES_SIM_167) (134|232) [SCAL] (1) Counter.FF[4].clk = Counter.FF[4].Not1.x ($RES_SIM_168) (135|233) [SCAL] (1) Counter.FF[1].And1.y = Counter.FF[1].RS2.s ($RES_SIM_169) (136|234) [FOR-] (4) ($RES_EVT_251) (136|234) [----] for $i1 in 1:4 loop (136|234) [----] [SCAL] (1) $TEV_9[$i1] = $PRE.Counter.FF[$i1].And1.auxiliary_n ($RES_EVT_252) (136|234) [----] end for; (137|238) [FOR-] (4) ($RES_EVT_253) (137|238) [----] for $i1 in 1:4 loop (137|238) [----] [SCAL] (1) $TEV_10[$i1] = $PRE.Counter.FF[$i1].And2.auxiliary_n ($RES_EVT_254) (137|238) [----] end for; (138|242) [FOR-] (4) ($RES_EVT_255) (138|242) [----] for $i1 in 1:4 loop (138|242) [----] [SCAL] (1) $TEV_11[$i1] = $PRE.Counter.FF[$i1].And3.auxiliary_n ($RES_EVT_256) (138|242) [----] end for; (139|246) [FOR-] (4) ($RES_EVT_257) (139|246) [----] for $i1 in 1:4 loop (139|246) [----] [SCAL] (1) $TEV_12[$i1] = $PRE.Counter.FF[$i1].And4.auxiliary_n ($RES_EVT_258) (139|246) [----] end for; (140|250) [FOR-] (4) ($RES_EVT_259) (140|250) [----] for $i1 in 1:4 loop (140|250) [----] [SCAL] (1) $TEV_13[$i1] = $PRE.Counter.FF[$i1].Not1.auxiliary ($RES_EVT_260) (140|250) [----] end for; (141|254) [FOR-] (4) ($RES_SIM_51) (141|254) [----] for $i1 in 1:4 loop (141|254) [----] [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) (141|254) [----] end for; (142|258) [FOR-] (4) ($RES_SIM_53) (142|258) [----] for $i1 in 1:4 loop (142|258) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor2.auxiliary[1] = Counter.FF[$i1].RS2.Nor2.x[1] ($RES_SIM_54) (142|258) [----] end for; (143|262) [FOR-] (4) ($RES_SIM_9) (143|262) [----] for $i1 in 1:4 loop (143|262) [----] [SCAL] (1) Counter.FF[$i1].And4.y = $TEV_12[$i1] ($RES_SIM_10) (143|262) [----] end for; (144|266) [FOR-] (4) ($RES_SIM_55) (144|266) [----] for $i1 in 1:4 loop (144|266) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.y = $TEV_5[$i1] ($RES_SIM_56) (144|266) [----] end for; (145|270) [FOR-] (4) ($RES_SIM_7) (145|270) [----] for $i1 in 1:4 loop (145|270) [----] [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) (145|270) [----] end for; (146|274) [SCAL] (1) Counter.FF[2].And1.y = Counter.FF[2].RS2.s ($RES_SIM_170) (147|275) [FOR-] (4) ($RES_SIM_57) (147|275) [----] for $i1 in 1:4 loop (147|275) [----] [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) (147|275) [----] end for; (148|279) [SCAL] (1) Counter.FF[3].And1.y = Counter.FF[3].RS2.s ($RES_SIM_171) (149|280) [FOR-] (4) ($RES_SIM_5) (149|280) [----] for $i1 in 1:4 loop (149|280) [----] [SCAL] (1) Counter.FF[$i1].Not1.y = $TEV_13[$i1] ($RES_SIM_6) (149|280) [----] end for; (150|284) [SCAL] (1) Counter.FF[4].And1.y = Counter.FF[4].RS2.s ($RES_SIM_172) (151|285) [FOR-] (4) ($RES_SIM_59) (151|285) [----] for $i1 in 1:4 loop (151|285) [----] [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) (151|285) [----] end for; (152|289) [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) (153|290) [SCAL] (1) Counter.FF[1].And2.y = Counter.FF[1].RS2.r ($RES_SIM_173) (154|291) [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) (155|292) [SCAL] (1) Counter.FF[2].And2.y = Counter.FF[2].RS2.r ($RES_SIM_174) (156|293) [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) (157|294) [SCAL] (1) Counter.FF[3].And2.y = Counter.FF[3].RS2.r ($RES_SIM_175) (158|295) [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) (159|296) [SCAL] (1) Counter.FF[4].And2.y = Counter.FF[4].RS2.r ($RES_SIM_176) (160|297) [ALGO] (2) ($RES_SIM_0) (160|297) [----] $TEV_14 := time >= Enable.stepTime; (160|297) [----] if $TEV_14 then (160|297) [----] Enable.y := Enable.after; (160|297) [----] elseif true then (160|297) [----] Enable.y := Enable.before; (160|297) [----] end if; (161|299) [SCAL] (1) Counter.FF[1].RS2.TD1.y = Counter.FF[1].RS2.Nor2.x[2] ($RES_SIM_177) (162|300) [SCAL] (1) Counter.FF[2].RS2.TD1.y = Counter.FF[2].RS2.Nor2.x[2] ($RES_SIM_178) (163|301) [SCAL] (1) Counter.FF[3].RS2.TD1.y = Counter.FF[3].RS2.Nor2.x[2] ($RES_SIM_179) (164|302) [SCAL] (1) $SEV_0 = not time >= Clock.startTime or time >= (Clock.t_i + Clock.t_width) ($RES_EVT_261) (165|303) [FOR-] (4) ($RES_EVT_262) (165|303) [----] for $i1 in 1:4 loop (165|303) [----] [SCAL] (1) $SEV_1[$i1] = Counter.FF[$i1].RS1.TD1.delayTime > 0.0 ($RES_EVT_263) (165|303) [----] end for; (166|307) [FOR-] (4) ($RES_EVT_264) (166|307) [----] for $i1 in 1:4 loop (166|307) [----] [SCAL] (1) $SEV_2[$i1] = time >= Counter.FF[$i1].RS1.TD1.delayTime ($RES_EVT_265) (166|307) [----] end for; (167|311) [FOR-] (4) ($RES_EVT_266) (167|311) [----] for $i1 in 1:4 loop (167|311) [----] [SCAL] (1) $SEV_3[$i1] = Counter.FF[$i1].RS2.TD1.delayTime > 0.0 ($RES_EVT_267) (167|311) [----] end for; (168|315) [FOR-] (4) ($RES_EVT_268) (168|315) [----] for $i1 in 1:4 loop (168|315) [----] [SCAL] (1) $SEV_4[$i1] = time >= Counter.FF[$i1].RS2.TD1.delayTime ($RES_EVT_269) (168|315) [----] end for; (169|319) [SCAL] (1) Clock.t_width = Clock.width * Clock.period / 100.0 ($RES_BND_233) (170|320) [SCAL] (1) Clock.y = Counter.FF[1].clk ($RES_SIM_100) (171|321) [SCAL] (1) Enable.y = Counter.FF[1].j ($RES_SIM_101) (172|322) [FOR-] (4) ($RES_SIM_61) (172|322) [----] for $i1 in 1:4 loop (172|322) [----] [SCAL] (1) Counter.FF[$i1].RS2.Nor1.auxiliary[1] = Counter.FF[$i1].RS2.Nor1.x[1] ($RES_SIM_62) (172|322) [----] end for; (173|326) [SCAL] (1) Enable.y = Counter.FF[1].k ($RES_SIM_102) (174|327) [SCAL] (1) Enable.y = Counter.FF[2].j ($RES_SIM_103) (175|328) [FOR-] (4) ($RES_SIM_63) (175|328) [----] for $i1 in 1:4 loop (175|328) [----] [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_4[$i1] ($RES_SIM_64) (175|328) [----] end for; (176|332) [SCAL] (1) Enable.y = Counter.FF[2].k ($RES_SIM_104) (177|333) [SCAL] (1) Enable.y = Counter.FF[3].j ($RES_SIM_105) (178|334) [FOR-] (4) ($RES_SIM_65) (178|334) [----] for $i1 in 1:4 loop (178|334) [----] [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) (178|334) [----] end for; (179|338) [SCAL] (1) Enable.y = Counter.FF[3].k ($RES_SIM_106) (180|339) [SCAL] (1) Counter.FF[4].RS2.TD1.y = Counter.FF[4].RS2.Nor2.x[2] ($RES_SIM_180) (181|340) [SCAL] (1) Enable.y = Counter.FF[4].j ($RES_SIM_107) (182|341) [FOR-] (4) ($RES_SIM_67) (182|341) [----] for $i1 in 1:4 loop (182|341) [----] [SCAL] (1) Counter.FF[$i1].RS1.TD1.xr = Integer($TEV_3[$i1]) ($RES_SIM_68) (182|341) [----] end for; (183|345) [SCAL] (1) Counter.FF[1].RS2.TD1.x = Counter.FF[1].RS2.qn ($RES_SIM_181) (184|346) [SCAL] (1) Enable.y = Counter.FF[4].k ($RES_SIM_108) (185|347) [SCAL] (1) Counter.FF[1].RS2.TD1.x = Counter.FF[1].RS2.Nor1.y ($RES_SIM_182) (186|348) [SCAL] (1) Counter.FF[1].RS1.qn = Counter.FF[1].And1.x[3] ($RES_SIM_109) (187|349) [FOR-] (4) ($RES_SIM_69) (187|349) [----] for $i1 in 1:4 loop (187|349) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.y = $TEV_2[$i1] ($RES_SIM_70) (187|349) [----] end for; (188|353) [SCAL] (1) Counter.FF[2].RS2.TD1.x = Counter.FF[2].RS2.qn ($RES_SIM_183) (189|354) [SCAL] (1) Counter.FF[2].RS2.TD1.x = Counter.FF[2].RS2.Nor1.y ($RES_SIM_184) (190|355) [SCAL] (1) Counter.FF[3].RS2.TD1.x = Counter.FF[3].RS2.qn ($RES_SIM_185) (191|356) [SCAL] (1) Counter.FF[3].RS2.TD1.x = Counter.FF[3].RS2.Nor1.y ($RES_SIM_186) (192|357) [SCAL] (1) Counter.FF[4].RS2.TD1.x = Counter.FF[4].RS2.qn ($RES_SIM_187) (193|358) [SCAL] (1) Counter.FF[4].RS2.TD1.x = Counter.FF[4].RS2.Nor1.y ($RES_SIM_188) (194|359) [SCAL] (1) Counter.FF[1].RS2.Nor2.y = Counter.FF[1].RS2.Nor1.x[1] ($RES_SIM_189) (195|360) [SCAL] (1) $SEV_5 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_270) (196|361) [SCAL] (1) $SEV_6 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_271) (197|362) [SCAL] (1) $SEV_7 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_272) (198|363) [SCAL] (1) $SEV_8 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_273) (199|364) [SCAL] (1) $SEV_9 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_274) (200|365) [SCAL] (1) $SEV_10 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_275) (201|366) [SCAL] (1) $SEV_11 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_276) (202|367) [SCAL] (1) $SEV_12 = Q0.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_277) (203|368) [SCAL] (1) $SEV_13 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_278) (204|369) [SCAL] (1) $SEV_14 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_279) (205|370) [SCAL] (1) Counter.FF[1].RS1.qn = Counter.FF[1].q ($RES_SIM_110) (206|371) [SCAL] (1) Counter.FF[2].RS1.qn = Counter.FF[2].And1.x[3] ($RES_SIM_111) (207|372) [FOR-] (4) ($RES_SIM_71) (207|372) [----] for $i1 in 1:4 loop (207|372) [----] [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) (207|372) [----] end for; (208|376) [SCAL] (1) Counter.FF[2].RS1.qn = Counter.FF[2].q ($RES_SIM_112) (209|377) [SCAL] (1) Counter.FF[3].RS1.qn = Counter.FF[3].And1.x[3] ($RES_SIM_113) (210|378) [FOR-] (4) ($RES_SIM_73) (210|378) [----] for $i1 in 1:4 loop (210|378) [----] [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) (210|378) [----] end for; (211|382) [SCAL] (1) Counter.FF[3].RS1.qn = Counter.FF[3].q ($RES_SIM_114) (212|383) [SCAL] (1) Counter.FF[4].RS1.qn = Counter.FF[4].And1.x[3] ($RES_SIM_115) (213|384) [FOR-] (4) ($RES_SIM_75) (213|384) [----] for $i1 in 1:4 loop (213|384) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor2.auxiliary[1] = Counter.FF[$i1].RS1.Nor2.x[1] ($RES_SIM_76) (213|384) [----] end for; (214|388) [SCAL] (1) Counter.FF[4].RS1.qn = Counter.FF[4].q ($RES_SIM_116) (215|389) [SCAL] (1) Counter.FF[1].RS2.Nor2.y = Counter.FF[1].RS2.q ($RES_SIM_190) (216|390) [SCAL] (1) Counter.FF[1].RS1.q = Counter.FF[1].And2.x[1] ($RES_SIM_117) (217|391) [FOR-] (4) ($RES_SIM_77) (217|391) [----] for $i1 in 1:4 loop (217|391) [----] [SCAL] (1) Counter.FF[$i1].RS1.Nor1.y = $TEV_1[$i1] ($RES_SIM_78) (217|391) [----] end for; (218|395) [SCAL] (1) Counter.FF[2].RS2.Nor2.y = Counter.FF[2].RS2.Nor1.x[1] ($RES_SIM_191) (219|396) [SCAL] (1) Counter.FF[1].RS1.q = Counter.FF[1].qn ($RES_SIM_118) (220|397) [SCAL] (1) Counter.FF[2].RS2.Nor2.y = Counter.FF[2].RS2.q ($RES_SIM_192) (221|398) [SCAL] (1) Counter.FF[2].RS1.q = Counter.FF[2].And2.x[1] ($RES_SIM_119) (222|399) [FOR-] (4) ($RES_SIM_79) (222|399) [----] for $i1 in 1:4 loop (222|399) [----] [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) (222|399) [----] end for; (223|403) [SCAL] (1) Counter.FF[3].RS2.Nor2.y = Counter.FF[3].RS2.Nor1.x[1] ($RES_SIM_193) (224|404) [SCAL] (1) Counter.FF[3].RS2.Nor2.y = Counter.FF[3].RS2.q ($RES_SIM_194) (225|405) [SCAL] (1) Counter.FF[4].RS2.Nor2.y = Counter.FF[4].RS2.Nor1.x[1] ($RES_SIM_195) (226|406) [SCAL] (1) Counter.FF[4].RS2.Nor2.y = Counter.FF[4].RS2.q ($RES_SIM_196) (227|407) [SCAL] (1) Counter.FF[1].RS2.r = Counter.FF[1].RS2.Nor2.x[1] ($RES_SIM_197) (228|408) [SCAL] (1) Counter.FF[2].RS2.r = Counter.FF[2].RS2.Nor2.x[1] ($RES_SIM_198) (229|409) [SCAL] (1) Counter.FF[3].RS2.r = Counter.FF[3].RS2.Nor2.x[1] ($RES_SIM_199) (230|410) [SCAL] (1) $SEV_15 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_280) (231|411) [SCAL] (1) $SEV_16 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_281) (232|412) [SCAL] (1) $SEV_17 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'Z' ($RES_EVT_282) (233|413) [SCAL] (1) $SEV_18 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'W' ($RES_EVT_283) (234|414) [SCAL] (1) $SEV_19 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'L' ($RES_EVT_284) (235|415) [SCAL] (1) $SEV_20 = Q1.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'H' ($RES_EVT_285) (236|416) [SCAL] (1) $SEV_21 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'U' ($RES_EVT_286) (237|417) [SCAL] (1) Counter.FF[4].RS2.r = Counter.FF[4].RS2.Nor2.x[1] ($RES_SIM_200) (238|418) [SCAL] (1) $SEV_22 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'X' ($RES_EVT_287) (239|419) [SCAL] (1) Counter.FF[1].RS2.s = Counter.FF[1].RS2.Nor1.x[2] ($RES_SIM_201) (240|420) [SCAL] (1) $SEV_23 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'0' ($RES_EVT_288) (241|421) [SCAL] (1) Counter.FF[2].RS2.s = Counter.FF[2].RS2.Nor1.x[2] ($RES_SIM_202) (242|422) [SCAL] (1) $SEV_24 = Q2.x[1] == Modelica.Electrical.Digital.Interfaces.Logic.'1' ($RES_EVT_289) (243|423) [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 208 var 2 --> eqn 209 var 3 --> eqn 210 var 4 --> eqn 211 var 5 --> eqn 270 var 6 --> eqn 271 var 7 --> eqn 272 var 8 --> eqn 273 var 9 --> eqn 233 var 10 --> eqn 274 var 11 --> eqn 279 var 12 --> eqn 284 var 13 --> eqn 89 var 14 --> eqn 88 var 15 --> eqn 290 var 16 --> eqn 292 var 17 --> eqn 294 var 18 --> eqn 296 var 19 --> eqn 25 var 20 --> eqn 50 var 21 --> eqn 347 var 22 --> eqn 354 var 23 --> eqn 356 var 24 --> eqn 358 var 25 --> eqn 359 var 26 --> eqn 419 var 27 --> eqn 395 var 28 --> eqn 421 var 29 --> eqn 403 var 30 --> eqn 423 var 31 --> eqn 405 var 32 --> eqn 1 var 33 --> eqn 27 var 34 --> eqn 48 var 35 --> eqn 29 var 36 --> eqn 42 var 37 --> eqn 59 var 38 --> eqn 40 var 39 --> eqn 35 var 40 --> eqn 280 var 41 --> eqn 281 var 42 --> eqn 282 var 43 --> eqn 283 var 44 --> eqn 319 var 45 --> eqn 297 var 46 --> eqn 52 var 47 --> eqn 44 var 48 --> eqn 53 var 49 --> eqn 45 var 50 --> eqn 54 var 51 --> eqn 46 var 52 --> eqn 55 var 53 --> eqn 47 var 54 --> eqn 147 var 55 --> eqn 117 var 56 --> eqn 118 var 57 --> eqn 148 var 58 --> eqn 119 var 59 --> eqn 120 var 60 --> eqn 149 var 61 --> eqn 121 var 62 --> eqn 122 var 63 --> eqn 150 var 64 --> eqn 123 var 65 --> eqn 124 var 66 --> eqn 328 var 67 --> eqn 329 var 68 --> eqn 330 var 69 --> eqn 331 var 70 --> eqn 321 var 71 --> eqn 327 var 72 --> eqn 333 var 73 --> eqn 340 var 74 --> eqn 341 var 75 --> eqn 342 var 76 --> eqn 343 var 77 --> eqn 344 var 78 --> eqn 223 var 79 --> eqn 224 var 80 --> eqn 225 var 81 --> eqn 226 var 82 --> eqn 275 var 83 --> eqn 276 var 84 --> eqn 277 var 85 --> eqn 278 var 86 --> eqn 34 var 87 --> eqn 33 var 88 --> eqn 32 var 89 --> eqn 31 var 90 --> eqn 262 var 91 --> eqn 263 var 92 --> eqn 264 var 93 --> eqn 265 var 94 --> eqn 30 var 95 --> eqn 102 var 96 --> eqn 103 var 97 --> eqn 104 var 98 --> eqn 105 var 99 --> eqn 422 var 100 --> eqn 420 var 101 --> eqn 418 var 102 --> eqn 28 var 103 --> eqn 82 var 104 --> eqn 64 var 105 --> eqn 84 var 106 --> eqn 73 var 107 --> eqn 86 var 108 --> eqn 78 var 109 --> eqn 108 var 110 --> eqn 416 var 111 --> eqn 182 var 112 --> eqn 20 var 113 --> eqn 348 var 114 --> eqn 221 var 115 --> eqn 22 var 116 --> eqn 371 var 117 --> eqn 228 var 118 --> eqn 24 var 119 --> eqn 377 var 120 --> eqn 231 var 121 --> eqn 26 var 122 --> eqn 383 var 123 --> eqn 415 var 124 --> eqn 384 var 125 --> eqn 378 var 126 --> eqn 385 var 127 --> eqn 379 var 128 --> eqn 386 var 129 --> eqn 380 var 130 --> eqn 387 var 131 --> eqn 381 var 132 --> eqn 266 var 133 --> eqn 267 var 134 --> eqn 268 var 135 --> eqn 269 var 136 --> eqn 68 var 137 --> eqn 69 var 138 --> eqn 70 var 139 --> eqn 71 var 140 --> eqn 158 var 141 --> eqn 159 var 142 --> eqn 160 var 143 --> eqn 161 var 144 --> eqn 217 var 145 --> eqn 218 var 146 --> eqn 219 var 147 --> eqn 220 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 107 var 157 --> eqn 2 var 158 --> eqn 113 var 159 --> eqn 4 var 160 --> eqn 115 var 161 --> eqn 10 var 162 --> eqn 125 var 163 --> eqn 12 var 164 --> eqn 72 var 165 --> eqn 94 var 166 --> eqn 100 var 167 --> eqn 106 var 168 --> eqn 18 var 169 --> eqn 43 var 170 --> eqn 51 var 171 --> eqn 58 var 172 --> eqn 295 var 173 --> eqn 293 var 174 --> eqn 291 var 175 --> eqn 289 var 176 --> eqn 334 var 177 --> eqn 335 var 178 --> eqn 336 var 179 --> eqn 337 var 180 --> eqn 129 var 181 --> eqn 130 var 182 --> eqn 131 var 183 --> eqn 132 var 184 --> eqn 414 var 185 --> eqn 413 var 186 --> eqn 133 var 187 --> eqn 162 var 188 --> eqn 171 var 189 --> eqn 172 var 190 --> eqn 412 var 191 --> eqn 41 var 192 --> eqn 49 var 193 --> eqn 56 var 194 --> eqn 65 var 195 --> eqn 411 var 196 --> eqn 66 var 197 --> eqn 127 var 198 --> eqn 75 var 199 --> eqn 151 var 200 --> eqn 95 var 201 --> eqn 152 var 202 --> eqn 101 var 203 --> eqn 157 var 204 --> eqn 410 var 205 --> eqn 369 var 206 --> eqn 368 var 207 --> eqn 367 var 208 --> eqn 23 var 209 --> eqn 366 var 210 --> eqn 365 var 211 --> eqn 183 var 212 --> eqn 222 var 213 --> eqn 229 var 214 --> eqn 232 var 215 --> eqn 96 var 216 --> eqn 90 var 217 --> eqn 97 var 218 --> eqn 91 var 219 --> eqn 98 var 220 --> eqn 92 var 221 --> eqn 99 var 222 --> eqn 93 var 223 --> eqn 204 var 224 --> eqn 205 var 225 --> eqn 206 var 226 --> eqn 207 var 227 --> eqn 173 var 228 --> eqn 163 var 229 --> eqn 164 var 230 --> eqn 174 var 231 --> eqn 165 var 232 --> eqn 166 var 233 --> eqn 175 var 234 --> eqn 167 var 235 --> eqn 168 var 236 --> eqn 176 var 237 --> eqn 169 var 238 --> eqn 170 var 239 --> eqn 364 var 240 --> eqn 363 var 241 --> eqn 362 var 242 --> eqn 361 var 243 --> eqn 212 var 244 --> eqn 213 var 245 --> eqn 214 var 246 --> eqn 215 var 247 --> eqn 326 var 248 --> eqn 332 var 249 --> eqn 338 var 250 --> eqn 346 var 251 --> eqn 360 var 252 --> eqn 315 var 253 --> eqn 316 var 254 --> eqn 317 var 255 --> eqn 318 var 256 --> eqn 234 var 257 --> eqn 235 var 258 --> eqn 236 var 259 --> eqn 237 var 260 --> eqn 372 var 261 --> eqn 373 var 262 --> eqn 374 var 263 --> eqn 375 var 264 --> eqn 311 var 265 --> eqn 312 var 266 --> eqn 313 var 267 --> eqn 314 var 268 --> eqn 200 var 269 --> eqn 201 var 270 --> eqn 202 var 271 --> eqn 203 var 272 --> eqn 370 var 273 --> eqn 376 var 274 --> eqn 382 var 275 --> eqn 388 var 276 --> eqn 399 var 277 --> eqn 400 var 278 --> eqn 401 var 279 --> eqn 402 var 280 --> eqn 307 var 281 --> eqn 308 var 282 --> eqn 309 var 283 --> eqn 310 var 284 --> eqn 196 var 285 --> eqn 197 var 286 --> eqn 198 var 287 --> eqn 199 var 288 --> eqn 303 var 289 --> eqn 304 var 290 --> eqn 305 var 291 --> eqn 306 var 292 --> eqn 192 var 293 --> eqn 193 var 294 --> eqn 194 var 295 --> eqn 195 var 296 --> eqn 302 var 297 --> eqn 188 var 298 --> eqn 189 var 299 --> eqn 190 var 300 --> eqn 191 var 301 --> eqn 184 var 302 --> eqn 185 var 303 --> eqn 186 var 304 --> eqn 187 var 305 --> eqn 60 var 306 --> eqn 61 var 307 --> eqn 62 var 308 --> eqn 63 var 309 --> eqn 143 var 310 --> eqn 144 var 311 --> eqn 145 var 312 --> eqn 146 var 313 --> eqn 153 var 314 --> eqn 154 var 315 --> eqn 155 var 316 --> eqn 156 var 317 --> eqn 139 var 318 --> eqn 140 var 319 --> eqn 141 var 320 --> eqn 142 var 321 --> eqn 135 var 322 --> eqn 136 var 323 --> eqn 137 var 324 --> eqn 138 var 325 --> eqn 57 var 326 --> eqn 114 var 327 --> eqn 67 var 328 --> eqn 116 var 329 --> eqn 76 var 330 --> eqn 126 var 331 --> eqn 80 var 332 --> eqn 128 var 333 --> eqn 134 var 334 --> eqn 390 var 335 --> eqn 177 var 336 --> eqn 181 var 337 --> eqn 398 var 338 --> eqn 178 var 339 --> eqn 216 var 340 --> eqn 5 var 341 --> eqn 179 var 342 --> eqn 227 var 343 --> eqn 13 var 344 --> eqn 180 var 345 --> eqn 230 var 346 --> eqn 36 var 347 --> eqn 37 var 348 --> eqn 38 var 349 --> eqn 39 var 350 --> eqn 258 var 351 --> eqn 254 var 352 --> eqn 259 var 353 --> eqn 255 var 354 --> eqn 260 var 355 --> eqn 256 var 356 --> eqn 261 var 357 --> eqn 257 var 358 --> eqn 298 var 359 --> eqn 391 var 360 --> eqn 392 var 361 --> eqn 393 var 362 --> eqn 394 var 363 --> eqn 109 var 364 --> eqn 110 var 365 --> eqn 111 var 366 --> eqn 112 var 367 --> eqn 250 var 368 --> eqn 251 var 369 --> eqn 252 var 370 --> eqn 253 var 371 --> eqn 322 var 372 --> eqn 285 var 373 --> eqn 323 var 374 --> eqn 286 var 375 --> eqn 324 var 376 --> eqn 287 var 377 --> eqn 325 var 378 --> eqn 288 var 379 --> eqn 349 var 380 --> eqn 350 var 381 --> eqn 351 var 382 --> eqn 352 var 383 --> eqn 246 var 384 --> eqn 247 var 385 --> eqn 248 var 386 --> eqn 249 var 387 --> eqn 242 var 388 --> eqn 243 var 389 --> eqn 244 var 390 --> eqn 245 var 391 --> eqn 238 var 392 --> eqn 239 var 393 --> eqn 240 var 394 --> eqn 241 var 395 --> eqn 396 var 396 --> eqn 3 var 397 --> eqn 11 var 398 --> eqn 19 var 399 --> eqn 407 var 400 --> eqn 299 var 401 --> eqn 408 var 402 --> eqn 300 var 403 --> eqn 409 var 404 --> eqn 301 var 405 --> eqn 417 var 406 --> eqn 339 var 407 --> eqn 389 var 408 --> eqn 397 var 409 --> eqn 404 var 410 --> eqn 406 var 411 --> eqn 345 var 412 --> eqn 353 var 413 --> eqn 355 var 414 --> eqn 357 var 415 --> eqn 320 var 416 --> eqn 87 var 417 --> eqn 83 var 418 --> eqn 79 var 419 --> eqn 21 var 420 --> eqn 85 var 421 --> eqn 81 var 422 --> eqn 77 var 423 --> eqn 74 equation to variable ********************** eqn 1 --> var 32 eqn 2 --> var 157 eqn 3 --> var 396 eqn 4 --> var 159 eqn 5 --> var 340 eqn 6 --> var 149 eqn 7 --> var 151 eqn 8 --> var 153 eqn 9 --> var 155 eqn 10 --> var 161 eqn 11 --> var 397 eqn 12 --> var 163 eqn 13 --> var 343 eqn 14 --> var 148 eqn 15 --> var 150 eqn 16 --> var 152 eqn 17 --> var 154 eqn 18 --> var 168 eqn 19 --> var 398 eqn 20 --> var 112 eqn 21 --> var 419 eqn 22 --> var 115 eqn 23 --> var 208 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 94 eqn 31 --> var 89 eqn 32 --> var 88 eqn 33 --> var 87 eqn 34 --> var 86 eqn 35 --> var 39 eqn 36 --> var 346 eqn 37 --> var 347 eqn 38 --> var 348 eqn 39 --> var 349 eqn 40 --> var 38 eqn 41 --> var 191 eqn 42 --> var 36 eqn 43 --> var 169 eqn 44 --> var 47 eqn 45 --> var 49 eqn 46 --> var 51 eqn 47 --> var 53 eqn 48 --> var 34 eqn 49 --> var 192 eqn 50 --> var 20 eqn 51 --> var 170 eqn 52 --> var 46 eqn 53 --> var 48 eqn 54 --> var 50 eqn 55 --> var 52 eqn 56 --> var 193 eqn 57 --> var 325 eqn 58 --> var 171 eqn 59 --> var 37 eqn 60 --> var 305 eqn 61 --> var 306 eqn 62 --> var 307 eqn 63 --> var 308 eqn 64 --> var 104 eqn 65 --> var 194 eqn 66 --> var 196 eqn 67 --> var 327 eqn 68 --> var 136 eqn 69 --> var 137 eqn 70 --> var 138 eqn 71 --> var 139 eqn 72 --> var 164 eqn 73 --> var 106 eqn 74 --> var 423 eqn 75 --> var 198 eqn 76 --> var 329 eqn 77 --> var 422 eqn 78 --> var 108 eqn 79 --> var 418 eqn 80 --> var 331 eqn 81 --> var 421 eqn 82 --> var 103 eqn 83 --> var 417 eqn 84 --> var 105 eqn 85 --> var 420 eqn 86 --> var 107 eqn 87 --> var 416 eqn 88 --> var 14 eqn 89 --> var 13 eqn 90 --> var 216 eqn 91 --> var 218 eqn 92 --> var 220 eqn 93 --> var 222 eqn 94 --> var 165 eqn 95 --> var 200 eqn 96 --> var 215 eqn 97 --> var 217 eqn 98 --> var 219 eqn 99 --> var 221 eqn 100 --> var 166 eqn 101 --> var 202 eqn 102 --> var 95 eqn 103 --> var 96 eqn 104 --> var 97 eqn 105 --> var 98 eqn 106 --> var 167 eqn 107 --> var 156 eqn 108 --> var 109 eqn 109 --> var 363 eqn 110 --> var 364 eqn 111 --> var 365 eqn 112 --> var 366 eqn 113 --> var 158 eqn 114 --> var 326 eqn 115 --> var 160 eqn 116 --> var 328 eqn 117 --> var 55 eqn 118 --> var 56 eqn 119 --> var 58 eqn 120 --> var 59 eqn 121 --> var 61 eqn 122 --> var 62 eqn 123 --> var 64 eqn 124 --> var 65 eqn 125 --> var 162 eqn 126 --> var 330 eqn 127 --> var 197 eqn 128 --> var 332 eqn 129 --> var 180 eqn 130 --> var 181 eqn 131 --> var 182 eqn 132 --> var 183 eqn 133 --> var 186 eqn 134 --> var 333 eqn 135 --> var 321 eqn 136 --> var 322 eqn 137 --> var 323 eqn 138 --> var 324 eqn 139 --> var 317 eqn 140 --> var 318 eqn 141 --> var 319 eqn 142 --> var 320 eqn 143 --> var 309 eqn 144 --> var 310 eqn 145 --> var 311 eqn 146 --> var 312 eqn 147 --> var 54 eqn 148 --> var 57 eqn 149 --> var 60 eqn 150 --> var 63 eqn 151 --> var 199 eqn 152 --> var 201 eqn 153 --> var 313 eqn 154 --> var 314 eqn 155 --> var 315 eqn 156 --> var 316 eqn 157 --> var 203 eqn 158 --> var 140 eqn 159 --> var 141 eqn 160 --> var 142 eqn 161 --> var 143 eqn 162 --> var 187 eqn 163 --> var 228 eqn 164 --> var 229 eqn 165 --> var 231 eqn 166 --> var 232 eqn 167 --> var 234 eqn 168 --> var 235 eqn 169 --> var 237 eqn 170 --> var 238 eqn 171 --> var 188 eqn 172 --> var 189 eqn 173 --> var 227 eqn 174 --> var 230 eqn 175 --> var 233 eqn 176 --> var 236 eqn 177 --> var 335 eqn 178 --> var 338 eqn 179 --> var 341 eqn 180 --> var 344 eqn 181 --> var 336 eqn 182 --> var 111 eqn 183 --> var 211 eqn 184 --> var 301 eqn 185 --> var 302 eqn 186 --> var 303 eqn 187 --> var 304 eqn 188 --> var 297 eqn 189 --> var 298 eqn 190 --> var 299 eqn 191 --> var 300 eqn 192 --> var 292 eqn 193 --> var 293 eqn 194 --> var 294 eqn 195 --> var 295 eqn 196 --> var 284 eqn 197 --> var 285 eqn 198 --> var 286 eqn 199 --> var 287 eqn 200 --> var 268 eqn 201 --> var 269 eqn 202 --> var 270 eqn 203 --> var 271 eqn 204 --> var 223 eqn 205 --> var 224 eqn 206 --> var 225 eqn 207 --> var 226 eqn 208 --> var 1 eqn 209 --> var 2 eqn 210 --> var 3 eqn 211 --> var 4 eqn 212 --> var 243 eqn 213 --> var 244 eqn 214 --> var 245 eqn 215 --> var 246 eqn 216 --> var 339 eqn 217 --> var 144 eqn 218 --> var 145 eqn 219 --> var 146 eqn 220 --> var 147 eqn 221 --> var 114 eqn 222 --> var 212 eqn 223 --> var 78 eqn 224 --> var 79 eqn 225 --> var 80 eqn 226 --> var 81 eqn 227 --> var 342 eqn 228 --> var 117 eqn 229 --> var 213 eqn 230 --> var 345 eqn 231 --> var 120 eqn 232 --> var 214 eqn 233 --> var 9 eqn 234 --> var 256 eqn 235 --> var 257 eqn 236 --> var 258 eqn 237 --> var 259 eqn 238 --> var 391 eqn 239 --> var 392 eqn 240 --> var 393 eqn 241 --> var 394 eqn 242 --> var 387 eqn 243 --> var 388 eqn 244 --> var 389 eqn 245 --> var 390 eqn 246 --> var 383 eqn 247 --> var 384 eqn 248 --> var 385 eqn 249 --> var 386 eqn 250 --> var 367 eqn 251 --> var 368 eqn 252 --> var 369 eqn 253 --> var 370 eqn 254 --> var 351 eqn 255 --> var 353 eqn 256 --> var 355 eqn 257 --> var 357 eqn 258 --> var 350 eqn 259 --> var 352 eqn 260 --> var 354 eqn 261 --> var 356 eqn 262 --> var 90 eqn 263 --> var 91 eqn 264 --> var 92 eqn 265 --> var 93 eqn 266 --> var 132 eqn 267 --> var 133 eqn 268 --> var 134 eqn 269 --> var 135 eqn 270 --> var 5 eqn 271 --> var 6 eqn 272 --> var 7 eqn 273 --> var 8 eqn 274 --> var 10 eqn 275 --> var 82 eqn 276 --> var 83 eqn 277 --> var 84 eqn 278 --> var 85 eqn 279 --> var 11 eqn 280 --> var 40 eqn 281 --> var 41 eqn 282 --> var 42 eqn 283 --> var 43 eqn 284 --> var 12 eqn 285 --> var 372 eqn 286 --> var 374 eqn 287 --> var 376 eqn 288 --> var 378 eqn 289 --> var 175 eqn 290 --> var 15 eqn 291 --> var 174 eqn 292 --> var 16 eqn 293 --> var 173 eqn 294 --> var 17 eqn 295 --> var 172 eqn 296 --> var 18 eqn 297 --> var 45 eqn 298 --> var 358 eqn 299 --> var 400 eqn 300 --> var 402 eqn 301 --> var 404 eqn 302 --> var 296 eqn 303 --> var 288 eqn 304 --> var 289 eqn 305 --> var 290 eqn 306 --> var 291 eqn 307 --> var 280 eqn 308 --> var 281 eqn 309 --> var 282 eqn 310 --> var 283 eqn 311 --> var 264 eqn 312 --> var 265 eqn 313 --> var 266 eqn 314 --> var 267 eqn 315 --> var 252 eqn 316 --> var 253 eqn 317 --> var 254 eqn 318 --> var 255 eqn 319 --> var 44 eqn 320 --> var 415 eqn 321 --> var 70 eqn 322 --> var 371 eqn 323 --> var 373 eqn 324 --> var 375 eqn 325 --> var 377 eqn 326 --> var 247 eqn 327 --> var 71 eqn 328 --> var 66 eqn 329 --> var 67 eqn 330 --> var 68 eqn 331 --> var 69 eqn 332 --> var 248 eqn 333 --> var 72 eqn 334 --> var 176 eqn 335 --> var 177 eqn 336 --> var 178 eqn 337 --> var 179 eqn 338 --> var 249 eqn 339 --> var 406 eqn 340 --> var 73 eqn 341 --> var 74 eqn 342 --> var 75 eqn 343 --> var 76 eqn 344 --> var 77 eqn 345 --> var 411 eqn 346 --> var 250 eqn 347 --> var 21 eqn 348 --> var 113 eqn 349 --> var 379 eqn 350 --> var 380 eqn 351 --> var 381 eqn 352 --> var 382 eqn 353 --> var 412 eqn 354 --> var 22 eqn 355 --> var 413 eqn 356 --> var 23 eqn 357 --> var 414 eqn 358 --> var 24 eqn 359 --> var 25 eqn 360 --> var 251 eqn 361 --> var 242 eqn 362 --> var 241 eqn 363 --> var 240 eqn 364 --> var 239 eqn 365 --> var 210 eqn 366 --> var 209 eqn 367 --> var 207 eqn 368 --> var 206 eqn 369 --> var 205 eqn 370 --> var 272 eqn 371 --> var 116 eqn 372 --> var 260 eqn 373 --> var 261 eqn 374 --> var 262 eqn 375 --> var 263 eqn 376 --> var 273 eqn 377 --> var 119 eqn 378 --> var 125 eqn 379 --> var 127 eqn 380 --> var 129 eqn 381 --> var 131 eqn 382 --> var 274 eqn 383 --> var 122 eqn 384 --> var 124 eqn 385 --> var 126 eqn 386 --> var 128 eqn 387 --> var 130 eqn 388 --> var 275 eqn 389 --> var 407 eqn 390 --> var 334 eqn 391 --> var 359 eqn 392 --> var 360 eqn 393 --> var 361 eqn 394 --> var 362 eqn 395 --> var 27 eqn 396 --> var 395 eqn 397 --> var 408 eqn 398 --> var 337 eqn 399 --> var 276 eqn 400 --> var 277 eqn 401 --> var 278 eqn 402 --> var 279 eqn 403 --> var 29 eqn 404 --> var 409 eqn 405 --> var 31 eqn 406 --> var 410 eqn 407 --> var 399 eqn 408 --> var 401 eqn 409 --> var 403 eqn 410 --> var 204 eqn 411 --> var 195 eqn 412 --> var 190 eqn 413 --> var 185 eqn 414 --> var 184 eqn 415 --> var 123 eqn 416 --> var 110 eqn 417 --> var 405 eqn 418 --> var 101 eqn 419 --> var 26 eqn 420 --> var 100 eqn 421 --> var 28 eqn 422 --> var 99 eqn 423 --> var 30 " [Timeout remaining time 660] [Calling sys.exit(0), Time elapsed: 2.9056226310203783] 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.3130239759921096 0.33046157400000004 0.310327438 Calling exit ...