The PDF support is enabled by using the -pdf command line argument.
-pdf
PDF page of Verilog module
Important
The schematic diagrams are not exported to PDFs due to size constraints.
latexmk, texlive-luatex, texlive-formats-extra
MacTeX
TBD