Rachit Nigam
Rachit Nigam
Once #314 is merged, infinite loops will block execution of subsequent snippets. `data-async-code` should allow bypassing this and let infinitely running snippets to yield to subsequent snippets. Doing this will...
Lowering Calyx without having to rely on the native compiler seems to be one of the [top requirements](https://github.com/cucapra/calyx/discussions/804) for folks wanting to use Calyx within CIRCT. This tracks the main...
I tried to install HeteroCL using the instructions here: http://heterocl.csl.cornell.edu/doc/install_from_prebuilt.html#install-with-conda But ran into this error: ``` Collecting package metadata (current_repodata.json): done Solving environment: failed with initial frozen solve. Retrying with...
Fixes https://github.com/cucapra/calyx/issues/165. We should make at least one frontend use these memories. Eventually, this will make it easier for us to use UltraRAM memories on FPGAs instead of BRAMs. We...
The `MergeStaticPar` and `StaticParConv` only act upon groups and cannot be run on `invoke` statements. Since `group2invoke` turns a lot of simple groups into `invoke` statements, these passes are less...
Once we have #1123 merged, we'll have support for fine-grained concurrency in Calyx. We should write up a document explaining what it is, what the guarantees and restrictions are, and...
Lenet is the biggest kernel that we use for evaluating Calyx. Since we've fixed the relay frontend CI, we should also add Lenet to the integration test suite to catch...
The `-b xilinx` and `-b xilinx-xml` options to the Calyx compiler are not real backends---they act more like tools that ingest an input Calyx program and generate an AXI controller...
The current compilation pipeline requires `remove-comb-groups` to be run before any compilation passes are run (`tdcc` and `static-timing`). Instead of doing this, the compilation passes should be allowed to directly...
Software compilers can optimize the following code: ``` x = 1 y = x z = y + 1 ``` To: ``` x = 1 z = x + 1...