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
- Autoname seems to get stuck in a loop and consume all the memory on the system
- Do not map `$eqx` `$nex` `$bweqx`
- Add support/workaround for flattening `inout` port with tri-state signals
- Initial VAY draft
- yosys -sim hangs on multiple writes to the same memory address
- bitpattern: comments
- Any plans to add CDC linting?
- Custom Yosys Passes Result in Faulty Synthesis and Simulation Errors
- sigspec: decrease size with tagged union of bits and chunks
- smtbmc: Support skipping steps in cover mode
- Docs
- C++ not yet supported