Update parts of related work section on Lava and VHDL-2008