Questa Inspect

Šajā tīmekļa seminārā jūs uzzināsiet, kāpēc oficiāla verifikācija ir galvenā sastāvdaļa, lai gūtu panākumus Next Normal laikmetā, kur pirmās kārtas panākumi ir ļoti svarīgi, un kvalitāti visā verifikācijas ciklā ir svarīgi nodrošināt kvalitāti.

Šajā tīmekļa seminārā mēs apspriedīsim šādas metodes: pamata abstrakcija, ierobežojumu iestatīšana un optimizācija, datu neatkarība un nedeterminisms. Šīs metodes ir viegli pielietojamas, palielinot formālās analīzes veiktspēju.

Šajā tīmekļa seminārā mēs parādīsim, kā ar nelielām zināšanām par dizainu un pārdomāšanu no jūsu puses jūs varat izmantot šos divus principus (DI un ND), lai samazinātu formālo analīzi līdz dažām minūtēm salīdzinājumā ar stundām.

Šajā tīmekļa seminārā mēs parādīsim, kā izmantot IEEE standarta īpašuma pārbaudes kodu (SVA) un oficiālos rīkus, lai ātri un izsmeļoši pārbaudītu datu pārvadāšanu caur DUT atbilstību specifikācijai.

Šajā tīmekļa seminārā jūs uzzināsiet DUT konstrukciju veidus, kas parasti rada formālas analīzes problēmas, un kā pielietot laika pārbaudītas metodes, lai tos droši abstrahētu, lai oficiāla verifikācija varētu ātri sasniegt slēgšanu.

Šajā tīmekļa seminārā mēs parādīsim, kā uzrakstīt optimālus ierobežojumus formālai analīzei; un kā apzināti samazināt un pārmērīgi ierobežot analīzi, lai uzzinātu vairāk par ierobežojumu efektivitāti.

Šajā tīmekļa seminārā jūs uzzināsiet, kā FPGA ieviešanas verifikācija var paātrināt dizaina plūsmu, samazināt testēšanu laboratorijā, nodrošināt agresīvu optimizācijas izmantošanu un dramatiski samazināt pēcprodukcijas riskus.