KAISERSLAUTERN / LONDON (IT BOLTWISE) – LUBIS EDA stellt mit FormalOS eine Plattform vor, die formale Verifikation für RTL-Designs systematischer, skalierbarer und planbarer machen soll. Die Lösung liefert eine herstellerunabhängige Orchestrierungsebene, in der formale Engines, Apps und weitere Tools in einer einheitlichen Umgebung zusammenlaufen. Laut Anbieter setzt FormalOS dabei auf den LUBIS Proven Process, um von den Verifikationszielen bis zum RTL-Sign-off nachvollziehbare Abläufe zu etablieren. Optional soll sich auch ein KI-Modell oder LLM integrieren lassen, wobei die Plattform das Setup über eine Schnittstelle an die Kunden überträgt.
Wer heute RTL-Designs formal absichern will, trifft schnell auf ein Grundproblem: Die Methode liefert oft lückenlose Nachweise, aber die Skalierung bleibt in vielen Teams an Einzelwissen, kundenspezifischer Verifikationserfahrung und manuellen Abläufen hängen. Genau an dieser Lücke setzt LUBIS EDA mit FormalOS an, das als herstellerunabhängige Plattform für Verifikationsinfrastrukturen vermarktet wird. Statt Verifikation als lose Sammlung von Tools zu betrachten, positioniert der Anbieter FormalOS als Orchestrierungsebene, die den Verifikationsablauf strukturieren und wiederholbar machen soll. Das Ziel: ein zuverlässiger RTL-Sign-off mit hoher Sicherheit, bei dem Teams weniger Zeit in Abstimmung und Handarbeit investieren müssen.
Technisch betrachtet bündelt FormalOS Bausteine, die in formalen Projekten typischerweise zwar existieren, aber häufig nicht konsistent verbunden sind: formale Engines, Verifikations-Apps sowie weitere Tools sollen in einer einheitlichen Umgebung zusammenlaufen. Der Anbieter beschreibt außerdem einen stärker prozessorientierten Ansatz über den gesamten Ablauf hinweg. Damit will FormalOS eine Standardisierung des Expertenwissens erreichen, das sonst nur schwer über Projekte, Teams und Werkzeuge hinweg übertragbar ist. Der Kontext ist klar: Simulationen bleiben zwar ein wichtiges Mittel, stoßen aber bei bestimmten Fehlerklassen und komplexen Korrektheitseigenschaften an Grenzen. Formale Verifikation wird deshalb als Ergänzung und Absicherung dargestellt, die im Idealfall nicht nur Fehler findet, sondern Korrektheitseigenschaften nachweist.
Im Zentrum der Plattform steht die Umsetzung des LUBIS Proven Process. Dabei handelt es sich laut Anbieter um eine fünfstufige Methodik, die komplexe Verifikationsprojekte strukturierter, konsistenter und planbarer machen soll. Der Prozess wird als kostenloser Leitfaden für Chipdesign- und Verifikationsteams verfügbar gemacht, was den Anspruch unterstreicht, nicht nur Software auszuliefern, sondern auch die Arbeitsweise zu standardisieren. Besonders wichtig ist dabei die Verkettung vom Verifikationsziel bis zum Sign-off: FormalOS soll dafür Infrastruktur bereitstellen, damit Verifikation systematisch und in großem Maßstab eingesetzt werden kann. Damit adressiert das Produkt zugleich die organisatorische Seite der formalen Arbeit, bei der nicht nur Algorithmen zählen, sondern auch die Orchestrierung der Schritte und Artefakte.
Mit Blick auf den aktuellen Branchenwandel spielt Künstliche Intelligenz in der Ankündigung eine differenzierte Rolle. LUBIS argumentiert, dass KI die Generierung von RTL beschleunigen und vereinfachen kann, wodurch gleichzeitig der Bedarf steigt, solche Designs zuverlässig abzusichern. FormalOS soll deshalb optional die Integration von KI-Modellen oder LLMs erlauben: Im beschriebenen Bereitstellungsmodell hostet, nutzt oder beinhaltet die Plattform standardmäßig keine KI-Technologie. Stattdessen stellt sie eine Schnittstelle bereit, über die Kunden ihr gewünschtes Modell in ihre jeweilige Verifikationsumgebung einbinden können. Ergänzend nennt der Anbieter spezielle KI-Skills, die Bestandteile der LUBIS-Methodik für die Nutzung mit dem jeweiligen Modell aufbereiten sollen – wobei die Entscheidung über Modellwahl und konkreten Einsatz beim Kunden liegt.
Für Chipdesign-Teams ist außerdem relevant, wie sich das Konzept in die Praxis überführt: FormalOS wird laut Anbieter im Rahmen von Kundenprojekten direkt in den jeweiligen Verifikationsumgebungen bereitgestellt. Die Ingenieure arbeiten dabei eng mit den Kundenteams zusammen, um Plattform, Methodik und Automatisierung auf das Projekt abzustimmen und so in bestehende Abläufe einzupassen. Gleichzeitig betont der Anbieter, dass gezielte Beratung über den gesamten Verifikationsablauf hinweg ergänzend wirkt. Interessant ist in diesem Zusammenhang auch, dass FormalOS neben Orchestrierung und Workflows automatisierte formale Apps und Tools sowie Verifikations-IP (VIP) adressiert. Das kann gerade dort helfen, wo Teams wiederkehrende Verifikationsmuster zwar kennen, aber in jedem Projekt neu aufsetzen müssen.
Marktseitig ordnet sich die Einführung in eine Phase ein, in der Formal-Verifikation stärker in den industriellen Alltag rückt, während KI-gestützte RTL-Entwicklung parallel an Fahrt gewinnt. Der Anbieter präsentiert FormalOS am 6. Oktober in Austin sowie am 8. Oktober in San Jose auf der Verification & Semiconductor Futures Conference, begleitet von einem Vortrag, der den Unterschied zwischen fachlicher Bewertung und organisatorischem Aufwand adressiert. Der Kern der Argumentation wirkt dabei wie eine Antwort auf den typischen „Tool-first“-Ansatz: Nicht nur die Qualität einzelner Engines zählt, sondern wie zuverlässig sich Aufgaben delegieren lassen, ohne dass der Gesamtprozess aus dem Takt gerät. Wenn FormalOS tatsächlich den Weg von Verifikationszielen zu einem verlaufs- und nachweisbaren Sign-off planbar macht, könnte das die Einführung formaler Methoden in größeren Organisationen spürbar erleichtern.
Für Unternehmen bedeutet das vor allem eine potenzielle Verschiebung von Aufwand: weg von wiederholter manueller Orchestrierung hin zu standardisierten, wiederverwendbaren Abläufen, die besser zwischen Projekten und Teams skalieren. Gleichzeitig bleibt die KI-Option flexibel, weil Kunden ihre Modellstrategie selbst bestimmen. Entscheidend wird in der Evaluierung sein, wie gut die Plattform in konkrete Toolketten, Repository- und CI-/Automation-Setups passt und wie transparent sich Ergebnisse bis zum RTL-Sign-off nachvollziehen lassen. Wer formale Verifikation bereits einsetzt, bekommt damit vermutlich vor allem eine Strukturierungs- und Planbarkeitskomponente; wer bislang vor allem auf Simulationen vertraut, kann FormalOS als Einstieg in ein geregeltes formales Setup betrachten – mit dem Versprechen, den Tapeout-Risiko-Faktor besser zu adressieren, indem kritische Fehlerklassen systematischer aufgedeckt werden.
💳 Amazon-Kreditkarte mit 2.000 Euro Limit bestellen!
🔥 Heutige Hot Deals bei Amazon: Bis zu 80% Rabatte!
🎉 Amazon Haul-Store für absolute Schnäppchenjäger!
- ★ 23-stufiges KI-Go-Training – Für Spieler mit Grundkenntnissen der Regeln – Entwickelt als intelligenter Trainingspartner passt sich die KI Spielern von 18K bis 9D an. Ideal für alle, die die Grundregeln bereits beherrschen und ihr Spiel verbessern möchten.
- IHR EMOTIONALER AI-BEGLEITER: Eiliko ist mehr als nur ein Anhänger, es ist ein charismatischer KI-Freund. Mit einem dynamischen LED-Bildschirm, der eine Vielzahl von animierten Gesichtern und Ausdrucksformen anzeigt, reagiert er auf Ihre Interaktionen mit einzigartiger Persönlichkeit und Charme.
- 【MEHR LEBEN FÜR DEINEN SCHREIBTISCH】 Lerne Eilik kennen – deinen kleinen Roboter-Freund mit Persönlichkeit. Mit liebevollen Animationen, ausdrucksstarken Reaktionen und spielerischen Interaktionen bringt Eilik mehr Freude in deinen Alltag. Ob auf dem Schreibtisch, im Büro oder am Nachttisch – Eilik wird schnell zu einem vertrauten Begleiter für besondere Momente.
- 【XL-Größe für gedeihende Pflanzen】Geben Sie Ihren Pflanzen den Raum, den sie verdienen! Unser verbessertes, großes 13,7 cm großes Design bietet Platz für Pflanzen mit einem Durchmesser von bis zu 8,9 cm und damit deutlich mehr Platz für Wurzelwachstum und Pflanzengesundheit im Vergleich zu kleineren, veralteten Modellen. Die Produktabmessungen betragen 13,6 x 13,6 x 13,2 cm und das Gerät wiegt nur 355 g.
- V28 Update - JETZT MIT NEUEN FUNKTIONEN! Als Reaktion auf das Ladeproblem von Loona haben wir das automatische Aufladen 2.0 verbessert. Diese Optimierung hilft Loona, die Ladewege in verschiedenen Szenarien zu erkennen und anzupassen, um die Erfolgsquote beim automatischen Aufladen zu erhöhen. Mobile Hotspots können sich mit Loona verbinden und überwinden WLAN-Einschränkungen, sodass Sie jederzeit und überall mit Loona interagieren können.
- Die besten Bücher rund um KI & Robotik!
- Die besten KI-News kostenlos per eMail erhalten!
- Zur Startseite von IT BOLTWISE® für aktuelle KI-News!
- IT BOLTWISE® kostenlos auf Patreon unterstützen!
- Aktuelle KI-Jobs auf StepStone finden und bewerben!
- Künstliche Intelligenz: Dem Menschen überlegen – wie KI uns rettet und bedroht | Der Neurowissenschaftler, Psychiater und SPIEGEL-Bestsellerautor von »Digitale Demenz«
Du hast einen wertvollen Beitrag oder Kommentar zum Artikel "FormalOS von LUBIS EDA: Plattform für skalierbare formale RTL-Verifikation" für unsere Leser?
#Sophos
#AmazonPrime
#Bestseller
Es werden alle Kommentare moderiert!
Für eine offene Diskussion behalten wir uns vor, jeden Kommentar zu löschen, der nicht direkt auf das Thema abzielt oder nur den Zweck hat, Leser oder Autoren herabzuwürdigen.
Wir möchten, dass respektvoll miteinander kommuniziert wird, so als ob die Diskussion mit real anwesenden Personen geführt wird. Dies machen wir für den Großteil unserer Leser, der sachlich und konstruktiv über ein Thema sprechen möchte.
Du willst nichts verpassen?
Du möchtest über ähnliche News und Beiträge wie "FormalOS von LUBIS EDA: Plattform für skalierbare formale RTL-Verifikation" informiert werden? Neben der E-Mail-Benachrichtigung habt ihr auch die Möglichkeit, den Feed dieses Beitrags zu abonnieren. Wer natürlich alles lesen möchte, der sollte den RSS-Hauptfeed oder IT BOLTWISE® bei Google News wie auch bei Bing News abonnieren.
Nutze die Google-Suchmaschine für eine weitere Themenrecherche: »FormalOS von LUBIS EDA: Plattform für skalierbare formale RTL-Verifikation« bei Google Deutschland suchen, bei Bing oder Google News!