Skip to content

Issues: uwsampl/churchroad

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

26 Open 14 Closed
26 Open 14 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Reg takes an inconsistent number of args -- does it take the clock or not?
#75 opened May 16, 2024 by gussmith23
Add DSP48E2 operators to Churchroad
#74 opened May 16, 2024 by ninehusky
Create interpreter binary
#71 opened May 9, 2024 by ninehusky
1
@ninehusky
Remove Lakeroad work from git history
#70 opened May 9, 2024 by gussmith23
Interpreter should return streams of values over time
#69 opened May 9, 2024 by gussmith23
Support get_inputs_and_outputs in the presence of cycles
#66 opened May 3, 2024 by gussmith23
Fix module instantiation compilation in Yosys Churchroad backend
#63 opened May 3, 2024 by gussmith23
If Verilog variables include keywords - it'll cause an Egglog syntax error.
#61 opened May 3, 2024 by thiskappaisgrey
Make it easier to correspond between verilog and egglog via variable names
#56 opened May 2, 2024 by gussmith23
Add type checking as part of tests
#53 opened May 1, 2024 by thiskappaisgrey
1
Good test case: Mapping wider FMAs
#52 opened Apr 29, 2024 by gussmith23
5 tasks
1
Codegen back to Verilog
#40 opened Apr 18, 2024 by gussmith23
Initialization of registers is not supported
#33 opened Apr 16, 2024 by thiskappaisgrey
1
Make a new syntax node for modules
#32 opened Apr 13, 2024 by thiskappaisgrey
Document how to use Yosys plugin to import things to Churchroad
#29 opened Apr 9, 2024 by gussmith23
Expose module-to-rewrite conversion to the user
#28 opened Apr 9, 2024 by gussmith23
Investigate possible impact of $shiftx vs. $shr
#26 opened Apr 6, 2024 by ninehusky
1
Rename yosys_plugin command to write_churchroad
#25 opened Apr 5, 2024 by ninehusky
Ensure that the design is in a sane state before generating Churchroad output with write_churchroad
#22 opened Apr 1, 2024 by gussmith23
1
Executing splice; splitnets -driver; clean in write_churchroad may be a Yosys antipattern
#21 opened Apr 1, 2024 by gussmith23
Determine whether we're overusing sigmap in churchroad.cc
#20 opened Apr 1, 2024 by gussmith23
Extraction with cycles
#17 opened Mar 15, 2024 by gussmith23
1
Make lit tests not depend on your current working directory
#16 opened Mar 12, 2024 by gussmith23
Pull requests from public forks will not be able to run CI
#9 opened Feb 23, 2024 by gussmith23
Add end-to-end tests: Verilog -> Churchroad (via Yosys plugin) -> running with egglog
#8 opened Feb 21, 2024 by gussmith23
ProTip! Type g i on any issue or pull request to go back to the issue listing page.