Man pages matching name vhdlablname in section 3:

vhdlablname.3.en

debian 10 / alliance