calyx

calyx copied to clipboard

Add a `fud` stage to go through the MLIR backend and use CIRCT to compile all the way to Verilog.

1

@rachitnigam brought this up on the CIRCT PR and issue about compiling Calyx to CIRCT's core dialects: https://github.com/llvm/circt/issues/2892#issuecomment-1128162272. Quoting that comment: > A reasonable next goal is to lower all...

mikeurbach

Optimizations

4

## FuTIL optimizations - [x] Redundancy elimination (#141) - [x] Static Timing (#154) - [x] Resource Sharing - [x] Pipelining (#200) - [x] Bitwidth analysis (#198) - [ ] Control...

sgpthomas

`tdcc`: Invalid code generated when `done` depends on input signal

11

To reproduce, run: ``` fud exec -s verilog.data tests/correctness/tcam/lpm.futil.data tests/correctness/tcam/lpm.futil --to dat -v -s futil.flags '-d static-timing' ``` The reason we haven't caught this before is because this doesn't occur...

rachitnigam

Support randomized execution of `par` blocks

3

The current implementation of `par` interpretation algorithm always runs the parallel blocks in serial order. We've discussed a simple extension where the order in which the children are run is...

rachitnigam

[Tracking] Calyx Fuzzing System

1

**Goals** 1. Prove equivalence or in-equivalence of calyx programs by comparing outputs with same data as input. 2. Find bugs in calyx compiler (input fuzzing) 3. Find bugs in the...

jiaxuan-crystal-hu

This has come up most immediately in the interpreter having trouble with programs lowered via the WireInliner. The short version is that there can be transient assignment conflicts prior to...

EclecticGriffin

Source position integration through CIRCT SCF

2

Opening the issue for @cgyurgyik as promised in the Friday meeting. Details of the source location metadata format are found in (#971 with minor tweaks in #973). I can link...

EclecticGriffin

Add icarus-verilog to test suite.

8

I think it would be a good idea to add a few tests (one specifically for `sqrt`) for the icarus-verilog backend. Perhaps benchmarks as well? This would require some additions...

cgyurgyik

[Cider] Inconsitencies with watch/breakpoints on a group which is called multiple times consecutively.

2

When a breakpoint or watchpoint is set on a group which is called multiple times in succession it accidentally treats it as happening only once but taking X times longer...

EclecticGriffin

Invoke in presence of multiple go done signals

2

We’ve been talking about so-called “method-based interfaces” for calyx for a while. The idea is to support components that can be called in multiple ways. For example, we can call...

rachitnigam