Rachit Nigam

Unfortunately these need to be inserted before we lower `invoke` statements because a component needs to have `go` and `done` ports to be invokable. `reset` and `clk` insertion can be...

Yup! Alternatively, if we only implement this in `top-down-st`, we can move remove-comb-groups to run after `top-down-st`. There might also be some complications with `pre-opt` optimizations needing `comb` groups removed...

Not sure how to make progress on this issue. Maybe the best thing to do is just say that `@clk` and `@reset` are magical and implicit in the design before...

> I should probably open an issue somewhere outlining the environment changes required This seems like the place to do it!

While I am able to simulate the component and reproduce the error, I have no clue why it happens. The interpreter says there is an overflow: ``` WARN - Over/underflow...

Thanks for explaining the problem! One possible option is implementing “saturating” mathematical operators which, instead of overflowing, clamp the outputs to either a maximum or a minimum. So In this...

For anyone who wants to work on this issue, there are two possible options: 1. Update the exp generator to have a check for extremely large negative numbers and just...

It doesn't seem like we'll implement this anytime soon and not clear if its worth implementing. Closing!

This looks good! This is essentially the exact model of interpretation used by the symbolic evaluator and as far as I can tell, hasn't uncovered any problems. The one caveat...

@EclecticGriffin is there something specific we need to discuss for this pass? If not, can we remove "discussion needed" and make it "available"?