Adrian Sampson

Indeed! As far as the "discussion needed" for this one, maybe what we should chat about is how to sidestep the need for the "full version" of this, or to...

Interesting! Yeah, certainly worth seeing if tacking on that additional register just solves it. We could also consider an explicit (Xilinx-specific) instantiation, as the warning messages suggests.

Neat! Hella weird about the newline nonsense. I guess I suspect some vagary about the test's shell pipeline… May I recommend using `fud -v` or whatever it is to get...

Finally catching up on this very nice idea, @rachitnigam, after your helpful explanation today! I think the note about allowed optimizations above is especially important. It's a very cool upside...

Yeah, good point. I think it could be fun to think a bit about what the IR would look like in the "required" version, and what the relevant lowering/optimization passes...

Super fun idea. I like the idea of bringing this stuff slightly more "in house." One thing I don't have any good thoughts on: what are the relative merits of...

That sounds pretty legit. Makes me wonder about an alternate universe where guarded assignments are more "mux-like," but that is a step too far for this very realistic proposal.

Lack of padding seems like an extremely reasonable hypothesis here! Nice work tracking it down. As a way to see if it's responsible for running a really long time, might...

Super dumb question: is this a whole-program analysis? That is, does it need to make a closed-world assumption—that we know all the instantiations of every component, so we can tell...

Awesome; thanks for clarifying.