Altifigence erweitert die Integration von KI und Entwicklungswerkzeugen mit MCP

Verbinden Sie einen kompatiblen KI-Client über Altifigence CLI mit lokalen XLS-Werkzeugen für Quellcodeprüfung, Auswertung, Optimierung und RTL-Erzeugung.

Auf dieser Seite

Altifigence verbindet kompatible KI-Clients über MCP (Model Context Protocol) mit lokalen Werkzeugen für die Hardwareentwicklung. Der lokale XLS-Modus in Altifigence CLI integriert Quellcodeprüfung, Auswertung, Optimierung und RTL-Erzeugung in diese Verbindung. So können Entwickler von der Besprechung eines Hardwarequellcodes mit einem Assistenten zum Aufruf eines installierten Werkzeugs übergehen und das Ergebnis im selben Client lesen.

Eine lokale Verbindung für Hardwarequellcode

MCP ist ein Standard zur Verbindung von KI-Anwendungen mit Werkzeugen. In diesem Arbeitsablauf startet der KI-Client den installierten alti-mcp-Prozess und tauscht Anfragen und Antworten über die Standardein- und -ausgabe aus. Mit ALTI_MCP_MODE=local-xls wird dieser Prozess mit der daneben installierten alti-xls-Engine verbunden. Die Engine führt Quellcodeoperationen lokal auf der CPU aus, und ihre Antwort wird zusammen mit einem Ausführungsbeleg an den Client zurückgegeben.

Ausgangspunkt sind direkt übergebener DSLX- oder XLS IR-Quellcode und der Name seiner obersten Funktion. Diese Eingaben machen den Gegenstand einer Anfrage eindeutig: Der Client sendet den zu prüfenden Quellcode, gibt dessen Format an und benennt die zu verwendende Funktion. Entwickler können ihre Diskussion auf diesen Quellcode konzentrieren und das zurückgegebene Ergebnis mit dem beabsichtigten Verhalten vergleichen.

Verbinden Sie Ihren KI-Client

  1. Installieren Sie das verifizierte Linux x86_64-CLI-Paket anhand der Anleitung für Altifigence CLI. Belassen Sie alti-mcp und alti-xls gemeinsam in dieser Installation.

  2. Setzen Sie in den stdio-Einstellungen Ihres MCP-Clients den Befehl auf den absoluten Pfad der installierten ausführbaren Datei alti-mcp und lassen Sie die Argumentliste leer.

  3. Setzen Sie die Umgebungsvariable ALTI_MCP_MODE des Serverprozesses auf local-xls, stellen Sie die Verbindung her und aktualisieren Sie die Werkzeugliste des Clients.

  4. Rufen Sie altifigence.local.xls.capabilities mit {} auf. Lesen Sie die Fähigkeiten der Engine und den Ausführungsbeleg, bevor Sie eine Quellcodeoperation auswählen.

Diese Einrichtung stellt dem Client eine benannte Sammlung von Operationen zur Verfügung, die er anfordern kann. Die Antwort zu den Fähigkeiten eignet sich als erster Gegenstand einer gemeinsamen Prüfung mit dem Assistenten: Sie beschreibt die Engine, die in der von Ihnen ausgewählten Installation verfügbar ist, sodass die nächste Anfrage auf der Antwort dieser Engine aufbauen kann.

Prüfen, auswerten und RTL erzeugen

Der lokale Katalog enthält fünf Werkzeuge: altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize und altifigence.local.xls.codegen. Sie bieten getrennte Schritte zur Prüfung der Fähigkeiten, zur Quellcodeprüfung, zur Auswertung von Eingabevektoren, zur Optimierung von XLS IR und zur RTL-Erzeugung. Wählen Sie die Operation, die zu der Frage passt, die Sie zum Entwurf beantworten möchten.

  1. Geben Sie für eine Quellcodeoperation input_kind als dslx oder xls-ir an, tragen Sie den direkt übergebenen Quellcode in source ein und benennen Sie die oberste Funktion in top.

  2. Fügen Sie zur Auswertung vectors als Arrays von Zeichenfolgenwerten hinzu. Bereiten Sie die Eingaben vor, die Sie untersuchen möchten, rufen Sie altifigence.local.xls.eval auf und lesen Sie das zurückgegebene Engine-Ergebnis.

  3. Verwenden Sie altifigence.local.xls.optimize bei der Arbeit mit XLS IR oder altifigence.local.xls.codegen zur RTL-Erzeugung. Eine codegen-Anfrage kann pipeline mit einem stages-Wert enthalten.

  4. Lesen Sie isError, bevor Sie eine Antwort verwenden. Prüfen Sie bei einem erfolgreichen Engine-Aufruf engine und receipt in structuredContent und bewahren Sie das Ergebnis zusammen mit seinem Ausführungsprotokoll auf.

Für Entwickler, die digitale Logik prüfen

Hardwareentwickler können mit diesem Arbeitsablauf eine KI-Diskussion mit konkretem Quellcode und Werkzeugausgaben verbinden. Bereiten Sie beispielsweise eine Funktion und einen Satz von Eingabevektoren vor, besprechen Sie das beabsichtigte Verhalten, werten Sie anschließend diese Vektoren aus und prüfen Sie das zurückgegebene Ergebnis. Als Grundlage für die nächste Entwurfsentscheidung dienen der von Ihnen übergebene Quellcode und die erhaltene Engine-Antwort.

Nutzer von DDS, ALcad und vFactory, die auch digitale Logik erstellen, können denselben lokalen Quellcode-Arbeitsablauf zur Prüfung einer Funktion oder zur RTL-Erzeugung verwenden. Er ist besonders nützlich für eine Prüfung, die sich auf eine benannte Funktion konzentriert: Quellcode, oberste Funktion, Auswertungseingaben und Ausführungsbeleg geben allen Beteiligten konkrete Gesprächsgrundlagen.

Mehr erfahren und loslegen

Folgen Sie der Anleitung für lokales XLS mit MCP für Clienteinstellungen, Werkzeugnamen und Anfragefelder. Verwenden Sie die Anleitung für Altifigence CLI, um die verifizierte Linux-Installation vorzubereiten, oder besuchen Sie Downloads, um die Software und Installationshinweise zu finden. Beginnen Sie mit dem Aufruf der Fähigkeiten, wählen Sie anschließend einen kleinen Quellcodeabschnitt aus und prüfen Sie dessen Ergebnis.