Change file extensions from .v to .sv