The mostly likely problem you will encounter is unsupported language syntax, manifest through a “syntax error”.
If it's Vera, you may be able to work around it with
We would be grateful if you would report the
problem (details below). Do your
vzDoc run with the environment variable
VZDOC_DEBUG set to 31 (say). You should then find
a file in your
vzDoc/ directory with a
.pp extension. If you send us that, or a cut
down version of it (we don't need any of it that comes after the
syntax error, for example), we will try to fix it.
vzDoc should be considered unsupported. In reality, it has been modestly supported by Verilab on a best-efforts basis.
Any suspected bug, suggestion, or item of feedback may be reported to Verilab at firstname.lastname@example.org. We appreciate your help in this regard!