vhdl-reference-manual-veribest-fpga-synthesis