Gewusst wie: analysieren Sie Ihre System Verilog Behauptungen

Verilog ist eine Programmiersprache, die digitalen Hardware beschreibt. Aussagen sind Aussagen, die erwartete Bedingungen innerhalb eines Programms zu definieren. In Verilog werden Behauptungen verwendet, um Zustände zu definieren, die Ihre Schaltung während des normalen Betriebs auftreten sollte. Diese Behauptungen können verwendet werden, um die Schaltung für Fehler zu analysieren. Jeder Fehler in der Programmierung können zu eine Assertionsmeldung führen, die Ihnen hilft, einen Fehler zurück auf seine Ursache zu verfolgen. Sie sollten Assertionen hinzufügen, um Ihr Verilog-Programm helfen Ihnen, das System zu Debuggen und als Instrument zur anderen Programmierern zu helfen, wenn sie Ihren Code überprüfen.

Anweisungen

1 Öffnen Sie die Verilog-IDE durch Klicken auf das entsprechende Symbol. Erstellen Sie ein neues Projekt durch Klicken auf "Datei", und wählen Sie "New Projektwizard." Ein neues Projektfenster wird angezeigt. Wählen Sie einen Namen und ein Verzeichnis für dieses Projekt. Drücken Sie die Schaltfläche "Weiter" zum Navigieren in des Rest der Seiten, verlassen alle Einstellungen auf den Standardwert. Drücken Sie die Schaltfläche "Fertigstellen", um das Projekt zu erstellen.

2 Wählen Sie "Datei", dann "Neue" Fenster zum Erstellen einer Datei zu öffnen. Wählen Sie "Verilog HDL File", und drücken Sie die "OK"-Taste, um eine neue Verilog-Datei dem Projekt hinzufügen. Eine leere Verilog-Datei wird in das Haupt-Text-Editor-Fenster angezeigt.

3 Erstellen Sie ein Modul, das nach dem Projekt benannt. Wenn Ihr Projekt "Behauptungen" benannt ist, können Sie beispielsweise die folgenden Moduldefinition schreiben:

Modul Behauptungen;

4 Deklarieren Sie zwei Registern, die Werte mit dem Namen "A" und "B" enthalten, wie folgt:

Reg A, B;

5 Den Anfangswert für jedes Register wie folgt festgelegt:

Initial beginnen A = 0;Initial beginnen B = 1;

6 Angenommen Sie, dass Sie eine "if"-Anweisung hat, die testet, ob "A" nicht gleich "B" An dieser Stelle im Programm sollte das stimmt, da "A" und "B" nur auf verschiedene Werte initialisiert wurden. Dies wäre ein großartiger Ort, um eine Anweisung "behaupten" zu setzen. Schreiben Sie die folgenden "If"-Anweisung, gefolgt von einer Anweisung "behaupten":

Wenn (A! = B).geltend machen (A! = B);

7 Schreiben Sie eine ausführlichere "-Anweisung, die Nachrichten druckt, wenn eine"behaupten"-Anweisung verarbeitet wird geltend zu machen". Ersetzen der "geltend zu machen (A! = B);" mit der folgenden Anweisung:

geltend machen (A! = B) $display ("Assertion übergeben. A b entspricht nicht");sonst $error ("Assertion ist fehlgeschlagen. A ist gleich B.");

8 Führen Sie das Programm durch Drücken der grünen "Play" Taste befindet sich auf der oberen Symbolleiste. Das Programm sollte drucken Sie die folgende Meldung: "Assertion übergeben. A nicht gleich B." Jedoch wenn einige Fehler, der den Wert von "B" auf Null setzt auftritt, die Assertion fehl, und die Fehlermeldung "Assertion ist fehlgeschlagen. A ist gleich b"erscheint.

9 Verwenden Sie Behauptung Nachrichten, um den Zustand Ihres Programms analysieren und überprüfen alle Ihre Annahmen über das Design. Wenn eine Behauptung wiederholt fehlschlägt, gibt es ein Fehler im Programm, das Ihre Design-Kriterien nicht erfüllt. Sie können Ihren Weg von der Behauptung nach hinten auf die Ursache dieses Fehlers arbeiten.