diff --git a/tools/vgen/vgen (1).pdf b/tools/vgen/vgen.pdf
similarity index 100%
rename from tools/vgen/vgen (1).pdf
rename to tools/vgen/vgen.pdf
diff --git a/tools/vgen/vgen_fig.pdf b/tools/vgen/vgen_fig.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..b014e3c7141086e4fe020786bef4f2fac4e6fb3c
Binary files /dev/null and b/tools/vgen/vgen_fig.pdf differ