30d058d816ab522a8952d40c4a52213c721c5db8
Languages
Verilog
51.4%
Coq
38.2%
Tcl
2.7%
SystemVerilog
2.5%
Assembly
1.7%
Other
3.3%