Les defis de la verification

摘要

Pmillions de transistors sur la meme puce ? Oui, c'est possible ! Et meme depuis plusieurs annees, grace aux procedes de fabrication Cmos. Le probleme n'est pas la. L'obstacle a la montee en puissance des circuits integres ne reside plus dans les limites des equipements de fabrication, mais dans celle des outils de conception et, plus encore, de verification de la conception. Grosso modo, on considere que la capacite de verification (en millions de transistors) n'atteint que la moitie de la capacite de design, et seulement le tiers des possibilites d'integration physique. Veritable goulot d'etranglement pour l'industrie des semiconducteurs, la verification est pourtant l'indispensable ceinture de securite pour qui veut eviter de perdre des millions en production.