Thank you very much for you help.
Do you also think that a copyright is needed for .v files?
I tend to think that .v files could be considered as source code (because of Exctraction, Eval compute, etc) and thus all non-trivial .v files should be copyrighted. I might be wrong though.
Cheers, Samuel.
