altera cadence_ncvhdl cadence_rc leonardo modelsim modeltech synopsys synplicity vcs xilinx xilinx_11