calyx
calyx copied to clipboard
calyxir
Intermediate Language (IL) for Hardware Accelerator Generators
Modify the BTOR2 interpreter to use a new IR that does not depend on the BTOR2 parser written in C. I also added a suite of test BTOR2 programs to...
The `external-to-ref` PR #1952 also removed a well-formedness check so that toplevel components can now contain `ref` cells. In terms of eventually deprecating `@external` in favor of `ref`, it seems...
As mentioned in #1997, we should eventually remove the cocotb `Makefile` and python runners found [here](https://github.com/calyxir/calyx/tree/main/tests/xilinx/cocotb) in favor of using the [`tests/yxi`](https://github.com/calyxir/calyx/tree/yxi-cocotb/tests/yxi) Makefile and harnesses. Before this can happen, we...
I'm evaluating a Calyx binding I created for posits. I was trying to test the accuracy of 128 bit posits when I noticed that Calyx can't parse literals larger than...
The current metadata format being used is present within a `.expect` file. For example, for `if.expect` the metadata is given as: `metadata #{ 0: let x: ubit = 4; 1:...
Add a file describing how to the contribute the repo. Mentioned by @YJDoc2 in a recent PR.
This PR begins progress towards addressing #1958. It updates the algorithm used by `fud2` for finding paths from input files to output files to take in operations which have many...
This PR tries to address #2061 Support: 1. parsing of floating point in the frontend and 2. the conversion between "human-readable" decimal representation of floating point numbers and IEEE754 representation...
@jiahanxie353 has proposed adding floating-point constants to the CIRCT frontend in https://github.com/llvm/circt/pull/7086. I think this is particularly interesting because we'd have to figure out how to represent these constants in...
Implements the option to create several (default 2) FSM registers that represent dynamic control flow, so that queries can be split between all of identical registers.
