Lava.Vhdl