Open SYnthesis Suite for Verilog RTL synthesis and formal-related flows.
Projects
Open-source FPGA projects
RTL, tooling, boards, labs.
Publication criteria
This catalog has few published projects. Only real records with a repository or verifiable source are shown; unverified projects are not created.
Repository URLLicense and statusMaintainer or source evidenceFPGA/RTL/tooling scope