Library VHDL files