Man pages matching name vhdl in section 5:

vhdl.5.en

debian 10 / alliance