Silogy
SiLogy Technologies, Inc. · Programmation
Silogy développe Viv, un agent IA qui tourne sur vos propres serveurs et débogue les tests de vérification de puce en échec en lisant le code, les journaux et les formes d'onde, puis rédige le rapport de bug.
À propos de Silogy
About
Qu'est-ce que Silogy
Silogy est l'entreprise derrière Viv, un agent IA dédié à la vérification de conception numérique. L'équipe est passée par la promotion W24 de Y Combinator et a présenté Viv sur Hacker News en mars 2024. Vous lui confiez un cas de test qui a échoué, avec le code, le dossier de journaux et les relevés de formes d'onde, et il cherche pourquoi le test casse.
Le produit vise le passage le plus lent du cycle matériel : entre une régression au rouge et le moment où quelqu'un comprend ce qui a lâché. Viv lit les mêmes pièces qu'un ingénieur, cite les lignes de code et les signaux sur lesquels il s'appuie, et en fait un rapport écrit. Silogy annonce des temps de débogage réduits de plus de 90 %, un chiffre de l'éditeur et non une mesure indépendante.
Rien ne tourne dans le cloud de Silogy. Viv s'installe dans votre propre infrastructure, donc les données de conception restent sur vos machines. Le seul trafic sortant va vers le fournisseur de LLM que vous configurez.
Premiers pas
- Installez Viv sur une machine de votre réseau avec le paquet Node.js, puis vérifiez qu'il répond depuis le terminal.
- Indiquez à Viv la version du code utilisée par le test en échec, sous forme de dossiers ou de listes de fichiers au format Synopsys VCS.
- Rassemblez les journaux, les artefacts et les formes d'onde de ce test précis dans un seul dossier.
- Ajoutez votre clé d'API du LLM, lancez l'exécution et lisez le rapport Markdown renvoyé.
Informations sur le produit
Aperçu des tarifs, des plateformes compatibles et des performances de Silogy.
Idéal pour
Les utilisateurs, tâches et cas d'usage où cet outil convient le mieux.
Utilisateurs
- Ingénieurs en vérification
- Ingénieurs RTL
- Petites équipes silicium sans spécialiste du débogage
Tâches
- Trier les échecs de la régression nocturne
- Trouver la cause d'un test récalcitrant
- Rédiger un bug à transmettre
- Vérifier un correctif
Cas d'usage
- Les structures qui ne peuvent pas sortir leur propriété intellectuelle
- Les chaînes CI/CD
- La prise en main d'un bloc inconnu
Fonctionnalités clés
Analyse autonome de la cause racine
Viv part d'un test en échec et parcourt seul le code, les journaux, les spécifications et les formes d'onde. Il ne se contente pas de signaler la ligne fautive : il construit une démonstration de l'endroit probable du bug et cite les pièces qui la soutiennent. Silogy présente le résultat comme une suggestion à relire par un ingénieur, pas comme un verdict.
Débogage de formes d'onde à l'échelle du gigaoctet
Viv lit les fichiers FST, VCD et FSDB et interroge le comportement des signaux sans tout charger dans un visualiseur. Ce type d'analyse de formes d'onde compte sur une régression longue aux traces profondes, là où la différence se joue entre une question à laquelle vous pouvez répondre et une que vous laissez tomber. Vous pouvez aussi l'interroger sur une fenêtre précise autour de la panne.
Une exécution confinée à votre infrastructure
L'agent, l'analyse et les pièces qu'il lit tournent chez vous. Le seul appel sortant va vers l'API du LLM que vous avez configurée. Pour les équipes liées par un accord de confidentialité avec une fonderie ou un fournisseur d'IP, cette contrainte décide souvent de l'autorisation d'un outil.
Votre propre modèle de langage
Vous fournissez la clé pour OpenAI, Claude, Llama ou tout point d'accès compatible vLLM, et Viv raisonne via ce modèle. Le choix du modèle et la dépense restent donc entre vos mains, et changer de fournisseur ne vous force pas à changer d'outil. Ceux qui utilisent déjà Claude Code peuvent piloter Viv depuis cette CLI.
Ligne de commande et automatisation CI/CD
Viv se pilote depuis une CLI légère : installez le paquet, puis soumettez une exécution avec votre code et vos journaux. Quand l'entrée standard n'est pas un terminal, il bascule en mode sans interface et imprime un rapport Markdown. Une extension VS Code est disponible si vous préférez lire le résultat dans l'éditeur.
Une base de connaissances qui suit le projet
Viv entretient une base de connaissances mise à jour au fil de vos exécutions. Elle accumule avec le temps du contexte sur votre conception, les conventions de votre banc de test et les pannes passées, si bien que les sessions suivantes démarrent avec plus d'historique que la première.
Avantages et inconvénients
Avantages
- L'installation est courte : un paquet Node.js et une commande de soumission, sans cluster à monter au préalable.
- Les données de conception ne quittent pas vos machines, ce qui règle la revue de sécurité habituelle dans le secteur du silicium.
- Vous choisissez le LLM et payez directement ce fournisseur, donc le coût du modèle reste visible et réversible.
- Le mode sans interface transforme un test nocturne en échec en fichier Markdown que votre CI peut archiver.
- Les rapports pointent des lignes de code et des signaux précis, si bien que le relecteur vérifie le raisonnement au lieu de faire confiance à l'aveugle.
Inconvénients
- Aucune grille tarifaire publique. Il faut réserver une démonstration et parler au service commercial avant de connaître le prix.
- Viv exige un test en échec et du code, des journaux et des formes d'onde lisibles. Il n'invente pas un banc de test et ne répare pas un environnement qui n'a jamais tourné.
- La qualité des réponses suit le modèle que vous branchez, et une longue session sur des formes d'onde peut faire grimper la facture de tokens.
- La documentation de Silogy reconnaît que Viv peut se tromper, donc chaque rapport demande encore la confirmation d'un ingénieur.
Questions fréquentes
Viv est l'agent IA de Silogy pour la vérification de conception numérique. Il prend un cas de test en échec, déduit la cause racine probable à partir du code, des journaux, des formes d'onde et des spécifications, puis rédige ce qu'il a trouvé.
Contenus associés
Découvrez des outils, des compétences et des articles liés à Silogy.
Alternatives à Silogy
Udon
Udon · Programmation · ProductivitéUdon transforme un Mac Apple Silicon en serveur personnel piloté depuis le navigateur, avec conteneurs, partages de fichiers et un administrateur système IA en option.
offstage
offstage cloud · Programmation · Productivitéoffstage confie aux agents IA et aux jobs de CI un vrai Mac : un compte macOS 27 sur Apple silicon, piloté par API et facturé à la seconde.
BotBus
Chengdu Tuyang Tusen Technology Co., Ltd. · Programmation · ProductivitéBotBus permet de contrôler des agents IA depuis son téléphone ou sa montre, même quand ils tournent sur l’ordinateur resté au bureau : vous validez les commandes, lancez des tâches et lisez les résultats.