Questa Inspect

Dans ce webinaire, vous découvrirez pourquoi la vérification formelle est essentielle pour réussir à l'ère de Next Normal, où le succès du premier passage sur le silicium est crucial et où il est essentiel de garantir la qualité tout au long de votre cycle de vérification.

Dans ce webinaire, nous aborderons les techniques suivantes : abstraction de base, configuration et optimisation des contraintes, indépendance des données et non-déterminisme. Ces méthodes sont faciles à appliquer et améliorent les performances des analyses formelles.

Dans ce webinaire, nous montrerons comment, avec un peu de connaissances en matière de conception et de prévoyance de votre part, vous pouvez tirer parti de ces deux principes (DI et ND) pour réduire votre analyse formelle à quelques minutes au lieu de quelques heures.

Dans ce webinaire, nous vous montrerons comment utiliser le code de vérification des propriétés (SVA) standard de l'IEEE et des outils formels prêts à l'emploi pour vérifier rapidement et de manière exhaustive que le transport de données via le DUT correspond aux spécifications.

Dans ce webinaire, vous découvrirez les types de constructions DUT qui posent souvent des problèmes lors des analyses formelles, et comment appliquer des techniques éprouvées pour les abstraire en toute sécurité afin que la vérification formelle puisse être rapidement terminée.