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
- Logic loop for asynchronous partial reset trigger
- RFC: upstream verific -optimization option
- verific: add -set_ignore_translate_off option
- verific: add -set_relaxed_checking option
- verific: add -set_relaxed_file_ext_modes option
- verific: add -set_relaxed_file_libext_modes option
- verific: add -ignore_module option
- Integrate fuzzing doc into public docs
- aigerparse: process user LUTs first to work around occasional abc ordering issues
- wreduce: queue traversal
- Docs
- C++ not yet supported