Almost all electronic-system-level (ESL) simulation environments contain models at various levels of abstraction and accuracy. These models can range from behavioral level through instruction level, ...