Questa Processor varmistaa, että RISC-V-mallit ovat ISA:n ja toiminnallisten edellytysten mukaisia, mikä nopeuttaa todentamista poistamalla testpenkin luomisen tarpeen. Se parantaa ongelmien havaitsemista tehokkailla muodollisilla moottoreilla ja tarjoaa automaatiota ilman toiminnallisen kattavuusmallin luomista.
Ota yhteyttä myyntitiimiimme 1-800-547-3000
Mukautettua laajennustukea varten suunniteltu Questa Processor mahdollistaa mikroarkkitehtuurin poiminnan, väitteiden luomisen ja saumattoman virheenkorjauksen parannetulla disassembler-merkinnöillä ja jäljitysanalyysillä.
Katso kaikki saatavilla olevat viralliset vahvistusvideotallenteet osoitteessa Vahvistusakatemia.
Olemme valmiina vastaamaan kysymyksiisi.
Ota yhteyttä myyntitiimiimme 1-800-547-3000
Verifiointiakatemia tarjoaa taidot, joita tarvitaan organisaation toiminnallisten todentamisprosessien valmiuksien kypsyttämiseen, tarjoamalla metodologisen sillan korkean tason arvoehdotusten ja matalan tason yksityiskohtien välillä.
Näkemyksiä ja päivityksiä käsitteistä, arvoista, standardeista, menetelmistä ja esimerkeistä, jotka auttavat ymmärtämään, mitä edistyneet toiminnalliset todentamistekniikat voivat tehdä ja miten niitä voidaan soveltaa tehokkaimmin.
Verification Horizons -julkaisu tarjoaa käsitteitä, arvoja, menetelmiä ja esimerkkejä, jotka auttavat ymmärtämään, mitä edistyneet toiminnalliset todentamistekniikat voivat tehdä ja miten niitä voidaan soveltaa tehokkaimmin.
