Man pages matching name faum-gen-vhdl in section 1:

faum-gen-vhdl.1.en

debian 10 / faumachine