FormalPro izmanto statiskas formālās verifikācijas metodes, lai pierādītu, ka dizains ir funkcionāli identisks tā zelta atsaucei. Tas ir pakāpes ātrāks nekā tradicionālā vārtu līmeņa simulācija - dizainus, kas aizņem dienas vai nedēļas, var pārbaudīt stundās vai pat minūtēs, izmantojot FormalPro.
Ātri pierādiet, ka dizains ir funkcionāli identisks - salīdziniet RTL ar vārtu tīkla sarakstu sintēzei, no vārtiem līdz vārtiem tīkla sarakstus izkārtojuma griezieniem. Izmantojiet vienu rīku un plūsmu visiem saviem dizainparaugiem.
Ātra vairāku miljonu vārtu konstrukciju pārbaude un dramatisks verifikācijas laika samazinājums, izmantojot statiskas formālās verifikācijas metodes. Ātrākais ceļš, lai labotu dizainu, izmantojot visaptverošu atkļūdošanas rīku, kas identificē kļūdu atrašanās vietu/cēloni un unikālo “kas, ja” spēju izpētīt dizaina modifikācijas esošajā verifikācijas sesijā.
Pievienojieties diskusijai par jaunām tēmām, funkcijām, saturu un tehniskajiem ekspertiem.
Piekļūstiet detalizētām lietotāju lietojumprogrammu piezīmēm, apmācības resursiem un citiem.
Palīdzot sasniegt maksimālu biznesa ietekmi, risinot sarežģītas tehnoloģijas un uzņēmumu problēmas ar unikālu izstrādes un dizaina pieredzes un metodoloģijas pieredzes sajaukumu.
