User guide

C-55
Compile-Time Options
single file. Output is saved in tokens.v file. You can substitute
-Xman for -Xmangle.
The argument number can be 1, 4, 12, or 28:
-Xman=1
Randomly changes names and identifiers, and removes
comments, to provide more secure code.
-Xman=4
Preserves variable names but removes comments.
-Xman=12
Does the same thing as -Xman=4 but also enters, in comments,
the original source file name and the line number of each
module header.
-Xman=28
Does the same thing as -Xman=12 but also writes at the bottom
of the file comprehensive statistics about the contents of the
original source file.
-Xnomangle=.first|module_identifier,...
Specifies module definitions whose module and port identifiers
VCS does not change. You use this option with the -Xman option.
The .first argument specifies the module by location (first in
file) rather than by identifier. You can substitute -Xnoman for
-Xnomangle.