-2008 | -2002 | -93 | -87
choose VHDL 2008, 2002, 1993, or 1987
-explicit
resolve ambiguous overloads
-work <libname>
specify work library
-check_synthesis
turn on synthesis checker
-pslfile <file>
external PSL file