OneSpin Solutions GmbH

Über den Betrieb

OneSpin Solutions GmbH ist ein Softwareentwicklerunternehmen in München, das sich auf die Entwicklung von zertifizierten IC-Integritätslösungen spezialisiert hat. Das Unternehmen bietet die fortschrittlichste und robusteste Verifikationsplattform, um die heutigen kritischen IC-Integritätsprobleme anzugehen. Die Experten von OneSpin sind darauf spezialisiert, die anspruchsvollsten Verifikationsherausforderungen der nächsten Generation zu lösen und Lösungen anzubieten, die es Design-Teams ermöglichen, SoCs zu erstellen, die funktional korrekt, sicher und vertrauenswürdig sind. OneSpin bietet eine umfassende funktionsgesteuerte Verifikation von Block bis Chip unter Verwendung von formalen Technologien. Ihre Lösung für funktionale Korrektheit gewährleistet eine agile, geschlossene Block-Level-Funktionsverifikation, stellt die ordnungsgemäße Integration und Konnektivität von Blöcken sicher und erkennt etwaige funktionale Fehler, die während der Synthese und Platzierung eingeführt wurden. Darüber hinaus bietet OneSpin Lösungen für Sicherheitsanalysen und eine höhere diagnostische Abdeckung, um die strengen Zertifizierungsanforderungen zu erfüllen, beispielsweise nach ISO 26262 für Automobile und DO-254 für Flugzeuge. Das Unternehmen ist auch auf die automatisierte Erkennung von Hardware-Trojanern und Schwachstellen für Angriffe spezialisiert. Ihre Lösung für Vertrauen und Sicherheit erkennt sowohl bösartige Logik als auch Hardware-Schwachstellen, die für Angriffe ausgenutzt werden könnten und die Vertraulichkeit, Integrität und Verfügbarkeit von Informationen verletzen könnten. OneSpin bietet außerdem eine gründliche Verifikation von komplexen SoC-Plattformen für 5G-Wireless, IoT und KI-Anwendungen. Ihre Lösung für heterogene Berechnungen verifiziert große Chips, die programmierbare Logik, softwarekonfigurierbare Engines, Verarbeitungsuntersysteme und die komplexen Verbindungen zwischen ihnen enthalten. Das Unternehmen legt großen Wert auf die systematische Beseitigung von Fehlern und Metriken für den ordnungsgemäßen Umgang mit zufälligen Fehlern im Feld. Ihre Lösung für Automobil- und Industrieanwendungen stellt sicher, dass Designs vollständig den relevanten Sicherheitsstandards entsprechen, einschließlich der Beseitigung systematischer Fehler und Metriken für die Widerstandsfähigkeit gegen zufällige Fehler. Darüber hinaus bietet OneSpin eine Lösung für die Einhaltung der Befehlssatzarchitektur (ISA) ohne Lücken oder Inkonsistenzen. Ihre RISC-V-Lösung bietet sowohl IP-Kernlieferanten als auch Kunden die Gewissheit, dass Designs vollständig den ISA-Spezifikationen und Erweiterungen entsprechen und keine Hardware-Schwachstellen aufweisen. OneSpin Solutions GmbH ist stolz darauf, mit führenden Unternehmen weltweit in den Bereichen Automobil, Industrie, Verteidigung, Avionik, künstliche Intelligenz, Unterhaltungselektronik und Kommunikation zusammenzuarbeiten. Auf ihrer Kundenstories-Seite finden Sie einen umfassenden Einblick, wie diese Unternehmen ihre fortschrittlichen Verifikationslösungen nutzen und welche Ergebnisse erzielt wurden. Das Unternehmen hat auch an verschiedenen Veranstaltungen teilgenommen, wie zum Beispiel an der DVCON Europe 2020, bei der es um die Bewertung der Bedürfnisse und Lösungen für eine sichere IP-Lieferkette ging. OneSpin Solutions ist Mitglied des SAE G-32 Cyber Physical Systems Security Committee. OneSpin Solutions GmbH hat sich als wichtiger Beitragender bei der Entwicklung des CV32E40P-Kerns, dem ersten Open-Source-Kern für Hochvolumen-Chips, die mit dem modernsten Prozess für hochintegre SoCs verifiziert wurden, hervorgetan. Ihre RISC-V-Integritätsformalverifikationslösung hat systematisch Fehler in der Ausnahmelogik und Pipeline erkannt, die nur unter seltenen Bedingungen in der Befehlssequenz, Speicherstaus und der Programmierung des Control and Status Registers ausgelöst würden. Die Suche nach diesen Problemen mit konstruktiv-zufälliger Simulation würde einen großen Aufwand in Entwicklung und Simulationszeit erfordern. OneSpin Solutions GmbH ist ein führendes Unternehmen in der Entwicklung von zertifizierten IC-Integritätslösungen und hat sich als vertrauenswürdiger Partner für Unternehmen in verschiedenen Branchen etabliert.

Branchen

Mehr Softwareentwickler in München