FormalPro koristi statičke tehnike formalne verifikacije kako bi dokazao da je dizajn funkcionalno identičan njegovoj zlatnoj referenci. Ovo je za redove veličine brže od tradicionalne simulacije na nivou vrata - dizajni koji traju danima ili nedeljama mogu se verifikovati u satima ili čak minutama koristeći FormalPro.
Brzo dokažite da je dizajn funkcionalno identičan - uporedite RTL sa mrežnom listom za sintezu, mrežnim listama od kapije do kapije za okretanje rasporeda. Koristite jedan alat i protok za sve svoje dizajne.
Brza verifikacija višemilionskih dizajna kapija i dramatično smanjenje vremena verifikacije korišćenjem statičkih tehnika formalne verifikacije. Najbrži put do ispravnog dizajna pomoću sveobuhvatnog alata za otklanjanje grešaka koji identifikuje lokaciju/uzrok grešaka i jedinstvenu mogućnost „šta ako“ za istraživanje modifikacija dizajna u okviru postojeće sesije verifikacije.
Pridružite se diskusiji o novim temama, karakteristikama, sadržaju i tehničkim stručnjacima.
Pristupite detaljnim beleškama o aplikacijama korisnika, resursima za obuku i još mnogo toga.
Pomažući vam da postignete maksimalan poslovni uticaj rešavanjem složenih tehnoloških i preduzetničkih izazova uz jedinstveni spoj iskustva u razvoju i dizajnu i stručnosti za metodologiju.
