<< seems buggy

[whitequark]

E.g.:

s = Signal(max=8)
self.comb += s.eq(1)
(s << 3) # produces 0
(s * 8) # produces 8

[sbourdeauducq]

Produces where? Simulation? Do you have a full repro?

[whitequark]

Synthesis with Diamond. I'll need to minimize a repro.