Editeur spécialisé en outils de vérification par la méthode des preuves formelles, l’Américain Jasper Design Automation vient d’introduire la version 3.0 de son outil JasperGold. Cette dernière assure désormais aux concepteurs la possibilité de vérifier, d’une manière incrémentale, les blocs RTL à partir des spécifications de haut niveau (séquencement de paquets et intégrité des données,…