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![CodeTriage badge for cliffordwolf/yosys](/cliffordwolf/yosys/badges/users.svg?count=3)
Help out
- Issues
- Add `abstract` pass for formal verification
- share: fix infinite loop in find_terminal_bits on $mux loop
- memory_libmap: update indices on design modification
- Continuous assign drives right-hand side
- Does Yosys-config take DESTDIR into account?
- abc not recognised as a submodule when using a different abc commit
- read_liberty incorrectly models a latch with 'clear' input
- Add tutorial for adapting write_functional_smt2
- Regression. Segmentation fault at commit 901935fbcec42cbf79594efd9cc2877877810395715
- `read_verilog` never completes and continues to grow system memory usage
- Docs
- C++ not yet supported