The synthesis tools supported by HES-DVM are:
Synopsys Synplify, Synplify Pro, Synplify Premier (Linux, Windows)
Xilinx XST (Linux, Windows)