User guide

25-24
Source Protection
b. At the Name prompt, enter anonymous.
At the Password prompt, enter your e-mail address.
c. At the ftp> prompt enter:
cd incoming
d. Enter the following FTP command:
binary
e. Enter the following FTP command:
put tokens.v.gz
10. Now send e-mail to [e-mail] informing us
that you have uploaded the test case.
Preventing Mangling of Top-Level Modules
You can prevent the mangling of top-level modules in your source
description with the
-Xnomangle option. The syntax for this option is:
-Xnomangle=.first | module_identifier
[, module_identifier...]
For example:
-Xnomangle=.first
Prevents the mangling of the first module VCS encounters in the
source description.
-Xnomangle=top1,top2
Prevents the mangling of modules top1 and top2