Springsoft tuo varmuutta verifiointiin
By: Veijo Ojanperä
Kompleksisten piirien verifiointi on usein jo työläämpää ja enemmän aikaa vievää kuin niiden suunnittelu. EDA-talo Springsoft on esitellyt uusia tekniikoita Certitude-verifiointiin, joiden avulla varmennuksesta saadaan aiempaa kattavampi.
Certituden uudet ominaisuudet perustuvat prioriteettipohjaisiin tekniikoihin, joiden avulla voidaan ennen kaikkea tunnistaa bugeja, jotka muuten voisivat jäädä tunnistamatta. Koodivirheet on luokiteltu eri prioriteettiluokkiin, jotka perustuvat vuosien tutkimuksiin ja asiakkaiden aiempiin Certitude-ajoihin.
Certitude osaa nyt näyttää merkittävimmät puutteet koodissa ensimmäisinä. Näin koko verifiointiympäristöstä saadaan palautetta hyvin aikaisessa vaiheessa. Uutta on tiukka linkki Verdi-debuggeriin: nyt Certituden asetustiedostoja voidaan käyttää suoraan Verdi-ympäristössä.
Työkalu raportoi koodin virheistä ja näyttää lisäksi virheiden sijainnin RTL-koodissa. Tämä nopeuttaa koko verifiointiprosessia.
Uudet ominaisuudet sisältyvät Certitude Functional Qualification System -työkalujen uusimpaan versioon. Paketin vuosilisenssi maksaa satatuhatta dollaria.
