paper: ref to Lava, small comment on SHDL