FormalPro” naudoja statinius formalaus tikrinimo metodus, kad įrodytų, kad dizainas yra funkciškai identiškas jo auksinei atskaitai. Tai yra eilės tvarka greičiau nei tradicinis vartų lygio modeliavimas - dizainą, kuris trunka dienas ar savaites, gali būti patikrintas valandomis ar net minutėmis naudojant “FormalPro”.
Greitai įrodykite, kad dizainas yra funkciškai identiškas - palyginkite RTL su “gate netlist” sintezei, “gate to gate” tinklalapius išdėstymo sukimams. Visiems savo dizainams naudokite vieną įrankį ir srautą.
Greitas kelių milijonų vartų konstrukcijų patikrinimas ir dramatiškas tikrinimo laiko sumažinimas naudojant statinius formalius tikrinimo metodus. Greičiausias maršrutas koreguoti dizainą naudojant išsamų derinimo įrankį, kuris nustato klaidų vietą/priežastį ir unikalią “kas-jei” galimybę ištirti dizaino pakeitimus esamos patikros sesijos metu.
Prisijunkite prie diskusijos naujomis temomis, funkcijomis, turiniu ir techniniais ekspertais.
Pasiekite išsamias vartotojo programų pastabas, mokymo išteklius ir dar daugiau.
Padedame pasiekti maksimalų verslo poveikį sprendžiant sudėtingus technologijų ir įmonių iššūkius su unikaliu kūrimo ir projektavimo patirties ir metodologijos patirties deriniu.
