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 // vzdoc translate off.

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 vzdoc@verilab.com. We appreciate your help in this regard!