Related
Optima Design Automation Launches with Focus on Next-Generation Semiconductor Functional Safety Tools
NAZARETH, ISRAEL – October 29, 2019 – Optima Design Automation a provider of advanced, unique semiconductor safety verification solutions based on a revolutionary, new fault analysis technology platform, launched today at the DVCon Europe event in Munich. Optima enables dramatic improvements in semiconductor safety verification time and coverage for safety-critical applications…
AdaCore Launches GNAT Dynamic Analysis Suite
NEW YORK, February 22, 2022 – AdaCore, a trusted provider of software development and verification tools, today announces the availability of its new GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.…
Austemper Design Systems Launches Comprehensive Functional Safety Tool Suite
AUSTIN, TEXAS –– May 23, 2017 –– Austemper Design Systems today unveiled the semiconductor industry’s first end-to-end tool suite to analyze, augment and verify functional safety in system-on-chip (SoC), application specific integrated circuit (ASIC) and intellectual property (IP) designs ensuring they meet functional safety requirements. “Functional safety is a challenge…