Rachit Nigam
Rachit Nigam
The `examples/` directory contains stuff that is used in the documentation examples (https://filamenthdl.com/docs/lang/tutorial.html#saving-values-for-the-future) while `apps/` contains bigger designs
Thanks @Timmmm! We need to revamp the website with the new compiler + syntax anyways so will open a new issue about it.
One note about #413: A cool thing enabled by being parameteric over the multiplier's (and adder's) timing behavior is we can implement precision optimizations: we can support both floating-point and...
Awesome! I think the primary goals are: - Matching the throughput of Spiral FFTs - Minimizing the use of `assume` to only "algebraic properties" that Filament's encoding cannot reason about....
Nope, I mean assumes that state that a particular module's output parameter is equal to one or equal to another output parameter. Those kinds of properties should not be encoded...
Cool! FWIW, the FoSSI people have a container with a bunch of these tools already installed. I think you can take a look at F4GA or OpenROAD and see where...
Currently has a lot of generated files so I'm assuming not ready for review
I guess one of the challenges here is whether we are defining this at the component or instance-level? Both the mechanisms above focus on the component-level solution which means all...
We could consider using Morty: https://github.com/pulp-platform/morty