Releases

Languages

• VHDL 90.4%
• C++ 4.9%
• Coq 2.6%
• Verilog 1.0%
• SystemVerilog 0.6%
• Shell 0.3%
• Other 0.2%