Fix VHDL tests.