verification Archive - Seite 2 von 2

Qt: Axivion Suite 7.9 mit neuen Security-fokussierten und nutzerfreundlichen Features

19. November 2024

Neue Release der Toolsuite für statische Codeanalyse und Architekturverifikation integriert u.a. zusätzliche CWE- und CERT-Regeln und ein Plug-In für Qt Creator-Nutzer.

[…]

Altair: Kostenloser Zugang zu Leiterplatten-Verifikationswerkzeugen

8. November 2024

Altair PollEx for ECAD bietet Tools zur Überprüfung, Analyse und Verifikation von PCBs und für die Bewertung der Fertigbarkeit.

[…]

Qt: Qualitätssicherungs-Tools für effiziente Codeanalyse und Architekturverifikation

6. Juni 2024

Axivion Suite 7.8 bringt 100%-Abdeckung für alle automatisch prüfbaren MISRA C++:2023-Regeln, sicheres SSO, upload-mode für Branches und Klon-Management für C#.

[…]

Cadence: 3. Generation der Emulations- und Prototyping-Plattformen

20. April 2024

Palladium Z3 und Protium X3 beschleunigen die Vor-Silizium-Verifikation und Softwareentwicklung.

[…]

Foretellix: Foretify 2024 für effizientere Verifizierung und Validierung von AD-Funktionen

1. Februar 2024

Die neue Foretify-Version soll 10-fache Leistungssteigerung im Vergleich zur vorherigen Generation bieten.

[…]

AEEmobility

Der Information Hub für Automobilelektronikentwickler

verification