Shifted bit vector should be of the same size that was a source one
Detected in build:
Published in build:
I have to write coerce explicitly:
wmask<1..0> = coerce(card(2), welem<1..0> >>> R)
rather that simply assign the shift result:
wmask<1..0> = welem<1..0> >>> R
Otherwise there would be an error: can't assign 32-bit value to a 2-bit field!