Tools&Toys

Systematisch verificatieproces Onespin voor 360 MV

Koen Vervloesem
Leestijd: 1 minuut

Gapfreeverification van Onespin is een systematisch verificatieproces voor de 360 Module Verifier van het bedrijf. Het nieuwe proces levert voorspelbare en herhaalbare verificatieresultaten voor complexe modules en IP en versnelt de gap-free formele verificatie. Gapfreeverification gidst de gebruiker in de systematische constructie van een functioneel referentiemodel op hoog niveau. Onespin heeft het nieuwe proces toegevoegd aan de laatste versie van 360 MV.

This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one and enjoy all the benefits.

Login

Related content