Google XLS über die Altifigence CLI

Die Altifigence CLI bietet unter Linux x86_64 einen Ablauf zum Installieren und Ausführen einer festgelegten Upstream-Version der Google XLS-Toolchain. Sie nimmt Anfragen entgegen, die Quellmodule und eine Operation angeben, und liefert die Ergebnisse der installierten Werkzeuge zurück. Über diesen Kommandozeilenablauf können Sie DSLX prüfen, Modultests ausführen und aus einer ausgewählten Funktion SystemVerilog erzeugen.

Ein zweiter Ablauf verbindet kompatible MCP-Clients mit lokalen XLS-Quelltextwerkzeugen. Diese Werkzeuge verwenden die daneben installierte native XLS-Engine auf der CPU und nehmen direkt in der Anfrage enthaltenen Quelltext entgegen. Für die Upstream-Toolchain und die lokalen XLS-MCP-Werkzeuge gelten separate Einrichtungsschritte und Anfrageformate. Beide bieten über die Installation der Altifigence CLI einen konkreten Weg, mit Quelltext zu arbeiten und dessen Ausgaben zu untersuchen.

Die festgelegte Upstream-Version der Google XLS-Toolchain ausführen

Der Upstream-Ablauf beginnt mit einer ausdrücklichen Installation der Toolchain. Die Altifigence CLI installiert eine festgelegte Google XLS-Version, verifiziert das Archiv und prüft den Bestand an Werkzeugen und Standardbibliothek. Sie bewahrt die Lizenzdateien der Version auf und schreibt nach erfolgreichen Prüfungen eine Toolchain-Konfiguration. Vor der Verwendung verifiziert die CLI diese installierte Version erneut.

Die Konfiguration legt fest, welche Installation für nachfolgende Anfragen verwendet wird. Die zugehörige Antwort auf die Abfrage der Fähigkeiten beschreibt die verfügbaren Operationen und Eingabearten sowie die Identitäten von Version und Werkzeugen. Damit hat die Arbeit am Quelltext einen ausdrücklichen Ausführungskontext: eine Anfrage, eine ausgewählte Installation und ein Ergebnis, das die beteiligten Werkzeuge dokumentiert.

1. Installieren Sie die Altifigence CLI unter Linux x86_64. Führen Sie alti xls upstream install mit Ihrem regulären Benutzerkonto aus und wählen Sie neue absolute Pfade für das Installationsziel und die Toolchain-Konfiguration unter einem vorhandenen Ordner.

2. Rufen Sie alti xls upstream capabilities mit dieser Toolchain-Konfiguration ab. Prüfen Sie die für Ihre Installation gemeldeten Operationen, Eingabearten und die Identität der installierten Version.

3. Bereiten Sie eine Anfrage mit operation, input_kind, entry und files vor. Bei DSLX enthält files die Module, deren Schlüssel relative Pfade mit der Endung .x sind; entry bezeichnet das Ausgangsmodul.

4. Führen Sie alti xls upstream run mit der Toolchain-Konfiguration, einem vorhandenen work-root-Ordner und der Anfrage aus. Wählen Sie check für Parsing und Typprüfung oder eval für die Testfunktionen und Test-Procs des entry-Moduls.

5. Geben Sie für eine ausgewählte Funktion top an und wählen Sie convert, optimize oder codegen. Prüfen Sie die zurückgegebenen Artefakte und bewahren Sie das Ergebnis zusammen mit der Quelltextanfrage für Ihre Durchsicht auf.

Eine Anfrage mit mehreren Dateien macht den Zusammenhang zwischen einem Modul und seinen Importen deutlich. Das veröffentlichte Beispiel legt eine add-Funktion in adder.x ab und importiert sie aus main.x, wo ein Modultest das Ergebnis prüft. entry benennt das Testmodul für die Auswertung. check und eval arbeiten mit diesem entry-Modul und seinen Importen; Anfragen zur Generierung bestimmen die Funktion über top.

Vom typisierten Addierer zu generierten Ausgaben

Der dokumentierte Addierer verwendet u8-Eingänge und einen u8-Rückgabewert. Sein Test addiert u8:255 und u8:1 und erwartet u8:0. Dieses kleine Beispiel eignet sich für eine Durchsicht, weil Quelltexttyp und erwartetes Überlaufverhalten gemeinsam sichtbar sind. Sie können die Funktion lesen, die Assertion untersuchen und den Modultest als Teile derselben Quelltextaufgabe ausführen.

Für die Generierung von SystemVerilog mit Pipeline wählt das Beispiel add als top und das Addierermodul als entry. Die Konvertierung erzeugt eine Zwischendarstellung der ausgewählten Funktion; die Optimierung erzeugt ein optimiertes IR-Artefakt; die Codegenerierung liefert SystemVerilog sowie die zugehörigen Schnittstellen-, Ablaufplan- und Signaturdaten. Mit convert oder optimize können Sie die Durchsicht an einer Zwischenstufe ansetzen.

