L’Américain Magma Design Automation, jusqu’alors éditeur de logiciels de conception et de synthèse physique, vient de présenter son premier outil de vérification par équivalence (méthode des preuves formelles), baptisé Quartz Formal. Ce dernier est en fait un produit utilisé depuis plusieurs années par IBM pour vérifier la conception de microprocesseurs et de circuits spécifiques comportant…