Traditionally, the software/hardware co-verification of an embedded system has not been possible until quite late in the design cycle. However, when the development time is critical and the integration problems have an ...