vhdl work "xst_bad_02.vhd"