Generation of .v for signatures