@User @User -- Well generally we should always use

.v

for verilog source files.

<filename>.<property>.v

makes sense to me