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

verible
The Verible project’s main mission is to parse SystemVerilog (IEEE 1800-2017) (as standardized in...
Latest release: about 15 hours ago - 1 maintainer
yosys
Yosys is a framework for RTL synthesis tools. It currently has extensive Verilog-2005 support and...
Latest release: 1 day 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: 4 months 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: 9 days ago - 6 stars on GitHub - 1 maintainer