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
- fedora packaging issues for 0.67+
- opt_dff: add SAT effort limits
- Include build datetime in scl cache hash
- Regarding handling blackboxes with parameters
- autoname: avoid O(iterations x module size) full rescan
- opt_dff -sat significantly slower for certain design patterns
- dfflibmap: negedge enable-DFF cells get a distinct (dangling) clock net per instance instead of sharing one
- Yosys sat -prove segfaults on a design containing a memory read
- Assertion in hierarchy when elaborating parameterized generate instances due to non-unique name
- Propagate src attributes in opt passes
- Docs
- C++ not yet supported