Running: ./testmodel.py --libraries=/home/hudson/saved_omc/libraries/.openmodelica/libraries/ --ompython_omhome=/usr Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DLATREGSRH.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.DLATREGSRH,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|dLATREGSRH.delay.inertialDelaySensitive.1..x|dLATREGSRH.delay.inertialDelaySensitive.1..y|dLATREGSRH.delay.inertialDelaySensitive.2..x|dLATREGSRH.delay.inertialDelaySensitive.2..y",fileNamePrefix="Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DLATREGSRH") translateModel(Modelica.Electrical.Digital.Examples.DLATREGSRH,tolerance=1e-06,outputFormat="mat",numberOfIntervals=5000,variableFilter="time|dLATREGSRH.delay.inertialDelaySensitive.1..x|dLATREGSRH.delay.inertialDelaySensitive.1..y|dLATREGSRH.delay.inertialDelaySensitive.2..x|dLATREGSRH.delay.inertialDelaySensitive.2..y",fileNamePrefix="Modelica_3.2.3_Modelica.Electrical.Digital.Examples.DLATREGSRH") Notification: Performance of loadFile(/home/hudson/saved_omc/libraries/.openmodelica/libraries/ModelicaServices 4.0.0+maint.om/package.mo): time 0.001203/0.001203, allocations: 106.3 kB / 18.36 MB, free: 4.625 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.001135/0.001135, allocations: 195.5 kB / 19.31 MB, free: 3.691 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.338/1.338, allocations: 205.1 MB / 225.2 MB, free: 12.25 MB / 190.1 MB Notification: Performance of FrontEnd - Absyn->SCode: time 2.514e-05/2.516e-05, allocations: 2.281 kB / 282.1 MB, free: 2.523 MB / 222.1 MB Notification: Performance of NFInst.instantiate(Modelica.Electrical.Digital.Examples.DLATREGSRH): time 0.002981/0.003021, allocations: 1.8 MB / 283.8 MB, free: 0.707 MB / 222.1 MB Notification: Performance of NFInst.instExpressions: time 0.002238/0.005272, allocations: 1.081 MB / 284.9 MB, free: 15.62 MB / 238.1 MB Notification: Performance of NFInst.updateImplicitVariability: time 8.375e-05/0.005367, allocations: 4 kB / 284.9 MB, free: 15.61 MB / 238.1 MB Notification: Performance of NFTyping.typeComponents: time 0.0001755/0.005548, allocations: 31.72 kB / 285 MB, free: 15.58 MB / 238.1 MB Notification: Performance of NFTyping.typeBindings: time 0.0002588/0.005822, allocations: 167.5 kB / 285.1 MB, free: 15.42 MB / 238.1 MB Notification: Performance of NFTyping.typeClassSections: time 0.0003142/0.006146, allocations: 143.8 kB / 285.3 MB, free: 15.28 MB / 238.1 MB Notification: Performance of NFFlatten.flatten: time 0.0007131/0.006867, allocations: 0.667 MB / 285.9 MB, free: 14.61 MB / 238.1 MB Notification: Performance of NFFlatten.resolveConnections: time 0.000189/0.007066, allocations: 82.22 kB / 286 MB, free: 14.53 MB / 238.1 MB Notification: Performance of NFEvalConstants.evaluate: time 0.0009421/0.008015, allocations: 0.9671 MB / 287 MB, free: 13.56 MB / 238.1 MB Notification: Performance of NFSimplifyModel.simplify: time 0.0002319/0.008257, allocations: 175.3 kB / 287.2 MB, free: 13.39 MB / 238.1 MB Notification: Performance of NFPackage.collectConstants: time 8.105e-05/0.008349, allocations: 40 kB / 287.2 MB, free: 13.35 MB / 238.1 MB Notification: Performance of NFFlatten.collectFunctions: time 7.662e-05/0.008432, allocations: 40 kB / 287.2 MB, free: 13.31 MB / 238.1 MB Notification: Performance of combineBinaries: time 0.0004111/0.008848, allocations: 416.2 kB / 287.6 MB, free: 12.9 MB / 238.1 MB Notification: Performance of replaceArrayConstructors: time 0.0001459/0.009001, allocations: 201.1 kB / 287.8 MB, free: 12.7 MB / 238.1 MB Notification: Performance of NFVerifyModel.verify: time 9.794e-05/0.009104, allocations: 51.88 kB / 287.9 MB, free: 12.65 MB / 238.1 MB Notification: Performance of FrontEnd: time 3.213e-05/0.009143, allocations: 7.938 kB / 287.9 MB, free: 12.64 MB / 238.1 MB Notification: Model statistics after passing the front-end and creating the data structures used by the back-end: * Number of equations: 43 (22) * Number of variables: 43 (28) Notification: Performance of Bindings: time 0.001423/0.01057, allocations: 1.345 MB / 289.2 MB, free: 11.19 MB / 238.1 MB Notification: Performance of FunctionAlias: time 0.0001726/0.01075, allocations: 139.8 kB / 289.4 MB, free: 11.05 MB / 238.1 MB Notification: Performance of Early Inline: time 0.001092/0.01185, allocations: 1.125 MB / 290.5 MB, free: 9.902 MB / 238.1 MB Notification: Performance of simplify1: time 1.185e-05/0.01187, allocations: 7.984 kB / 290.5 MB, free: 9.895 MB / 238.1 MB Notification: Performance of Alias: time 0.0008867/0.01276, allocations: 0.76 MB / 291.3 MB, free: 9.07 MB / 238.1 MB Notification: Performance of simplify2: time 7.224e-06/0.01278, allocations: 3.984 kB / 291.3 MB, free: 9.066 MB / 238.1 MB Notification: Performance of Events: time 0.000912/0.0137, allocations: 0.7903 MB / 292.1 MB, free: 8.18 MB / 238.1 MB Notification: Performance of Detect States: time 0.000481/0.01419, allocations: 459.7 kB / 292.5 MB, free: 7.715 MB / 238.1 MB Notification: Performance of Partitioning: time 0.0003367/0.01453, allocations: 284 kB / 292.8 MB, free: 7.43 MB / 238.1 MB Error: Internal error NBResolveSingularities.noIndexReduction failed. (2|2) Unmatched Variables *************************** [DISC] (1) protected Integer dLATREGSRH.dLATSR.enable_flag (start = 0) slice: {} [DISC] (1) protected Integer dLATREGSRH.dLATSR.reset_set_flag (start = 1) slice: {} (1|2) Unmatched Equations *************************** [ALGO] (8) ($RES_SIM_0) [----] if enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'1' or enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'H' then [----] dLATREGSRH.dLATSR.enable_flag := 1; [----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'0' or enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'L' then [----] dLATREGSRH.dLATSR.enable_flag := 0; [----] elseif enable.y == Modelica.Electrical.Digital.Interfaces.Logic.'U' then [----] dLATREGSRH.dLATSR.enable_flag := 3; [----] elseif true then [----] dLATREGSRH.dLATSR.enable_flag := 2; [----] end if; [----] dLATREGSRH.dLATSR.reset_set_flag := dLATREGSRH.dLATSR.ResetSetMap[reset.y, set.y]; [----] for i in 1:2 loop [----] if dLATREGSRH.dLATSR.reset_set_flag == 1 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 2 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'1'; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 3 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'0'; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 4 then [----] if (dLATREGSRH.dLATSR.enable_flag == 3 or dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 1) or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 0 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif true then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X'; [----] end if; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 5 then [----] if (dLATREGSRH.dLATSR.enable_flag == 3 or dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 1) or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 0 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'1' and ((dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'1' or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'H') or dLATREGSRH.dLATSR.enable_flag == 0) then [----] #UNKNOWN STATEMENT#; [----] elseif (dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'1' or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'H') and dLATREGSRH.dLATSR.enable_flag == 1 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'1'; [----] elseif true then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X'; [----] end if; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 6 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X'; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 7 then [----] if (dLATREGSRH.dLATSR.enable_flag == 3 or dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 1) or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' and dLATREGSRH.dLATSR.enable_flag <> 0 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' and ((dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'L') or dLATREGSRH.dLATSR.enable_flag == 0) then [----] #UNKNOWN STATEMENT#; [----] elseif (dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'0' or dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'L') and dLATREGSRH.dLATSR.enable_flag == 1 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'0'; [----] elseif true then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X'; [----] end if; [----] elseif dLATREGSRH.dLATSR.reset_set_flag == 8 then [----] if dLATREGSRH.dLATSR.enable_flag == 0 then [----] #UNKNOWN STATEMENT#; [----] elseif dLATREGSRH.dLATSR.enable_flag == 3 then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif dLATREGSRH.dLATSR.enable_flag == 1 then [----] dLATREGSRH.dLATSR.nextstate[i] := ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}})[dLATREGSRH.dLATSR.dataIn[i], Modelica.Electrical.Digital.Interfaces.Strength.'S_X01']; [----] elseif true then [----] if dLATREGSRH.dLATSR.next_assign_val[i] == ({{Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', Modelica.Electrical.Digital.Interfaces.Logic.'U', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}, {Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'L', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'0', Modelica.Electrical.Digital.Interfaces.Logic.'L'}, {Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'1', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'Z', Modelica.Electrical.Digital.Interfaces.Logic.'H', Modelica.Electrical.Digital.Interfaces.Logic.'H', 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.'X', Modelica.Electrical.Digital.Interfaces.Logic.'X', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W', Modelica.Electrical.Digital.Interfaces.Logic.'W'}})[dLATREGSRH.dLATSR.dataIn[i], Modelica.Electrical.Digital.Interfaces.Strength.'S_X01'] or dLATREGSRH.dLATSR.next_assign_val[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' then [----] #UNKNOWN STATEMENT#; [----] elseif dLATREGSRH.dLATSR.dataIn[i] == Modelica.Electrical.Digital.Interfaces.Logic.'U' then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'U'; [----] elseif true then [----] dLATREGSRH.dLATSR.nextstate[i] := Modelica.Electrical.Digital.Interfaces.Logic.'X'; [----] end if; [----] end if; [----] end if; [----] end for; [----] dLATREGSRH.dLATSR.next_assign_val := dLATREGSRH.dLATSR.nextstate; [----] dLATREGSRH.dLATSR.dataOut := dLATREGSRH.dLATSR.nextstate; slice: {6, 7}