awygle

@Ravenslofty programmerjake refers to this text: > and checks (in simulation and formal) that the truncated bits were all identical to 0 (for unsigned values) or the new MSB (for...

I agree, that's valuable feedback - it never even occurred to me that `A = Signal(32); B = A.truncate(16)` could result in B containing the 16 **most**-significant bits of A.

I asked the Digital Design Discord I'm in this question: ``` i have a 32-bit signal A. i call a function called truncate on that signal to make a 16-bit...

In the meantime, in case anyone (like me) wants to help someone out with this in the future and can't remember how it's supposed to work, here's ktemkin explaining it...

Also, as part of this documentation, it would be great to include a brief explanation of why the system is the way it is - I think it's pretty counterintuitive...

I actually disagree that these should be lints. To my mind, a lint would make sense if the property we were looking for wasn't wholly contained to a particular language...

I see. I agree that 2 is a good reason to have a lint. I'll sit and think a bit about whether I want a lint _also_ or a lint...

Is this still the case?

> I think it would be very useful to have cheap adapters to/from both AXI4-Stream and Avalon-ST, so it makes sense to restrict the features provided by nMigen streams to...

Taking a pass at @mithro 's comments (inline below): > > > Couple of random thoughts - not really all that coherent; > > * Think a lot about how...