lakeroad

lakeroad copied to clipboard

gussmith23

e.g. --infile vs --input-file

gussmith23

Found this bug when preparing the Lakeroad artifact: https://github.com/uwsampl/lakeroad-evaluation/issues/142 Made the change in the evaluation Dockerfile, but not this one.

gussmith23

I'm removing a lot of Verilator tests in https://github.com/uwsampl/lakeroad/pull/409. These tests will still test for synthesis, but they will not test simulation. The existing integration tests (integration_tests/lakeroad) run synthesis and...

gussmith23

Currently, only bitwuzla, cvc5, and stp are tested by our tests.

gussmith23

Modules may have cycles, so we need to be able to extract cycles. This issue tracks the task of extracting _any_ representative of the eclass containing cycles. Not going to...

gussmith23

Enumerate all submodules in the permuter, modulo rewrites

4

- [ ] Figure out what's causing infinite loop - [ ] Enumerate all modules into Rust object (I can get them as strings; see below) - [ ] #405

gussmith23

Here's how I'm currently thinking about doing this: - [ ] #403 - [ ] Extract mappings of permuter to submodule applications that look promising (i.e. low resource usage) -...

gussmith23

Project idea: more efficient mappings of ASIC standard library cells to FPGAs for emulation

1

I heard this was an issue from Dan Petrisko. Should talk to him about it.

gussmith23

Write extraction function that only extracts `apply` nodes

2

gussmith23