OneSpin: Gestaffelte Verifikation für Einsteiger und Spezialisten
Der Verifikationsspezialist OneSpin Solutions will jetzt mit einer abgestuften Lösung die formale Assertion basierte Verification (ABV) für SoC-, ASIC- und FPGA-Designs massentauglich machen. OneSpins Ansatz basiert auf fünf interoperablen Produkten,…