langbank / languages /

Verilog

id
verilog
role
programming
claims first
.vh
extensions
.v .veo .vg .vh
line comment
//
block comment
/**/
shares
.v with Rocq Prover, V
.vh with SystemVerilog