Onespin | OneSpin gibt die Verfügbarkeit des für ISO 26262, IEC 61508 und EN 50128 zertifizierten OneSpin 360 EC-FPGA Tool Qualification Kits bekannt

• Anwender setzen das formale Sequential Equivalence Checking mit EC-FPGA in Automotive-Projekten gemäß ASIL-D ein, ohne dass zusätzliche Anforderungen an die Qualifizierung des Tools entstehen

München, 15.02.2018 – OneSpin® Solutions, ein Anbieter innovativer formaler Verifikations- Lösungen für hochzuverlässige digitale integrierte Schaltungen (ICs), gibt die sofortige Verfügbarkeit seines von der international anerkannten Prüfstelle TÜV SÜD zertifizierten Tool Qualification Kits OneSpin 360 EC-FPGA bekannt.

Die Zertifizierung besagt, dass EC-FPGA die strengsten Toolqualifizierungs-Kriterien erfüllt, die von den funktionalen Sicherheitsstandards ISO 26262 (TCL3/ASIL-D), IEC 61508 (T2/SIL-3) und EN 50128 (T2/SIL-3) vorgegeben werden.

„OneSpin EC-FPGA ist das einzige EDA-Tool, das hochgradig optimierte FPGAs für autonome Fahrzeuge, Aerospace-Anwendungen, Kernkraftwerke und medizinische Geräte vollständig auf systematische Fehler überprüft, die sich bei der Implementierung einschleichen können“, sagt Dr. Raik Brinkmann, Präsident und CEO von OneSpin. „Mit diesem zertifizierten Qualification Kit können unsere Anwender EC-FPGA nahtlos in ihrem sicherheitskritischen Entwurfsprozess einsetzen, um einen neuen Grad an Produktivität und Normkonformität zu erzielen.“

EC-FPGA ist ein automatischer sequenzieller Equivalence Checker, der verhindert, dass es durch FPGA-Design-Flows zu Synthese-, Place-and-Route- und anderen Implementierungsfehlern kommt. Sicherheitsnormen verlangen vor der Produktion eine rigorose Verifikation, um das Risiko von Ausfällen im Feld zu minimieren. Mithilfe der fortschrittlichsten formalen Technologie detektiert EC-FPGA selten auftretende Bugs im Design-Flow mithilfe eines Prozesses, der um Größenordnungen effizienter und rigoroser ist als die Simulation auf der Gatter-Ebene.

PDF Press Release: OneSpin gibt die umgehende Verfügbarkeit des für ISO 26262, IEC 61508 und EN 50128 zertifizierten OneSpin 360 EC-FPGA Tool Qualification Kits bekannt
PDF Press Release: OneSpin Announces Immediate Availability of OneSpin 360 EC-FPGA Tool Qualification Kit Certified for ISO 26262, IEC 61508, EN 50128