Automatic Generation Of Timing Annotated Vhdl Models Of Vlsi Circuits /