Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4.conf.json loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo", uses=false) loadFile("/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo", uses=false) Using package Modelica with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo) Using package Complex with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo) Using package ModelicaServices with version 4.0.0 (/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo) Running command: translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Adder2.Adder1.AND.G2.x|Adder2.Adder1.AND.G2.y|Adder2.Adder1.XOR.G2.x|Adder2.Adder1.XOR.G2.y|Adder2.Adder2.AND.G2.x|Adder2.Adder2.AND.G2.y|Adder2.Adder2.XOR.G2.x|Adder2.Adder2.XOR.G2.y|Adder3.Adder1.AND.G2.x|Adder3.Adder1.AND.G2.y|Adder3.Adder1.XOR.G2.x|Adder3.Adder1.XOR.G2.y|Adder3.Adder2.AND.G2.x|Adder3.Adder2.AND.G2.y|Adder3.Adder2.XOR.G2.x|Adder3.Adder2.XOR.G2.y|Adder4.Adder1.AND.G2.x|Adder4.Adder1.AND.G2.y|Adder4.Adder1.XOR.G2.x|Adder4.Adder1.XOR.G2.y|Adder4.Adder2.AND.G2.x|Adder4.Adder2.AND.G2.y|Adder4.Adder2.XOR.G2.x|Adder4.Adder2.XOR.G2.y",fileNamePrefix="Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4") translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|Adder1.Adder1.AND.G2.x|Adder1.Adder1.AND.G2.y|Adder1.Adder1.XOR.G2.x|Adder1.Adder1.XOR.G2.y|Adder1.Adder2.AND.G2.x|Adder1.Adder2.AND.G2.y|Adder1.Adder2.XOR.G2.x|Adder1.Adder2.XOR.G2.y|Adder2.Adder1.AND.G2.x|Adder2.Adder1.AND.G2.y|Adder2.Adder1.XOR.G2.x|Adder2.Adder1.XOR.G2.y|Adder2.Adder2.AND.G2.x|Adder2.Adder2.AND.G2.y|Adder2.Adder2.XOR.G2.x|Adder2.Adder2.XOR.G2.y|Adder3.Adder1.AND.G2.x|Adder3.Adder1.AND.G2.y|Adder3.Adder1.XOR.G2.x|Adder3.Adder1.XOR.G2.y|Adder3.Adder2.AND.G2.x|Adder3.Adder2.AND.G2.y|Adder3.Adder2.XOR.G2.x|Adder3.Adder2.XOR.G2.y|Adder4.Adder1.AND.G2.x|Adder4.Adder1.AND.G2.y|Adder4.Adder1.XOR.G2.x|Adder4.Adder1.XOR.G2.y|Adder4.Adder2.AND.G2.x|Adder4.Adder2.AND.G2.y|Adder4.Adder2.XOR.G2.x|Adder4.Adder2.XOR.G2.y",fileNamePrefix="Modelica_4.0.0_Modelica.Electrical.Digital.Examples.Adder4") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001157/0.001157, allocations: 110.1 kB / 17.7 MB, free: 5.418 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Complex 4.0.0+maint.om/package.mo): time 0.001164/0.001164, allocations: 192 kB / 18.64 MB, free: 4.484 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 4.0.0+maint.om/package.mo): time 1.239/1.239, allocations: 222.9 MB / 242.3 MB, free: 15.18 MB / 206.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.067e-05/2.068e-05, allocations: 2.281 kB / 302 MB, free: 5.207 MB / 238.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Adder4): time 0.005986/0.006022, allocations: 5.839 MB / 307.9 MB, free: 15.36 MB / 254.1 MB Notification: Performance of NFInst.instExpressions: time 0.00429/0.01033, allocations: 2.458 MB / 310.3 MB, free: 12.89 MB / 254.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003536/0.0107, allocations: 19.88 kB / 310.3 MB, free: 12.87 MB / 254.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0004147/0.01112, allocations: 237.8 kB / 310.6 MB, free: 12.64 MB / 254.1 MB Notification: Performance of NFTyping.typeBindings: time 0.000468/0.01161, allocations: 281.7 kB / 310.8 MB, free: 12.36 MB / 254.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001181/0.0128, allocations: 0.8496 MB / 311.7 MB, free: 11.51 MB / 254.1 MB Notification: Performance of NFFlatten.flatten: time 0.002431/0.01524, allocations: 3.026 MB / 314.7 MB, free: 8.48 MB / 254.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009072/0.01615, allocations: 0.8375 MB / 315.6 MB, free: 7.609 MB / 254.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002558/0.01872, allocations: 2.955 MB / 318.5 MB, free: 4.645 MB / 254.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.00119/0.01992, allocations: 1.315 MB / 319.8 MB, free: 3.324 MB / 254.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0004076/0.02034, allocations: 292 kB / 320.1 MB, free: 3.039 MB / 254.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0004247/0.02077, allocations: 304 kB / 320.4 MB, free: 2.742 MB / 254.1 MB Notification: Performance of combineBinaries: time 0.002386/0.02316, allocations: 2.874 MB / 323.3 MB, free: 15.84 MB / 270.1 MB Notification: Performance of replaceArrayConstructors: time 0.000784/0.02396, allocations: 1.432 MB / 324.7 MB, free: 14.39 MB / 270.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0004171/0.02438, allocations: 343.7 kB / 325.1 MB, free: 14.05 MB / 270.1 MB Notification: Performance of FrontEnd: time 0.0001858/0.02457, allocations: 67.44 kB / 325.1 MB, free: 13.98 MB / 270.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 341 (245) * Number of variables: 341 (285) Notification: Performance of Bindings: time 0.007265/0.03184, allocations: 8.601 MB / 333.7 MB, free: 5.18 MB / 270.1 MB Notification: Performance of FunctionAlias: time 0.001577/0.03343, allocations: 1.563 MB / 335.3 MB, free: 3.57 MB / 270.1 MB Notification: Performance of Early Inline: time 0.006418/0.03986, allocations: 6.834 MB / 342.1 MB, free: 12.68 MB / 286.1 MB Notification: Performance of simplify1: time 0.000252/0.04012, allocations: 195.5 kB / 342.3 MB, free: 12.49 MB / 286.1 MB Notification: Performance of Alias: time 0.006447/0.04657, allocations: 6.548 MB / 348.9 MB, free: 5.52 MB / 286.1 MB Notification: Performance of simplify2: time 0.0001742/0.04676, allocations: 143.5 kB / 349 MB, free: 5.379 MB / 286.1 MB Notification: Performance of Events: time 0.002509/0.04928, allocations: 2.074 MB / 351.1 MB, free: 3.328 MB / 286.1 MB Notification: Performance of Detect States: time 0.003406/0.05269, allocations: 3.536 MB / 354.6 MB, free: 15.74 MB / 302.1 MB Notification: Performance of Partitioning: time 0.002277/0.05498, allocations: 2.264 MB / 356.9 MB, free: 13.46 MB / 302.1 MB Error: Internal error NBResolveSingularities.noIndexReduction failed. (32|32) Unmatched Variables ***************************** [DISC] (1) protected discrete Real Adder1.Adder2.XOR.G2.t_next slice: {} [DISC] (1) protected Integer Adder3.Adder1.AND.G2.lh slice: {} [DISC] (1) protected discrete Real Adder4.Adder1.AND.G2.t_next slice: {} [DISC] (1) protected Integer Adder4.Adder2.AND.G2.lh slice: {} [DISC] (1) protected discrete Real Adder1.Adder1.AND.G2.t_next slice: {} [DISC] (1) protected Integer Adder3.Adder2.XOR.G2.lh slice: {} [DISC] (1) protected Integer Adder3.Adder1.XOR.G2.lh slice: {} [DISC] (1) protected discrete Real Adder2.Adder2.XOR.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder3.Adder2.AND.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder3.Adder2.XOR.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder3.Adder1.XOR.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder2.Adder1.XOR.G2.t_next slice: {} [DISC] (1) protected Integer Adder1.Adder2.AND.G2.lh slice: {} [DISC] (1) protected Integer Adder2.Adder2.AND.G2.lh slice: {} [DISC] (1) protected discrete Real Adder4.Adder2.AND.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder1.Adder1.XOR.G2.t_next slice: {} [DISC] (1) protected Integer Adder1.Adder1.AND.G2.lh slice: {} [DISC] (1) protected Integer Adder2.Adder1.AND.G2.lh slice: {} [DISC] (1) protected Integer Adder1.Adder2.XOR.G2.lh slice: {} [DISC] (1) protected Integer Adder2.Adder2.XOR.G2.lh slice: {} [DISC] (1) protected discrete Real Adder1.Adder2.AND.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder4.Adder1.XOR.G2.t_next slice: {} [DISC] (1) protected Integer Adder1.Adder1.XOR.G2.lh slice: {} [DISC] (1) protected Integer Adder2.Adder1.XOR.G2.lh slice: {} [DISC] (1) protected discrete Real Adder2.Adder2.AND.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder2.Adder1.AND.G2.t_next slice: {} [DISC] (1) protected discrete Real Adder3.Adder1.AND.G2.t_next slice: {} [DISC] (1) protected Integer Adder4.Adder1.XOR.G2.lh slice: {} [DISC] (1) protected discrete Real Adder4.Adder2.XOR.G2.t_next slice: {} [DISC] (1) protected Integer Adder4.Adder2.XOR.G2.lh slice: {} [DISC] (1) protected Integer Adder3.Adder2.AND.G2.lh slice: {} [DISC] (1) protected Integer Adder4.Adder1.AND.G2.lh slice: {} (16|32) Unmatched Equations ***************************** [ALGO] (6) ($RES_SIM_10) [----] when {initial(), ((Adder2.Adder2.XOR.G2.tLH > 0.0 or Adder2.Adder2.XOR.G2.tHL > 0.0) and change(Adder2.Adder2.XOR.G2.x)) and not initial()} then [----] Adder2.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder2.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder2.XOR.G2.y0 else $PRE.Adder2.Adder2.XOR.G2.y; [----] Adder2.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder2.XOR.G2.y_old, Adder2.Adder2.XOR.G2.x]; [----] Adder2.Adder2.XOR.G2.delayTime := if Adder2.Adder2.XOR.G2.lh > 0 then Adder2.Adder2.XOR.G2.tLH else if Adder2.Adder2.XOR.G2.lh < 0 then Adder2.Adder2.XOR.G2.tHL else 0.0; [----] Adder2.Adder2.XOR.G2.t_next := time + Adder2.Adder2.XOR.G2.delayTime; [----] if Adder2.Adder2.XOR.G2.lh == 0 or $FUN_6 < 1e-60 then [----] Adder2.Adder2.XOR.G2.y_auxiliary := Adder2.Adder2.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder2.Adder2.XOR.G2.t_next then [----] Adder2.Adder2.XOR.G2.y_auxiliary := Adder2.Adder2.XOR.G2.x; [----] end when; [----] Adder2.Adder2.XOR.G2.y := if Adder2.Adder2.XOR.G2.tLH > 0.0 or Adder2.Adder2.XOR.G2.tHL > 0.0 then Adder2.Adder2.XOR.G2.y_auxiliary else Adder2.Adder2.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_11) [----] when {initial(), ((Adder2.Adder2.AND.G2.tLH > 0.0 or Adder2.Adder2.AND.G2.tHL > 0.0) and change(Adder2.Adder2.AND.G2.x)) and not initial()} then [----] Adder2.Adder2.AND.G2.y_old := if initial() or $PRE.Adder2.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder2.AND.G2.y0 else $PRE.Adder2.Adder2.AND.G2.y; [----] Adder2.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder2.AND.G2.y_old, Adder2.Adder2.AND.G2.x]; [----] Adder2.Adder2.AND.G2.delayTime := if Adder2.Adder2.AND.G2.lh > 0 then Adder2.Adder2.AND.G2.tLH else if Adder2.Adder2.AND.G2.lh < 0 then Adder2.Adder2.AND.G2.tHL else 0.0; [----] Adder2.Adder2.AND.G2.t_next := time + Adder2.Adder2.AND.G2.delayTime; [----] if Adder2.Adder2.AND.G2.lh == 0 or $FUN_5 < 1e-60 then [----] Adder2.Adder2.AND.G2.y_auxiliary := Adder2.Adder2.AND.G2.x; [----] end if; [----] elsewhen time >= Adder2.Adder2.AND.G2.t_next then [----] Adder2.Adder2.AND.G2.y_auxiliary := Adder2.Adder2.AND.G2.x; [----] end when; [----] Adder2.Adder2.AND.G2.y := if Adder2.Adder2.AND.G2.tLH > 0.0 or Adder2.Adder2.AND.G2.tHL > 0.0 then Adder2.Adder2.AND.G2.y_auxiliary else Adder2.Adder2.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_12) [----] when {initial(), ((Adder1.Adder1.XOR.G2.tLH > 0.0 or Adder1.Adder1.XOR.G2.tHL > 0.0) and change(Adder1.Adder1.XOR.G2.x)) and not initial()} then [----] Adder1.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder1.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder1.XOR.G2.y0 else $PRE.Adder1.Adder1.XOR.G2.y; [----] Adder1.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder1.XOR.G2.y_old, Adder1.Adder1.XOR.G2.x]; [----] Adder1.Adder1.XOR.G2.delayTime := if Adder1.Adder1.XOR.G2.lh > 0 then Adder1.Adder1.XOR.G2.tLH else if Adder1.Adder1.XOR.G2.lh < 0 then Adder1.Adder1.XOR.G2.tHL else 0.0; [----] Adder1.Adder1.XOR.G2.t_next := time + Adder1.Adder1.XOR.G2.delayTime; [----] if Adder1.Adder1.XOR.G2.lh == 0 or $FUN_4 < 1e-60 then [----] Adder1.Adder1.XOR.G2.y_auxiliary := Adder1.Adder1.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder1.Adder1.XOR.G2.t_next then [----] Adder1.Adder1.XOR.G2.y_auxiliary := Adder1.Adder1.XOR.G2.x; [----] end when; [----] Adder1.Adder1.XOR.G2.y := if Adder1.Adder1.XOR.G2.tLH > 0.0 or Adder1.Adder1.XOR.G2.tHL > 0.0 then Adder1.Adder1.XOR.G2.y_auxiliary else Adder1.Adder1.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_13) [----] when {initial(), ((Adder1.Adder1.AND.G2.tLH > 0.0 or Adder1.Adder1.AND.G2.tHL > 0.0) and change(Adder1.Adder1.AND.G2.x)) and not initial()} then [----] Adder1.Adder1.AND.G2.y_old := if initial() or $PRE.Adder1.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder1.AND.G2.y0 else $PRE.Adder1.Adder1.AND.G2.y; [----] Adder1.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder1.AND.G2.y_old, Adder1.Adder1.AND.G2.x]; [----] Adder1.Adder1.AND.G2.delayTime := if Adder1.Adder1.AND.G2.lh > 0 then Adder1.Adder1.AND.G2.tLH else if Adder1.Adder1.AND.G2.lh < 0 then Adder1.Adder1.AND.G2.tHL else 0.0; [----] Adder1.Adder1.AND.G2.t_next := time + Adder1.Adder1.AND.G2.delayTime; [----] if Adder1.Adder1.AND.G2.lh == 0 or $FUN_3 < 1e-60 then [----] Adder1.Adder1.AND.G2.y_auxiliary := Adder1.Adder1.AND.G2.x; [----] end if; [----] elsewhen time >= Adder1.Adder1.AND.G2.t_next then [----] Adder1.Adder1.AND.G2.y_auxiliary := Adder1.Adder1.AND.G2.x; [----] end when; [----] Adder1.Adder1.AND.G2.y := if Adder1.Adder1.AND.G2.tLH > 0.0 or Adder1.Adder1.AND.G2.tHL > 0.0 then Adder1.Adder1.AND.G2.y_auxiliary else Adder1.Adder1.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_14) [----] when {initial(), ((Adder1.Adder2.XOR.G2.tLH > 0.0 or Adder1.Adder2.XOR.G2.tHL > 0.0) and change(Adder1.Adder2.XOR.G2.x)) and not initial()} then [----] Adder1.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder1.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder2.XOR.G2.y0 else $PRE.Adder1.Adder2.XOR.G2.y; [----] Adder1.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder2.XOR.G2.y_old, Adder1.Adder2.XOR.G2.x]; [----] Adder1.Adder2.XOR.G2.delayTime := if Adder1.Adder2.XOR.G2.lh > 0 then Adder1.Adder2.XOR.G2.tLH else if Adder1.Adder2.XOR.G2.lh < 0 then Adder1.Adder2.XOR.G2.tHL else 0.0; [----] Adder1.Adder2.XOR.G2.t_next := time + Adder1.Adder2.XOR.G2.delayTime; [----] if Adder1.Adder2.XOR.G2.lh == 0 or $FUN_2 < 1e-60 then [----] Adder1.Adder2.XOR.G2.y_auxiliary := Adder1.Adder2.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder1.Adder2.XOR.G2.t_next then [----] Adder1.Adder2.XOR.G2.y_auxiliary := Adder1.Adder2.XOR.G2.x; [----] end when; [----] Adder1.Adder2.XOR.G2.y := if Adder1.Adder2.XOR.G2.tLH > 0.0 or Adder1.Adder2.XOR.G2.tHL > 0.0 then Adder1.Adder2.XOR.G2.y_auxiliary else Adder1.Adder2.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_15) [----] when {initial(), ((Adder1.Adder2.AND.G2.tLH > 0.0 or Adder1.Adder2.AND.G2.tHL > 0.0) and change(Adder1.Adder2.AND.G2.x)) and not initial()} then [----] Adder1.Adder2.AND.G2.y_old := if initial() or $PRE.Adder1.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder1.Adder2.AND.G2.y0 else $PRE.Adder1.Adder2.AND.G2.y; [----] Adder1.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder1.Adder2.AND.G2.y_old, Adder1.Adder2.AND.G2.x]; [----] Adder1.Adder2.AND.G2.delayTime := if Adder1.Adder2.AND.G2.lh > 0 then Adder1.Adder2.AND.G2.tLH else if Adder1.Adder2.AND.G2.lh < 0 then Adder1.Adder2.AND.G2.tHL else 0.0; [----] Adder1.Adder2.AND.G2.t_next := time + Adder1.Adder2.AND.G2.delayTime; [----] if Adder1.Adder2.AND.G2.lh == 0 or $FUN_1 < 1e-60 then [----] Adder1.Adder2.AND.G2.y_auxiliary := Adder1.Adder2.AND.G2.x; [----] end if; [----] elsewhen time >= Adder1.Adder2.AND.G2.t_next then [----] Adder1.Adder2.AND.G2.y_auxiliary := Adder1.Adder2.AND.G2.x; [----] end when; [----] Adder1.Adder2.AND.G2.y := if Adder1.Adder2.AND.G2.tLH > 0.0 or Adder1.Adder2.AND.G2.tHL > 0.0 then Adder1.Adder2.AND.G2.y_auxiliary else Adder1.Adder2.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_9) [----] when {initial(), ((Adder2.Adder1.AND.G2.tLH > 0.0 or Adder2.Adder1.AND.G2.tHL > 0.0) and change(Adder2.Adder1.AND.G2.x)) and not initial()} then [----] Adder2.Adder1.AND.G2.y_old := if initial() or $PRE.Adder2.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder1.AND.G2.y0 else $PRE.Adder2.Adder1.AND.G2.y; [----] Adder2.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder1.AND.G2.y_old, Adder2.Adder1.AND.G2.x]; [----] Adder2.Adder1.AND.G2.delayTime := if Adder2.Adder1.AND.G2.lh > 0 then Adder2.Adder1.AND.G2.tLH else if Adder2.Adder1.AND.G2.lh < 0 then Adder2.Adder1.AND.G2.tHL else 0.0; [----] Adder2.Adder1.AND.G2.t_next := time + Adder2.Adder1.AND.G2.delayTime; [----] if Adder2.Adder1.AND.G2.lh == 0 or $FUN_7 < 1e-60 then [----] Adder2.Adder1.AND.G2.y_auxiliary := Adder2.Adder1.AND.G2.x; [----] end if; [----] elsewhen time >= Adder2.Adder1.AND.G2.t_next then [----] Adder2.Adder1.AND.G2.y_auxiliary := Adder2.Adder1.AND.G2.x; [----] end when; [----] Adder2.Adder1.AND.G2.y := if Adder2.Adder1.AND.G2.tLH > 0.0 or Adder2.Adder1.AND.G2.tHL > 0.0 then Adder2.Adder1.AND.G2.y_auxiliary else Adder2.Adder1.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_8) [----] when {initial(), ((Adder2.Adder1.XOR.G2.tLH > 0.0 or Adder2.Adder1.XOR.G2.tHL > 0.0) and change(Adder2.Adder1.XOR.G2.x)) and not initial()} then [----] Adder2.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder2.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder2.Adder1.XOR.G2.y0 else $PRE.Adder2.Adder1.XOR.G2.y; [----] Adder2.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder2.Adder1.XOR.G2.y_old, Adder2.Adder1.XOR.G2.x]; [----] Adder2.Adder1.XOR.G2.delayTime := if Adder2.Adder1.XOR.G2.lh > 0 then Adder2.Adder1.XOR.G2.tLH else if Adder2.Adder1.XOR.G2.lh < 0 then Adder2.Adder1.XOR.G2.tHL else 0.0; [----] Adder2.Adder1.XOR.G2.t_next := time + Adder2.Adder1.XOR.G2.delayTime; [----] if Adder2.Adder1.XOR.G2.lh == 0 or $FUN_8 < 1e-60 then [----] Adder2.Adder1.XOR.G2.y_auxiliary := Adder2.Adder1.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder2.Adder1.XOR.G2.t_next then [----] Adder2.Adder1.XOR.G2.y_auxiliary := Adder2.Adder1.XOR.G2.x; [----] end when; [----] Adder2.Adder1.XOR.G2.y := if Adder2.Adder1.XOR.G2.tLH > 0.0 or Adder2.Adder1.XOR.G2.tHL > 0.0 then Adder2.Adder1.XOR.G2.y_auxiliary else Adder2.Adder1.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_7) [----] when {initial(), ((Adder3.Adder2.AND.G2.tLH > 0.0 or Adder3.Adder2.AND.G2.tHL > 0.0) and change(Adder3.Adder2.AND.G2.x)) and not initial()} then [----] Adder3.Adder2.AND.G2.y_old := if initial() or $PRE.Adder3.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder2.AND.G2.y0 else $PRE.Adder3.Adder2.AND.G2.y; [----] Adder3.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder2.AND.G2.y_old, Adder3.Adder2.AND.G2.x]; [----] Adder3.Adder2.AND.G2.delayTime := if Adder3.Adder2.AND.G2.lh > 0 then Adder3.Adder2.AND.G2.tLH else if Adder3.Adder2.AND.G2.lh < 0 then Adder3.Adder2.AND.G2.tHL else 0.0; [----] Adder3.Adder2.AND.G2.t_next := time + Adder3.Adder2.AND.G2.delayTime; [----] if Adder3.Adder2.AND.G2.lh == 0 or $FUN_9 < 1e-60 then [----] Adder3.Adder2.AND.G2.y_auxiliary := Adder3.Adder2.AND.G2.x; [----] end if; [----] elsewhen time >= Adder3.Adder2.AND.G2.t_next then [----] Adder3.Adder2.AND.G2.y_auxiliary := Adder3.Adder2.AND.G2.x; [----] end when; [----] Adder3.Adder2.AND.G2.y := if Adder3.Adder2.AND.G2.tLH > 0.0 or Adder3.Adder2.AND.G2.tHL > 0.0 then Adder3.Adder2.AND.G2.y_auxiliary else Adder3.Adder2.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_6) [----] when {initial(), ((Adder3.Adder2.XOR.G2.tLH > 0.0 or Adder3.Adder2.XOR.G2.tHL > 0.0) and change(Adder3.Adder2.XOR.G2.x)) and not initial()} then [----] Adder3.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder3.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder2.XOR.G2.y0 else $PRE.Adder3.Adder2.XOR.G2.y; [----] Adder3.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder2.XOR.G2.y_old, Adder3.Adder2.XOR.G2.x]; [----] Adder3.Adder2.XOR.G2.delayTime := if Adder3.Adder2.XOR.G2.lh > 0 then Adder3.Adder2.XOR.G2.tLH else if Adder3.Adder2.XOR.G2.lh < 0 then Adder3.Adder2.XOR.G2.tHL else 0.0; [----] Adder3.Adder2.XOR.G2.t_next := time + Adder3.Adder2.XOR.G2.delayTime; [----] if Adder3.Adder2.XOR.G2.lh == 0 or $FUN_10 < 1e-60 then [----] Adder3.Adder2.XOR.G2.y_auxiliary := Adder3.Adder2.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder3.Adder2.XOR.G2.t_next then [----] Adder3.Adder2.XOR.G2.y_auxiliary := Adder3.Adder2.XOR.G2.x; [----] end when; [----] Adder3.Adder2.XOR.G2.y := if Adder3.Adder2.XOR.G2.tLH > 0.0 or Adder3.Adder2.XOR.G2.tHL > 0.0 then Adder3.Adder2.XOR.G2.y_auxiliary else Adder3.Adder2.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_5) [----] when {initial(), ((Adder3.Adder1.AND.G2.tLH > 0.0 or Adder3.Adder1.AND.G2.tHL > 0.0) and change(Adder3.Adder1.AND.G2.x)) and not initial()} then [----] Adder3.Adder1.AND.G2.y_old := if initial() or $PRE.Adder3.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder1.AND.G2.y0 else $PRE.Adder3.Adder1.AND.G2.y; [----] Adder3.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder1.AND.G2.y_old, Adder3.Adder1.AND.G2.x]; [----] Adder3.Adder1.AND.G2.delayTime := if Adder3.Adder1.AND.G2.lh > 0 then Adder3.Adder1.AND.G2.tLH else if Adder3.Adder1.AND.G2.lh < 0 then Adder3.Adder1.AND.G2.tHL else 0.0; [----] Adder3.Adder1.AND.G2.t_next := time + Adder3.Adder1.AND.G2.delayTime; [----] if Adder3.Adder1.AND.G2.lh == 0 or $FUN_11 < 1e-60 then [----] Adder3.Adder1.AND.G2.y_auxiliary := Adder3.Adder1.AND.G2.x; [----] end if; [----] elsewhen time >= Adder3.Adder1.AND.G2.t_next then [----] Adder3.Adder1.AND.G2.y_auxiliary := Adder3.Adder1.AND.G2.x; [----] end when; [----] Adder3.Adder1.AND.G2.y := if Adder3.Adder1.AND.G2.tLH > 0.0 or Adder3.Adder1.AND.G2.tHL > 0.0 then Adder3.Adder1.AND.G2.y_auxiliary else Adder3.Adder1.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_4) [----] when {initial(), ((Adder3.Adder1.XOR.G2.tLH > 0.0 or Adder3.Adder1.XOR.G2.tHL > 0.0) and change(Adder3.Adder1.XOR.G2.x)) and not initial()} then [----] Adder3.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder3.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder3.Adder1.XOR.G2.y0 else $PRE.Adder3.Adder1.XOR.G2.y; [----] Adder3.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder3.Adder1.XOR.G2.y_old, Adder3.Adder1.XOR.G2.x]; [----] Adder3.Adder1.XOR.G2.delayTime := if Adder3.Adder1.XOR.G2.lh > 0 then Adder3.Adder1.XOR.G2.tLH else if Adder3.Adder1.XOR.G2.lh < 0 then Adder3.Adder1.XOR.G2.tHL else 0.0; [----] Adder3.Adder1.XOR.G2.t_next := time + Adder3.Adder1.XOR.G2.delayTime; [----] if Adder3.Adder1.XOR.G2.lh == 0 or $FUN_12 < 1e-60 then [----] Adder3.Adder1.XOR.G2.y_auxiliary := Adder3.Adder1.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder3.Adder1.XOR.G2.t_next then [----] Adder3.Adder1.XOR.G2.y_auxiliary := Adder3.Adder1.XOR.G2.x; [----] end when; [----] Adder3.Adder1.XOR.G2.y := if Adder3.Adder1.XOR.G2.tLH > 0.0 or Adder3.Adder1.XOR.G2.tHL > 0.0 then Adder3.Adder1.XOR.G2.y_auxiliary else Adder3.Adder1.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_3) [----] when {initial(), ((Adder4.Adder2.AND.G2.tLH > 0.0 or Adder4.Adder2.AND.G2.tHL > 0.0) and change(Adder4.Adder2.AND.G2.x)) and not initial()} then [----] Adder4.Adder2.AND.G2.y_old := if initial() or $PRE.Adder4.Adder2.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder2.AND.G2.y0 else $PRE.Adder4.Adder2.AND.G2.y; [----] Adder4.Adder2.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder2.AND.G2.y_old, Adder4.Adder2.AND.G2.x]; [----] Adder4.Adder2.AND.G2.delayTime := if Adder4.Adder2.AND.G2.lh > 0 then Adder4.Adder2.AND.G2.tLH else if Adder4.Adder2.AND.G2.lh < 0 then Adder4.Adder2.AND.G2.tHL else 0.0; [----] Adder4.Adder2.AND.G2.t_next := time + Adder4.Adder2.AND.G2.delayTime; [----] if Adder4.Adder2.AND.G2.lh == 0 or $FUN_13 < 1e-60 then [----] Adder4.Adder2.AND.G2.y_auxiliary := Adder4.Adder2.AND.G2.x; [----] end if; [----] elsewhen time >= Adder4.Adder2.AND.G2.t_next then [----] Adder4.Adder2.AND.G2.y_auxiliary := Adder4.Adder2.AND.G2.x; [----] end when; [----] Adder4.Adder2.AND.G2.y := if Adder4.Adder2.AND.G2.tLH > 0.0 or Adder4.Adder2.AND.G2.tHL > 0.0 then Adder4.Adder2.AND.G2.y_auxiliary else Adder4.Adder2.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_2) [----] when {initial(), ((Adder4.Adder2.XOR.G2.tLH > 0.0 or Adder4.Adder2.XOR.G2.tHL > 0.0) and change(Adder4.Adder2.XOR.G2.x)) and not initial()} then [----] Adder4.Adder2.XOR.G2.y_old := if initial() or $PRE.Adder4.Adder2.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder2.XOR.G2.y0 else $PRE.Adder4.Adder2.XOR.G2.y; [----] Adder4.Adder2.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder2.XOR.G2.y_old, Adder4.Adder2.XOR.G2.x]; [----] Adder4.Adder2.XOR.G2.delayTime := if Adder4.Adder2.XOR.G2.lh > 0 then Adder4.Adder2.XOR.G2.tLH else if Adder4.Adder2.XOR.G2.lh < 0 then Adder4.Adder2.XOR.G2.tHL else 0.0; [----] Adder4.Adder2.XOR.G2.t_next := time + Adder4.Adder2.XOR.G2.delayTime; [----] if Adder4.Adder2.XOR.G2.lh == 0 or $FUN_14 < 1e-60 then [----] Adder4.Adder2.XOR.G2.y_auxiliary := Adder4.Adder2.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder4.Adder2.XOR.G2.t_next then [----] Adder4.Adder2.XOR.G2.y_auxiliary := Adder4.Adder2.XOR.G2.x; [----] end when; [----] Adder4.Adder2.XOR.G2.y := if Adder4.Adder2.XOR.G2.tLH > 0.0 or Adder4.Adder2.XOR.G2.tHL > 0.0 then Adder4.Adder2.XOR.G2.y_auxiliary else Adder4.Adder2.XOR.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_1) [----] when {initial(), ((Adder4.Adder1.AND.G2.tLH > 0.0 or Adder4.Adder1.AND.G2.tHL > 0.0) and change(Adder4.Adder1.AND.G2.x)) and not initial()} then [----] Adder4.Adder1.AND.G2.y_old := if initial() or $PRE.Adder4.Adder1.AND.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder1.AND.G2.y0 else $PRE.Adder4.Adder1.AND.G2.y; [----] Adder4.Adder1.AND.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder1.AND.G2.y_old, Adder4.Adder1.AND.G2.x]; [----] Adder4.Adder1.AND.G2.delayTime := if Adder4.Adder1.AND.G2.lh > 0 then Adder4.Adder1.AND.G2.tLH else if Adder4.Adder1.AND.G2.lh < 0 then Adder4.Adder1.AND.G2.tHL else 0.0; [----] Adder4.Adder1.AND.G2.t_next := time + Adder4.Adder1.AND.G2.delayTime; [----] if Adder4.Adder1.AND.G2.lh == 0 or $FUN_15 < 1e-60 then [----] Adder4.Adder1.AND.G2.y_auxiliary := Adder4.Adder1.AND.G2.x; [----] end if; [----] elsewhen time >= Adder4.Adder1.AND.G2.t_next then [----] Adder4.Adder1.AND.G2.y_auxiliary := Adder4.Adder1.AND.G2.x; [----] end when; [----] Adder4.Adder1.AND.G2.y := if Adder4.Adder1.AND.G2.tLH > 0.0 or Adder4.Adder1.AND.G2.tHL > 0.0 then Adder4.Adder1.AND.G2.y_auxiliary else Adder4.Adder1.AND.G2.x; slice: {4, 5} [ALGO] (6) ($RES_SIM_0) [----] when {initial(), ((Adder4.Adder1.XOR.G2.tLH > 0.0 or Adder4.Adder1.XOR.G2.tHL > 0.0) and change(Adder4.Adder1.XOR.G2.x)) and not initial()} then [----] Adder4.Adder1.XOR.G2.y_old := if initial() or $PRE.Adder4.Adder1.XOR.G2.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then Adder4.Adder1.XOR.G2.y0 else $PRE.Adder4.Adder1.XOR.G2.y; [----] Adder4.Adder1.XOR.G2.lh := ({{0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {0, 0, -1, 1, 0, 0, -1, 1, 0}, {1, 1, 0, 1, 1, 1, 0, 1, 1}, {-1, -1, -1, 0, -1, -1, -1, 0, -1}, {0, 0, -1, 1, 0, 0, -1, 1, 0}})[Adder4.Adder1.XOR.G2.y_old, Adder4.Adder1.XOR.G2.x]; [----] Adder4.Adder1.XOR.G2.delayTime := if Adder4.Adder1.XOR.G2.lh > 0 then Adder4.Adder1.XOR.G2.tLH else if Adder4.Adder1.XOR.G2.lh < 0 then Adder4.Adder1.XOR.G2.tHL else 0.0; [----] Adder4.Adder1.XOR.G2.t_next := time + Adder4.Adder1.XOR.G2.delayTime; [----] if Adder4.Adder1.XOR.G2.lh == 0 or $FUN_16 < 1e-60 then [----] Adder4.Adder1.XOR.G2.y_auxiliary := Adder4.Adder1.XOR.G2.x; [----] end if; [----] elsewhen time >= Adder4.Adder1.XOR.G2.t_next then [----] Adder4.Adder1.XOR.G2.y_auxiliary := Adder4.Adder1.XOR.G2.x; [----] end when; [----] Adder4.Adder1.XOR.G2.y := if Adder4.Adder1.XOR.G2.tLH > 0.0 or Adder4.Adder1.XOR.G2.tHL > 0.0 then Adder4.Adder1.XOR.G2.y_auxiliary else Adder4.Adder1.XOR.G2.x; slice: {4, 5}