Questa Check Connect

In diesem Webinar erfahren Sie, warum die formelle Verifizierung die Schlüsselkomponente für den Erfolg in der Ära von Next Normal ist, in der der Erfolg von First-Pass-Silizium entscheidend ist und die Sicherstellung der Qualität während Ihres gesamten Verifizierungszyklus unerlässlich ist.

In diesem Webinar werden wir die folgenden Techniken erörtern: Grundlegende Abstraktion, Einrichtung und Optimierung von Beschränkungen, Datenunabhängigkeit und Nichtdeterminismus. Diese Methoden sind einfach anzuwenden und erhöhen die Leistung der formalen Analyse.

In diesem Webinar zeigen wir, wie Sie mit ein wenig Designwissen und Voraussicht Ihrerseits diese beiden Prinzipien (DI und ND) nutzen können, um Ihre formale Analyse auf Minuten statt Stunden zu reduzieren.

In diesem Webinar zeigen wir Ihnen, wie Sie den IEEE-Standard Property Checking Code (SVA) und handelsübliche formale Tools verwenden, um schnell und umfassend zu überprüfen, ob der Datentransport durch das DUT der Spezifikation entspricht.

In diesem Webinar lernen Sie, welche Arten von DUT-Konstrukten häufig Probleme bei der formalen Analyse verursachen, und wie Sie bewährte Techniken anwenden können, um sie sicher zu abstrahieren, sodass die formale Überprüfung schnell abgeschlossen werden kann.

In diesem Webinar zeigen wir Ihnen, wie Sie optimale Randbedingungen für die formale Analyse schreiben und wie Sie die Analyse bewusst unter- und überfordern, um mehr über die Effektivität der Einschränkungen zu erfahren.

In diesem Webinar erfahren Sie, wie die Überprüfung der FPGA-Implementierung den Designablauf beschleunigen, Tests im Labor reduzieren, den Einsatz aggressiver Optimierungen ermöglichen und die Risiken nach der Produktion drastisch reduzieren kann.

Der Schutz Ihrer Hardware ist genauso wichtig wie der Schutz Ihrer Software vor Cyberangriffen. In dieser Sitzung wird die frühzeitige Sicherheitsüberprüfung an einem kleinen Modul für geistiges Eigentum (IP) demonstriert, das für die IC-Integration vorgesehen ist.

In diesem Webinar erhalten Sie einen Einblick in die automatischen formalen Anwendungen, die verwendet werden können, um aktuelle Design- und Verifikationsherausforderungen zu lösen, die häufig bei der Entwicklung von ASIC- und FPGA-Designs auftreten.

In diesem Webinar zeigen wir, wie Sie einen automatisierten, formalen Ablauf einsetzen können, der eine vollständige Erfassung des Bundesstaats Ihrer Register gewährleistet, Verhaltensweisen und alle illegalen Verhaltensweisen umfassend verifizieren, ohne dass Sie formelles lernen müssen.

In diesem Webinar werden wir uns ausführlich mit der formalen Methodik befassen und uns dabei auf das ABC des Formalen konzentrieren: (A) Abstraktion, (B) Bug Hunting & Building Proofs und (C) Berichterstattung im Kontext der Eigenschaftsprüfung.

In diesem Webinar werden Sie sehen, wie die benutzerfreundlichen formalen Apps zu den ersten Schritten der formalen Eigenschaftsprüfung übergehen; von der praktischen Idee der umfassenden formalen Überprüfung auf Modulebene bis hin zum Versprechen einer eigenschaftsgesteuerten Entwicklung.

In diesem Webinar werden wir eine umfassende statische und formale Methodik vorstellen, die die automatisierte Anwendung Questa X-Check verwendet, die es Designteams ermöglicht, X-Probleme schon früh im RTL-Designprozess zu lösen.

In diesem Webinar werden Sie lernen, wie Sie formale Analysen nutzen können, um so viele funktionale Fehler wie möglich zu finden und zu beheben, was letztendlich die Qualität Ihres Endprodukts verbessert und das Risiko von Re-Spins verringert.

In diesem Webinar erfahren Sie, warum eine formelle Bewerbung zu Beginn der Entwicklung den gesamten Verifizierungszyklus verkürzt, indem die meisten Fehler während der Entwicklung gefunden und behoben werden und nicht erst spät im Verifikationsspiel.