Les techniques de modélisation d’un SoC au niveau transaction deviennent de plus en plus matures. Ainsi les plates-formes TLM (Transaction level modeling) sont déjà utilisées de manière opérationnelle pour la vérification fonctionnelle d’un circuit. Mais tout n’est pas rose pour autant. Une standardisation encore incomplète limite le déploiement de ces technologies. Reste aussi à convaincre

…