Produkt

Entwicklungswerkzeuge

TESSY v5.1 mit Code Access und Hyper Coverage
© Razorcat

Functional-Safety-Zertifizierung

TESSY v5.1 mit Hyper Coverage

Zu den neuen Funktionen, die Razorcat in der Version 5.1 seines Test-Tool TESSY implementiert hat, zählen Code Access und Hyper Coverage. Innovativ an der Hyper-Coverage-Funktion: sie wird aus Standardabdeckungsmaßen berechnet, entsprechend den Normen für sicherheitskritische Anwendungen.

Elektronik
TESSY v5.1 mit Code Access und Hyper Coverage

Functional Safety Certification

TESSY v5.1 with Hyper Coverage

New features implemented by Razorcat in version 5.1 of its TESSY test tool include Code...

Elektronik
Questa Verification IQ eine IC-Verifikationssoftware mit KI von hat Siemens Digital Industries Software

Verifikation digitaler Schaltungen

Mit KI und Daten schneller zum fehlerfreien IC

Die Logikverifizierung braucht traditionell mehr als 70 Prozent der gesamten...

Elektronik
Trace32 von Lauterbach unterstützt Nvidias SoC Drive Orin zum Debuggen sicherheitsrelevanter Anwendungen

Debuggen mit Sicherheit

TRACE32 von Lauterbach unterstützt Nvidias SoC Drive Orin

Entwickler können künftig die TRACE32-Tools von Lauterbach auch für das Debuggen und...

Elektronik
Trace32 von Lauterbach unterstützt Nvidias SoC Drive Orin zum Debuggen sicherheitsrelevanter Anwendungen

Debug of Safety-Critical Applications

TRACE32 of Lauterbach supports Nvidias SoC Drive Orin

Developers will be able to use Lauterbach's TRACE32 tools for debugging and tracing...

Elektronik
embedded world Conference 2023 Software

embedded world Conference 2023

Die Software-Themen der Konferenz

Die embedded world Conference 2023 bietet mit annähernd 200 Vorträgen ein äußerst...

Elektronik
embedded world Conference 2023 Embedded OS

embedded world Conference 2023

Die Betriebssystem-Themen der Konferenz

Die embedded world Conference 2023 bietet mit annähernd 200 Vorträgen ein äußerst...

Elektronik
Für eine Functional-Safety-Zertifizierung müssen Entwickler die Code-Coverage für den gesamten Quellcode inklusive aller Codevarianten nachweisen. Doch wie lässt sich nicht getesteter Code in den originalen C/C++-Quelldateien erkennen?

Embedded-Softwareentwicklung

Mit Hyper-Coverage zur sicherheitszertifizierten Software

Für eine Functional-Safety-Zertifizierung müssen Entwickler die Code-Coverage für den...

Elektronik
Electronic Design Automation for Semiconductors and Central Processing Units - Conceptual 3D Illustration

Hilfe bei Lieferketten-Problemen

Virtualisierung und Fernüberwachung

Mit der Emulation von Hardware und der Virtualisierung lassen sich Applikationen...

Markt&Technik
J-Trace_PRO_RISCV

Debugging

Segger erweitert J-Trace PRO um RISC-V-Funktion

Segger erweitert sein Debugging-Tool J-Trace Pro um alle SiFive RISC-V Cores der...

Elektronik