“Precision Hi-Rel” pagerina “Precision RTL Plus” automatizuotą SEUS/rinkinių sušvelninimą saugai svarbiose ir didelio patikimumo programose, naudojant TMR, saugų FSM ir kitus optimizavimus.
“Precision Hi-Rel” siūlo kelias SEE švelninimo strategijas, skirtas saugai svarbioms ir didelio patikimumo programoms. Integracija su “FormalPro LEC” suteikia patikinimą, kad sinteze pagrįstas sušvelnintas dizainas yra funkciškai lygiavertis RTL, užtikrinant DO-254 sertifikavimą.
TMR yra populiariausia švelninimo strategija, naudojama apsaugai nuo SEUS/rinkinių FPGA. “Precision Hi-Rel” suteikia plačiausią TMR režimų pasirinkimą - LTMR, DTMR, GTMR ir intelektualų selektyvų TMR (iStMR), leidžiantį vartotojams kompromisą tarp saugos, ploto ir našumo. TMR įterpimas sintezės lygmenyje suteikia didesnę vartotojo kontrolę ir pranašesnį QoR.
Prisijunkite prie diskusijos naujomis temomis, funkcijomis, turiniu ir techniniais ekspertais.
Pasiekite išsamią dokumentaciją, 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.
