vhdl: do not use time type for RTL code