Englische Beschreibungen automatisch in SystemVerilog Assertions übersetzen

Ispec
Bei Agnisys ist man sehr stolz auf die enge Zusammenarbeit mit den Anwendern. Dies geht weit über den traditionellen begrenzten anwendungstechnischen Support der „Big 3“ EDA-Anbieter hinaus. Aufgrund der Größe und des Schwerpunkts bietet Agnisys eine viel persönlichere Betreuung, und die Kunden revanchieren sich dafür.

Viele großartige Ideen für Best Practices, neue Funktionen und sogar völlig neue Tools kommen von Ihren Anwendern. Sie alle sind Teil des Entwicklungsprozesses von Agnisys. Im Rahmen der engen Zusammenarbeit evaluieren die Benutzer häufig neue Funktionen vor der Veröffentlichung, und noch früher im Prozess validieren sie Prototyptechnologien.

Agnisys hat einen einzigartigen Ansatz entwickelt, bei dem künstliche Intelligenz (KI) und maschinelles Lernen (ML) eingesetzt werden, um englische Beschreibungen der Entwurfsabsicht in SystemVerilog Assertions (SVA) zu übersetzen. Diese Anwendung hat das Potenzial, die Verwendung von Assertions zu revolutionieren, ohne dass man die Details von SVA lernen muss.

Ispec

Wie jede KI/ML-Anwendung ist auch diese Technologie auf Training angewiesen, um zu lernen und mit der Zeit besser zu werden. Agnisys hat bereits zahllose Beispiele, auch von Branchenexperten, zur Verfügung gestellt, und jetzt bittet Sie Agnisys um Hilfe. Es gibt viele Möglichkeiten, Gestaltungsabsichten in natürlicher Sprache auszudrücken. Wir laden Sie daher ein, die Website https://www.ispec.ai/ zu besuchen, Ihren eigenen englischen Text einzugeben und die von Agnisys generierte SVA zu überprüfen. Diese Technologie befindet sich noch in der Entwicklung, daher werden Sie wahrscheinlich feststellen, dass einige Ihrer Beschreibungen keine perfekte SVA erzeugen. Sie können einfach auf eine Schaltfläche klicken, um Feedback zu geben.

Agnisys hat auch die Möglichkeit entwickelt, SVA in englische Beschreibungen zu übersetzen, was sehr wertvoll für die Überprüfung von SVA, das Verständnis von Assertions in IP-Blöcken und geerbtem Code und die Dokumentation aller Assertions sein wird. Wir laden Sie auch dazu ein, einige interessante SVA-Beispiele einzufügen und die generierte Beschreibung zu überprüfen. Auch hier kann man ganz einfach auch ein Feedback geben.

Es mach viel Spaß auf der Website zu experimentieren. Dies ist Ihre Chance, mit KI/ML zu spielen und Agnisys zu helfen, eine vielversprechende neue Technologie zu verbessern, also viel Spaß!