Compiled-code-based simulation with timing verification. - Winfried Hahn; Andreas Hagerer; C. Herrmann (EURO-DAC, 1994)