FormalPro uporablja statične tehnike formalnega preverjanja, da dokaže, da je zasnova funkcionalno enaka svoji zlati referenci. To je za red velikosti hitrejše od tradicionalne simulacije na ravni vrat - zasnove, ki trajajo dneve ali tedne, je mogoče preveriti v urah ali celo minutah s pomočjo FormalPro.
Hitro dokažite, da je zasnova funkcionalno enaka - primerjajte RTL z vrtljivim mrežnim listom za sintezo, mrežne liste od vrat do vrat za vrtljaje postavitve. Uporabite eno orodje in tok za vse svoje modele.
Hitro preverjanje večmilijonskih zasnov vrat in dramatično skrajšanje časa preverjanja z uporabo statičnih formalnih tehnik preverjanja. Najhitrejša pot do pravilnega načrtovanja z obsežnim orodjem za odpravljanje napak, ki identificira lokacijo/vzrok napak in edinstveno zmožnost »kaj če« za raziskovanje sprememb načrta v obstoječi seji preverjanja.
Pridružite se razpravi o novih temah, funkcijah, vsebini in tehničnih strokovnjakih.
Dostop do podrobnih opomb uporabniških aplikacij, virov za usposabljanje in še več.
Pomagamo vam doseči največji poslovni vpliv z reševanjem zapletenih tehnoloških in podjetniških izzivov z edinstveno mešanico razvojnih in oblikovalskih izkušenj ter metodološkega strokovnega znanja.
