Altifigence étend l’intégration de l’IA et des outils de développement avec MCP

Altifigence relie les clients d’IA compatibles aux outils locaux de développement matériel via MCP (Model Context Protocol). Le mode XLS local d’Altifigence CLI intègre à cette connexion la vérification du code source, l’évaluation, l’optimisation et la génération de RTL. Il permet aux concepteurs de passer d’une discussion sur un fragment de code source matériel avec un assistant à l’appel d’un outil installé, puis à la lecture du résultat dans le même client.

Une connexion locale pour le code source matériel

MCP est une norme permettant de connecter des applications d’IA à des outils. Dans ce flux de travail, le client d’IA lance le processus alti-mcp installé et échange des requêtes et des réponses via l’entrée et la sortie standard. La sélection de ALTI_MCP_MODE=local-xls relie ce processus au moteur alti-xls installé à ses côtés. Le moteur exécute les opérations sur le code source localement sur le CPU, et sa réponse revient au client accompagnée d’un justificatif d’exécution.

Le point de départ est du code source DSLX ou XLS IR fourni directement dans la requête, ainsi que le nom de sa fonction principale. Ces entrées précisent l’objet de la requête : le client envoie le code source à inspecter, indique son format et nomme la fonction à utiliser. Les concepteurs peuvent concentrer leur discussion sur ce code source et comparer le résultat retourné au comportement souhaité.

Connectez votre client d’IA

Installez le paquet CLI vérifié pour Linux x86_64 en suivant le guide Altifigence CLI. Conservez alti-mcp et alti-xls ensemble dans cette installation.
Dans les paramètres stdio de votre client MCP, définissez la commande sur le chemin absolu de l’exécutable alti-mcp installé et laissez la liste des arguments vide.
Définissez la variable d’environnement ALTI_MCP_MODE du processus serveur sur local-xls, connectez-vous et actualisez la liste des outils du client.
Appelez altifigence.local.xls.capabilities avec {}. Lisez les capacités du moteur et le justificatif d’exécution avant de choisir une opération sur le code source.

Cette configuration fournit au client un ensemble d’opérations nommées qu’il peut demander. La réponse relative aux capacités constitue un premier élément utile à examiner avec l’assistant : elle décrit le moteur disponible dans l’installation que vous avez sélectionnée, afin que la requête suivante puisse s’appuyer sur la réponse de ce moteur.

Vérifiez, évaluez et générez du RTL

Le catalogue local contient cinq outils : altifigence.local.xls.capabilities, altifigence.local.xls.check, altifigence.local.xls.eval, altifigence.local.xls.optimize et altifigence.local.xls.codegen. Ils proposent des étapes distinctes pour inspecter les capacités, vérifier le code source, évaluer les vecteurs d’entrée, optimiser XLS IR et générer du RTL. Choisissez l’opération qui correspond à la question à laquelle vous souhaitez répondre concernant la conception.

Pour une opération sur le code source, indiquez input_kind comme dslx ou xls-ir, placez le code source directement dans source et nommez la fonction principale dans top.
Pour l’évaluation, ajoutez vectors sous forme de tableaux de valeurs de chaîne de caractères. Préparez les entrées que vous souhaitez examiner, appelez altifigence.local.xls.eval et lisez le résultat retourné par le moteur.
Utilisez altifigence.local.xls.optimize lorsque vous travaillez sur XLS IR, ou altifigence.local.xls.codegen pour générer du RTL. Une requête codegen peut inclure pipeline avec une valeur stages.
Lisez isError avant d’utiliser une réponse. Si l’appel au moteur réussit, inspectez engine et receipt dans structuredContent, en conservant le résultat avec son enregistrement d’exécution.

Pour les concepteurs qui examinent la logique numérique

Un développeur matériel peut utiliser ce flux de travail pour relier une discussion avec l’IA à du code source concret et à la sortie d’un outil. Par exemple, préparez une fonction et un ensemble de vecteurs d’entrée, discutez du comportement souhaité, puis évaluez ces vecteurs et inspectez le résultat retourné. Les éléments utiles pour la prochaine décision de conception sont le code source que vous avez fourni et la réponse du moteur que vous avez reçue.

Les utilisateurs de DDS, ALcad et vFactory qui préparent également de la logique numérique peuvent utiliser le même flux de travail local sur le code source pour vérifier une fonction ou générer du RTL. Il est particulièrement utile pour un examen centré sur une fonction nommée : le code source, la fonction principale, les entrées d’évaluation et le justificatif d’exécution donnent à chacun des éléments concrets à discuter.

En savoir plus et commencer

Consultez le guide XLS local avec MCP pour les paramètres du client, les noms des outils et les champs des requêtes. Utilisez le guide Altifigence CLI pour préparer l’installation Linux vérifiée, ou consultez les Téléchargements pour trouver le logiciel et les instructions d’installation. Commencez par l’appel des capacités, puis choisissez un petit fragment de code source et inspectez son résultat.