gussmith23 churchroad issues

gussmith23 / churchroad

MIT License

9 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Rewrite Yosys plugin to use Yosys's new functional backend

#100 gussmith23 opened 1 month ago
0
Even wider smoketest

#99 gussmith23 opened 2 months ago
0
Module instance ports need `HasType`s

#98 gussmith23 opened 2 months ago
0
2RW RAM Vivado Benchmark

#97 cknizek opened 2 months ago
2
Bitmask RAM Vivado Benchmark

#96 cknizek opened 2 months ago
2
Wide multiply smoketest

#95 gussmith23 closed 2 months ago
0
Tracking issue for implementing wide multiply

#94 gussmith23 opened 3 months ago
8
Do we want to delete `Wire` exprs in generated egglog commands?

#93 gussmith23 opened 3 months ago
0
Detect `Wire`s that don't get unioned with anything in Yosys plugin

#92 gussmith23 opened 3 months ago
0
Important, if we're to be a real tool: need to preserve module boundaries

#91 gussmith23 opened 3 months ago
0
Vivado Benchmarks

#90 cknizek opened 3 months ago
6
Flaky Verilator tests: "undefined reference to `main`"

#89 gussmith23 opened 3 months ago
0
What are Verilator's semantics when a Register sees a 1 on the clock as its first input?

#88 gussmith23 opened 3 months ago
0
Get DSP48E2 test working

#87 gussmith23 opened 3 months ago
0
Support compiling an arbitrary graph of PrimitiveInterfaces into a Lakeroad sketch

#86 gussmith23 opened 4 months ago
0
Call out to Lakeroad to attempt to synthesize the `PrimitiveInterface`

#85 gussmith23 opened 4 months ago
1
End-to-end multiply smoketest

#84 gussmith23 closed 1 month ago
0
Fix Verilator breakage

#83 gussmith23 opened 4 months ago
1
"Missing symbol called" error with Yosys on Mac

#82 gussmith23 closed 4 months ago
1
Smoketest: Churchroad multiply expression compiled and simulated via Lakeroad

#81 gussmith23 closed 1 month ago
7
Rework verilator testing

#80 gussmith23 closed 4 months ago
0
Add operators for DSP48E2 to Churchroad Interpreter

#79 ninehusky closed 3 months ago
0
Verilator testing is still broken on Mac

#78 gussmith23 opened 4 months ago
2
Start replicating benchmarks in #76

#77 gussmith23 opened 4 months ago
0
List of benchmarks from Dan

#76 gussmith23 opened 4 months ago
5
Reg takes an inconsistent number of args -- does it take the clock or not?

#75 gussmith23 opened 5 months ago
1
Add DSP48E2 operators to Churchroad

#74 ninehusky closed 3 months ago
0
Add Churchroad binary

#72 ninehusky opened 6 months ago
0
Create interpreter binary

#71 ninehusky opened 6 months ago
0
Remove Lakeroad work from git history

#70 gussmith23 opened 6 months ago
0
Interpreter should return streams of values over time

#69 gussmith23 opened 6 months ago
0
Wide FMA smoketest

#68 gussmith23 opened 6 months ago
0
Rewrite-rule generation using serialized EGraph

#67 thiskappaisgrey opened 6 months ago
2
Support `get_inputs_and_outputs` in the presence of cycles

#66 gussmith23 opened 6 months ago
0
Add get_inputs_and_outputs function for serialized egraph

#65 gussmith23 closed 6 months ago
0
Add ifu_esl_counter which demonstrates a bug with extracting with cycles

#64 thiskappaisgrey opened 6 months ago
0
Fix module instantiation compilation in Yosys Churchroad backend

#63 gussmith23 opened 6 months ago
0
Add parameters to module instantiations

#62 gussmith23 closed 6 months ago
0
If Verilog variables include keywords - it'll cause an Egglog syntax error.

#61 thiskappaisgrey opened 6 months ago
0
Register visualization bug

#60 gussmith23 opened 6 months ago
0
Add checks and todos on signal widths

#59 gussmith23 closed 6 months ago
0
Add more thorough checks on signal widths in `churchroad.cc`

#58 gussmith23 closed 6 months ago
0
Extra extract issue

#57 gussmith23 closed 6 months ago
0
Make it easier to correspond between verilog and egglog via variable names

#56 gussmith23 opened 6 months ago
0
Merge useful stuff from LATTE web demo back into main

#55 gussmith23 closed 6 months ago
0
Investigate unnecessary ZeroExtends

#54 gussmith23 closed 6 months ago
1
Add type checking as part of tests

#53 thiskappaisgrey opened 6 months ago
1
Good test case: Mapping wider FMAs

#52 gussmith23 opened 6 months ago
1
Unnecessary ZeroExtend and Concat

#51 zsisco closed 6 months ago
0
[DO NOT MERGE] ASPLOS/LATTE demo tracking PR

#50 gussmith23 opened 6 months ago
0