. . . "A timing-specific simulator may be implemented, for example, in VHDL and SystemC or other language as is well known." . . .