On Fri, Sep 27, 2019 at 12:32 PM Stefan Monnier <monnier@iro.umontreal.ca>
wrote:

> > -     ("\\.[ds]?vh?\\'" . verilog-mode)
> > +     ("\\.[ds]?va?h?\\'" . verilog-mode)
>
> BTW, .v is the standard extension used for Coq source files.
> Is it also commonly used for Verilog files?
>

Yes!

.v is the most common for Verilog files.
.sv is the most common for SystemVerilog files.