ESL: Behavioural models used as simulation models.
Finally, for top speed, one can envisage a scenario where the firmware device drivers communicates directly with high-level models of the hardware using procedure calling. This avoids modelling the processor bus operations entirely.