Samuel Thomas

`fud exec --from futil ... --to futil-lowerest`

I agree that Calyx isn't the place to do full on synthesis. I have some questions about synthesis though. How much of logic synthesis is mapping "behavioral" code to high...

To reup this, our current memories are a lie. Combinational reads from memories don't exist. We should think more carefully about what the correct memory interface is. To elaborate the...

This was not dealt with there. You can get brams that have combinational reads and so our memory model is fine. I left this open though because there's a lot...

You are correct that primitives ignore overflow bits which makes it impossible to implement loops with the "correct" bitwidth. It shouldn't be too hard to add an overflow output port...

we should add a paper cut pass for this type of error

Thanks! I'll take a look at this as soon as I have some time. I ran into a similar frustration and stopped making as much progress. I may just break...

yeah I agree. just thought that I would file it away in case we want to deal with this at some point in the future

What do you use instead?

I would be interested in implementing this. However, I have never interacted with the forge codebase before. Could anybody familiar give me a few pointers about where I should look...