lakeroad
lakeroad copied to clipboard
uwsampl
FPGA synthesis tool powered by program synthesis
@bkushigian , @yzh119 , and I had a discussion this past Wednesday about how we can utilize information contained in the expressions we're trying to synthesize. Currently, Lakeroad treats the...
@bkushigian found this bug. It's not a problem now because generally xor32 and and64 won't get synthesized onto ccu2cs but onto LUT4s. At some point, though, Ben synthesized them onto...
This keeps coming up as something that Lakeroad might be able to do.
New (separate) PR to add the BaseJump STL mul-add-unsigned file into Lakeroad
When a solver isn't present, Racket/Rosette throws a very confusing, seemingly unrelated error message.
I often find myself needing to debug the SMT queries Rosette produces. I currently have to add in a line that calls `(output-smt)` into `main.rkt` every time. Would be good...
``` /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node: /lib64/libm.so.6: version `GLIBC_2.27' not found (required by /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node) /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node: /lib64/libstdc++.so.6: version `GLIBCXX_[3](https://github.com/uwsampl/lakeroad/actions/runs/9807280807/job/27080810941#step:8:3).4.20' not found (required by /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node) /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node: /lib64/libstdc++.so.6: version `CXXABI_1.3.9' not found (required by /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node) /home/gus/github-actions-runners/lakeroad/externals/node20/bin/node: /lib6[4](https://github.com/uwsampl/lakeroad/actions/runs/9807280807/job/27080810941#step:8:4)/libstdc++.so.6:...
Tracking issue for finding the bug in the DSP48E1 model. Some things to try in debugging: - [x] Look through the diff for anything suspicious in how we modified the...