Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
spack.io maintainers: davekeeshan
yosys
Yosys is a framework for RTL synthesis tools. It currently has extensive Verilog-2005 support and...Latest release: about 2 hours ago - 1 maintainer
opensta
OpenSTA is a gate level static timing verifier. As a stand-alone executable it can be used to ve...Latest release: 1 day ago - 6 stars on GitHub - 1 maintainer
verible
The Verible project’s main mission is to parse SystemVerilog (IEEE 1800-2017) (as standardized in...Latest release: 3 days ago - 1 maintainer
verilator 3.904
Verilator is the fastest free Verilog HDL simulator. It compiles synthesizable Verilog (not test-...4 versions - Latest release: about 2 years ago - 1 maintainer
icarus v10_3
Icarus Verilog is a Verilog simulation and synthesis tool.1 version - Latest release: about 2 years ago - 1 maintainer
cudd 3.0.0
The CUDD package is a package written in C for the manipulation of decision diagrams. It support...1 version - Latest release: 5 months ago - 1 maintainer