Dieses codegen-Ergebnis mit Pipeline enthält module.sv, converted.ir, optimized.ir, interface.textproto, schedule.textproto und signature.textproto. Jedes Artefakt enthält seinen Text, seine Byteanzahl und seinen SHA-256-Wert. Das Ergebnis dokumentiert außerdem die Werkzeugprozesse samt Hashes, Argumenten, Exitcodes und Ausgabe. Zusammen verknüpfen diese Felder die generierten Dateien mit den Werkzeugen und der Anfrage des Laufs.

Eine Upstream-Generierungsanfrage kann Pipeline-Stufen auswählen oder kombinatorisches SystemVerilog verwenden. Betrachten Sie dies bei der Untersuchung des Quelltexts als Entscheidung über die generierte Struktur. Eine sinnvolle Übung für Ihre Durchsicht ist, DSLX neben dem zurückgegebenen IR und SystemVerilog bereitzuhalten und zu untersuchen, wie die ausgewählte Funktion in den einzelnen Stufen erscheint. Dieser Vergleich ist eine von Ihnen gesteuerte Leseaufgabe mit den generierten Artefakten.

Die separaten lokalen XLS-MCP-Werkzeuge verbinden

Der lokale XLS-MCP-Ablauf beginnt mit dem verifizierten CLI-Paket für Linux x86_64. Setzen Sie in den stdio-Einstellungen eines kompatiblen Clients den Befehl auf den absoluten Pfad der installierten ausführbaren Datei alti-mcp und lassen Sie die Argumente leer. Belassen Sie alti-xls neben alti-mcp in dieser verifizierten Installation. Setzen Sie die Umgebungsvariable ALTI_MCP_MODE des Serverprozesses auf local-xls und stellen Sie die Verbindung her.

Aktualisieren Sie die Werkzeugliste des Clients und rufen Sie dann altifigence.local.xls.capabilities mit einem leeren Objekt {} auf. Prüfen Sie die zurückgegebenen Engine-Fähigkeiten und den Ausführungsbeleg. Dieser Schritt legt den Engine-Kontext fest, bevor Sie Quelltextoperationen aus dem Client senden.

Der Werkzeugsatz umfasst altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize und altifigence.local.xls.codegen. Er bietet die Abfrage der Fähigkeiten, Quelltextprüfung, Auswertung mit Eingabevektoren, XLS-IR-Optimierung und RTL-Generierung. Die Ausführung erfolgt über die daneben installierte Engine auf der CPU.

Geben Sie für eine Quelltextoperation input_kind als dslx oder xls-ir, den direkt enthaltenen Quelltext in source und den Namen der obersten Funktion in top an. Bei eval geben Sie zusätzlich vectors als Arrays aus Zeichenkettenwerten an. Dieses Anfrageformat eignet sich für eine ausdrücklich ausgewählte Quelltextfunktion und dafür vorbereitete typisierte Eingaben. Ein erfolgreicher Engine-Aufruf liefert engine und receipt in structuredContent zurück.

Den Ablauf für Ihre Quelltextaufgabe wählen

Der Upstream-Ablauf eignet sich für die Arbeit mit DSLX-Modulen, Importen und Modultests, wenn Sie Ergebnisse aus einer installierten, festgelegten Google XLS-Toolchain erhalten möchten. Der lokale MCP-Ablauf eignet sich, um mit einem kompatiblen Client direkt enthaltene Quelltextoperationen und Auswertungsvektoren an die native CPU-Engine zu senden. Beginnen Sie mit der jeweiligen Antwort auf die Abfrage der Fähigkeiten, bestimmen Sie den Quelltext und halten Sie das zurückgegebene Ergebnis zur Prüfung bereit.

Bewahren Sie beim Addiererbeispiel die Modultest-Anfrage und die Generierungsanfrage als getrennte Eingaben für Ihre Durchsicht auf. Die Testanfrage benennt das Modul mit der Assertion, die Generierungsanfrage dagegen das Modul mit der ausgewählten Funktion. Wenn Sie die Anfragen gemeinsam lesen, wird deutlich, welcher Quelltext ausgewertet und welche Funktion in RTL umgewandelt wird. Bewahren Sie die Dateizuordnungen zusammen mit den Ergebnissen auf, damit importiertes Modul und entry leicht erkennbar bleiben.

Der lokale Client bietet eine weitere praktische Quelltextübung: Senden Sie eine kleine Funktion mit ausdrücklich angegebenen Eingabetypen, prüfen Sie den Quelltext und werten Sie ihn anschließend mit vorbereiteten Vektoren aus. Vergleichen Sie die zurückgegebenen Werte mit den Erwartungen, die Sie für diese Eingaben festgehalten haben. Bewahren Sie Engine-Ergebnis und Ausführungsbeleg bei dieser Durchsicht auf. So entsteht Material für einen von Ihnen gesteuerten Vergleich von Quelltext, Eingabewerten und Ausgabe, bei dem Sie jede Operation ausdrücklich im Client auswählen.

Weitere Informationen

Die Anleitung zur festgelegten Upstream-Version von XLS erläutert die Installation, Modultests und SystemVerilog-Artefakte.

Die Anleitung zu lokalem XLS MCP beschreibt die Client-Konfiguration und Quelltextoperationen.

Die Anleitung zur Altifigence CLI erklärt den Installationsablauf unter Linux.

Besuchen Sie Altifigence Downloads für das CLI-Paket und Produktdownloads.