<@U0175T39732> <@U016EM8L91B> -- Well generally we should always use `.v` for verilog source files. ...
t
@User @User -- Well generally we should always use
.v
for verilog source files.
<filename>.<property>.v
makes sense to me