Schnelle Verifikation für IC-Konnektivität Formale Analyse prüft IC-Verbindungen in Minuten Tausende IC-Verbindungen automatisch prüfen – in Minuten statt Tagen: Mit formaler Verifikation wird die Konnektivitätsanalyse in Gehäusedesigns effizienter, sicherer und zuverlässiger. Ein Werkzeug für Designteams mit hohen Qualitätsanforderungen. Michael Walsh, Jin Hou, Todd Burkholder 23. July 2025