Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries --ompython_omhome=/usr Modelica_3.2.1_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 3.2.3+maint.om/package.mo", uses=false) 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.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="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_Modelica.Electrical.Digital.Examples.Adder4") translateModel(Modelica.Electrical.Digital.Examples.Adder4,tolerance=1e-06,outputFormat="empty",numberOfIntervals=5000,variableFilter="",fileNamePrefix="Modelica_3.2.1_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.00124/0.00124, allocations: 110 kB / 16.42 MB, free: 6.426 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.001116/0.001116, allocations: 189.9 kB / 17.35 MB, free: 5.723 MB / 14.72 MB Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/Modelica 3.2.3+maint.om/package.mo): time 1.215/1.215, allocations: 205.1 MB / 223.2 MB, free: 12.28 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 1.625e-05/1.625e-05, allocations: 6.219 kB / 327.2 MB, free: 3.348 MB / 270.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.Adder4): time 0.005524/0.005549, allocations: 5.849 MB / 333 MB, free: 13.47 MB / 286.1 MB Notification: Performance of NFInst.instExpressions: time 0.004155/0.009717, allocations: 2.48 MB / 335.5 MB, free: 10.98 MB / 286.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 0.0003286/0.01006, allocations: 23.88 kB / 335.5 MB, free: 10.96 MB / 286.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0004177/0.01048, allocations: 233.8 kB / 335.8 MB, free: 10.73 MB / 286.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0004786/0.01097, allocations: 289.7 kB / 336.1 MB, free: 10.44 MB / 286.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.001309/0.0123, allocations: 0.8468 MB / 336.9 MB, free: 9.594 MB / 286.1 MB Notification: Performance of NFFlatten.flatten: time 0.002488/0.0148, allocations: 3.018 MB / 339.9 MB, free: 6.57 MB / 286.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.0009584/0.01577, allocations: 0.8375 MB / 340.8 MB, free: 5.695 MB / 286.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.002596/0.01837, allocations: 2.951 MB / 343.7 MB, free: 2.738 MB / 286.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.001212/0.0196, allocations: 1.315 MB / 345 MB, free: 1.418 MB / 286.1 MB Notification: Performance of NFPackage.collectConstants: time 0.0003869/0.01999, allocations: 295.9 kB / 345.3 MB, free: 1.129 MB / 286.1 MB Notification: Performance of NFFlatten.collectFunctions: time 0.0004038/0.0204, allocations: 304 kB / 345.6 MB, free: 0.832 MB / 286.1 MB Notification: Performance of combineBinaries: time 0.002371/0.02278, allocations: 2.878 MB / 348.5 MB, free: 13.93 MB / 302.1 MB Notification: Performance of replaceArrayConstructors: time 0.000788/0.02358, allocations: 1.428 MB / 349.9 MB, free: 12.48 MB / 302.1 MB Notification: Performance of NFVerifyModel.verify: time 0.0003895/0.02397, allocations: 351.7 kB / 350.3 MB, free: 12.13 MB / 302.1 MB Notification: Performance of FrontEnd: time 0.000142/0.02412, allocations: 67.44 kB / 350.3 MB, free: 12.07 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: 341 (245) * Number of variables: 341 (285) Notification: Performance of Bindings: time 0.007859/0.03199, allocations: 8.605 MB / 358.9 MB, free: 3.258 MB / 302.1 MB Notification: Performance of FunctionAlias: time 0.001626/0.03362, allocations: 1.563 MB / 360.5 MB, free: 1.648 MB / 302.1 MB Notification: Performance of Early Inline: time 0.006758/0.04039, allocations: 6.826 MB / 367.3 MB, free: 10.76 MB / 318.1 MB Notification: Performance of simplify1: time 0.0003015/0.04071, allocations: 199.4 kB / 367.5 MB, free: 10.57 MB / 318.1 MB Notification: Performance of Alias: time 0.00687/0.04759, allocations: 6.536 MB / 374 MB, free: 3.613 MB / 318.1 MB Notification: Performance of simplify2: time 0.0002674/0.04787, allocations: 139.5 kB / 374.2 MB, free: 3.477 MB / 318.1 MB Notification: Performance of Events: time 0.002825/0.0507, allocations: 2.1 MB / 376.3 MB, free: 1.363 MB / 318.1 MB Notification: Performance of Detect States: time 0.1608/0.2115, allocations: 3.528 MB / 379.8 MB, free: 38.2 MB / 318.1 MB Notification: Performance of Partitioning: time 0.002669/0.2142, allocations: 2.242 MB / 382.1 MB, free: 38 MB / 318.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}