revised header for vhdl's