Cycuity stellt Radix-ST vor, ein neues Produkt in seinem Radix-Portfolio von Sicherheitslösungen, das darauf ausgelegt ist, statische Analysetechniken zu nutzen, um potenzielle Schwachstellen frühzeitig im Designzyklus zu identifizieren, ohne dass Simulationen oder Emulationen erforderlich sind. Angesichts der zunehmenden Komplexität von Hardware-Designs und wachsender Sicherheitsbedrohungen benötigen Halbleiter-Entwicklungsteams effektive Werkzeuge, die in der Lage sind, Probleme proaktiv während des Entwicklungsprozesses zu identifizieren. Analog zur funktionalen Verifikation kann die Sicherheitsprüfung stark von einer Bandbreite komplementärer Technologien profitieren. Während dynamische …