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
- abc9: migrate to write_xaiger2
- dfflibmap selects Q N QN-only flop over true- Q Q flop when area is equal
- abc -dff: different netlist on every run with multiple threads (same OS, same input)
- rtlil: remove dead verilog bindings
- liberty_cache: per user SCL cache directory [sc-843]
- Adding error cases to formal backends for invalid formal cells
- Run ABC for each module in parallel
- opt_dff: avoid quadratic sigmapping in mux tree feedback search [sc-839]
- synth*: run check after proc before opt_clean to discover process-ini…
- check: detect process-driver conflicts
- Docs
- C++ not yet supported