ISA-Workflows in Digital Design Studio
Digital Design Studio 2.0.2: ISA-Workflows in Digital Design Studio. Prüfen Sie vor der Nutzung den ausgewählten Host, Kontoberechtigungen und den aktuellen Supportumfang.
Öffnen Sie ISA design in Flow Navigator von Digital Design Studio. Die Quelle von 2.0.2 unterstützt RISC-V-Import sowie RV64-, IM- und A-Profile. Prüfen Sie das ausgewählte Profil und Diagnosen, bevor Sie ein generiertes Artefakt speichern. Elaboration, Assemblierung, Ausführung, Co-Simulation, formale Prüfungen und Modellladen hängen weiterhin vom Vorgang ab, den der tatsächliche Host anbietet; Importunterstützung aktiviert nicht jede ISA-Aktion auf Windows oder Cloud.
Überblick
ISA-Entwurf ist Teil von Digital Design Studio, keine separate Anwendung. Öffnen Sie ISA-Entwurf im Flow Navigator desselben Projekt-Workspaces, der für RTL-Bearbeitung und Analyse verwendet wird.
Einen ISA-Workflow öffnen
Öffnen Sie Digital Design Studio und wählen Sie das gewünschte Projekt.
Erweitern Sie ISA-Entwurf im Flow Navigator.
Wählen Sie Erstellung, Anweisungen, RTL-Generierung, Ausführung, Leistung oder Verifikation.
Öffnen Sie die benötigte Funktion. Ihre Editorregisterkarte verwendet den Funktionsnamen, statt einen allgemeinen ISA-Titel zu wiederholen.
Erstellen oder wählen Sie die Architekturquelle des Projekts, bevor Sie eine Outline, Anweisungstabelle oder ein Codierungsergebnis erwarten.
Ein leeres Projekt darf nicht als Projekt mit eingebauter Architektur verstanden werden. Eine sichtbare Funktion ist ein Navigationseintrag, kein Beweis für eine freigeschaltete Engine.
Funktionen im linken Panel
Stufe | Funktionen |
|---|---|
Modellieren | Outline, Anweisungen, Architekturzustand, Codierung, Opcode-Zuordnung, Assembler/Disassembler, Pipeline, Konfiguration und Änderungsvergleich |
Generieren | RTL, Befehlssatzsimulator, compilerbezogene Ausgaben und Export |
Erkunden | Varianten im Designraum |
Ausführen | Programmausführung und eine Verknüpfung zum gemeinsamen Event Trace |
Analysieren | Strukturprofil und PPA-Schätzungen |
Verifizieren | Co-Simulation, Verifikation, formale Prüfungen und Signoff-Prüfung |
Workspace-Werkzeuge | Modellbibliothek und Referenzmaterial |
Grenzen Sie die Liste mit dem Suchfeld ein. Alles erweitern und Alles einklappen wirken auf die Stufengruppen. Die Wahl eines Eintrags öffnet die Funktion; sie reicht keinen Job ein.
Quelle und Projekteinstellungen
ISA-Quelle, Projekteinstellungen, generierte Ausgaben und Verifikationsnachweise gehören zum gewählten Workspace von Digital Design Studio. Speichern Sie bewusste Quelländerungen vor Elaborierung oder Export. Wenn der Host Quellaktionen bereitstellt, bietet das ISA-Panel Speichern, Elaborieren und ISA-spezifische Projekteinstellungen.
In 2.0.2 können Library-Modelle nicht geladen werden; Library fügt nur CX-Snippets ein. Bewahren Sie ungespeicherte Arbeit auf und prüfen Sie das Modell, bevor Sie die Ersetzung akzeptieren. Eine Vorlage ist ein ausdrücklicher Ausgangspunkt, kein Ergebnis aus dem aktuellen Projekt.
Anweisungen und Codierungen prüfen
Öffnen Sie nach dem Speichern der aktiven CX-Quelle Instructions. Verwenden Sie Declared categories für benutzerdefinierte Zugehörigkeit oder Encoding width / format für strukturelle Gruppen. Lesen Sie die Tabelle im Zusammenhang mit der Elaboration genau dieser Quelle.
Bewahren Sie Quellrevision, gewähltes Ziel, Engine-Version, Eingabebeispiele und zurückgegebene Artefakte zusammen auf. Eine gefüllte Tabelle ist für sich kein Verifikationsnachweis; eine Schätzung ist kein gemessenes Implementierungsergebnis.
Event Trace wird mit Analyse gemeinsam genutzt
Es gibt einen Event-Trace-Betrachter unter Analyse. Der ISA-Event-Trace-Eintrag ist eine Verknüpfung zu diesem gemeinsamen Betrachter und dem entsprechenden Lauf, keine zweite Zeitleiste. Wenn kein kompatibles Laufartefakt vorhanden ist, kann kein gemessener Trace angezeigt werden.
Verfügbarkeit und Migration
ISA verwendet Shell, Einstellungen, Registerkarten und unteres Panel von Digital Design Studio. Für den integrierten Workflow muss keine separate ISA-Anwendung installiert werden; es gibt auch keine separate KI-Chat-Ansicht im Haupteditor.
Organisieren Sie Deklarationen mit Add category und Add subcategory. New instruction und Duplicate instruction erstellen Entwürfe; prüfen Sie Name, Assemblermnemonik und Kodierung vor Apply to CX. Eine geänderte Quelle oder ein schreibgeschütztes Dokument kann Apply deaktivieren.
Ältere eigenständige ISA-Installationen und ihre Anwendungsdaten sind Altbestände. Bewahren Sie vorhandene CX-Quellen vor der Migration als benutzerkontrollierte Dateien auf. Kopieren Sie keine Zugangsdaten, Maschinenlizenzen oder verborgenen Gerätevertrauenszustände in den neuen Workspace. Siehe Lokale Workspaces und Erster Start und Kontozugriff.
Verwandte Anleitungen
Vom Modell zur geprüften Ausgabe
Fordern Sie mit Verify model die Elaboration des aktuellen Puffers an. Lesen Sie ausstehende, nicht verfügbare und fehlgeschlagene Prüfungen wie angezeigt; modellweite Prüfungen sind kein separater Nachweis für jede Anweisungszeile.
Speichern Sie die Architekturquelle und wählen Sie die gewünschte ISA-Konfiguration.
Beheben Sie Parse-/Elaborierungsdiagnosen, bevor Sie Anweisungs- und Codierungsansichten lesen.
Generieren Sie nur die vom aktuellen Host unterstützten Ausgaben. Speichern Sie generierte Artefakte getrennt von der Quelle.
Verwenden Sie bekannte Anweisungen und erwartete Codierungen, um das Verhalten von Assembler/Disassembler zu prüfen.
Bewahren Sie Ausführungs- und Verifikationsergebnisse mit der Quellrevision auf; öffnen Sie kompatible Ereignisse über den gemeinsamen Analyse-Event-Trace.
Die mit der Windows-App gebündelte CLI alti dient der Projektinitialisierung. Für alti isa … benötigen die CLI-ISA-Befehle die CX-Engine (alti-cx), die nicht in der Windows-App enthalten ist. Ausgabeformat und Fähigkeiten gehören zum installierten CLI-Release.
Digital Design Studio 2.0.2 verwenden
Decoderexport erfordert die aktuelle Elaboration und ihre statischen Prüfungen. Prüfen Sie die gewählte Sprache und Zuordnung der Rohfelder und bewahren Sie die exportierte Datei separat auf. Quellbearbeitung macht den früheren Export ungültig; er ist kein Nachweis für Ausführungsäquivalenz.