- rA.setValues(BitVector.of(Bit.Z, a.length));
- rB.setValues(BitVector.of(Bit.Z, b.length));
- Fusion aF = new Fusion(rB, fromA, fromB, length), bF = new Fusion(rA, fromB, fromA, length);
+ rA.setValues(BitVector.of(Bit.Z, a.width));
+ rB.setValues(BitVector.of(Bit.Z, b.width));
+ Fusion aF = new Fusion(rB, fromA, fromB, width), bF = new Fusion(rA, fromB, fromA, width);