FormalPro käyttää staattisia muodollisia todentamistekniikoita todistaakseen, että malli on toiminnallisesti identtinen sen kultaisen referenssin kanssa. Tämä on suuruusluokkia nopeampi kuin perinteinen porttitason simulointi - päiviä tai viikkoja vievät mallit voidaan tarkistaa tunneissa tai jopa minuuteissa FormalPron avulla.
Todista nopeasti, että malli on toiminnallisesti identtinen - vertaa RTL:ää porttiverkkolistaan synteesiä varten, portista porttiin -netlistoja asettelukierroksia varten. Käytä yhtä työkalua ja virtausta kaikkiin malleihisi.
miljoonan porttimallien nopea todentaminen ja todentamisajan dramaattinen lyhentäminen staattisten muodollisien todentamistekniikoiden avulla. Nopein reitti suunnittelun korjaamiseen kattavalla virheenkorjaustyökalulla, joka tunnistaa virheiden sijaintin/syyn ja ainutlaatuisen ”mitä jos” -ominaisuuden tutkia suunnittelumuutoksia olemassa olevan varmennusistunnon aikana.
Liity keskusteluun uusista aiheista, ominaisuuksista, sisällöstä ja teknisistä asiantuntijoista.
Käytä yksityiskohtaisia käyttäjän sovellusmuistiinpanoja, koulutusresursseja ja paljon muuta.
Autamme sinua saavuttamaan maksimaalisen liiketoiminnan vaikutuksen vastaamalla monimutkaisiin teknologia- ja yrityshaasteisiin ainutlaatuisella sekoituksella kehitys- ja suunnittelukokemusta sekä metodologiaosaamista.
