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
- Blackbox modules, Dynamic Port widths and write_smt2
- Automatically Infer latch
- Assertion error during 2.20.2 FSM_EXTRACT pass
- Segmentation fault during proc_init with large wires
- Reconsider `wreduce -keepdc` option name
- When there are multiple drivers on one net, `opt_clean` incorrectly changes the behavior of another net.
- Error out if techmap recursion is too deep
- error using python interface pass
- Support for "disable" keyword for self-disabling blocks
- SAT command. "The options -max, -all, and -max_undef are not supported for temporal induction proofs!" error message is reported not in all cases.
- Docs
- C++ not yet supported