yosys
https://github.com/cliffordwolf/yosys
C++
Yosys Open SYnthesis Suite
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
C++ not yet supported3 Subscribers
Add a CodeTriage badge to yosys
Help out
- Issues
- proc_arst: Unclear error message when (re)set polarity and sensitivity list do not agree
- ezSAT assertion fail when using freduce
- Removal of conditional code macro definitions for ABC/ABC9
- Suggestions to Improve debug/visualisation in SMT2 backend for SBY
- Properly specify and reimplement opt_clean/clean
- clean: remove unused wires even with (* init *) on
- Produced edif gives Multiple Driver Nets error.
- cleaning enhancements see #2048
- yosys-abc failed return code 127; libreadline6 vs libreadline7
- pyosys API: Silent aborts (segfault/assert())
- Docs
- C++ not yet supported