Man pages matching name gvhdl in section 1:

gvhdl.1.en

debian 10 / freehdl