Les outils d’analyse hybride, qui combinent preuve formelle et simulation, améliorent significativement la productivité de la vérification. Dans le même temps, ils augmentent le degré de confiance du concepteur dans la bonne fonctionnalité de sa conception. Synopsys explique pourquoi en s’appuyant sur son outil Magellan. Au cours des dernières années, l’industrie du semiconducteur a vécu…