Conforme aumenta la complejidad de las EPGAS y los ASICs modernos, los ingenieros empiezan a ser conscientes de que la verificación mediante simuladores HDL no es suficiente por si misma para comprobar en su totalidad los requisitos de diseño a nivel de sistemas de forma eficiente y ajustada a los plazos.