La société de CAO Magma va licencier, avec ses outils de synthèse Blast Synthesis et de placement-routage Blast Route, l’outil d’analyse d’équivalence par preuve formelle Quartz Formal développé initialement par IBM. Utilisé depuis huit ans, cet outil réalise des comparaisons de fichiers RTL/portes, portes/portes ou portes/transistor pour des circuits jusqu’à 270 millions de transistors.