- rA.setValues(BitVector.of(Bit.Z, a.length));
- rB.setValues(BitVector.of(Bit.Z, b.length));
- rA.registerObserver(new Fusion(rB, fromA, fromB, length));
- rB.registerObserver(new Fusion(rA, fromB, fromA, length));
+ rA.setWriting(false);
+ rB.setWriting(false);
+ 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);
+ rA.registerObserver(aF);
+ rB.registerObserver(bF);
+ aF.update(rA);
+ bF.update(rB);