Skip to content

Bug fixes in eFEX bitwise simulation

Description of changes:

  • cleaning of isolation variables vectors
  • fixed output of Ws isolation variable: core is defined as the weighted sum, the environment is the nominal sum, and the same is respectively true for the numerator and denominator of the function. Given the output vector contains (core, env), in this order, the first object in the vector is the weighted sum.

@afaulkne

Edited by Antonio Manuel Mendes Jacques Da Costa

Merge request reports