patikrinimą idėja

[Salma ali Bakr]

Ką aš žinau, yra: PSL savybės yra parašyta ir tada patikrino modeliavimas ModelSim pavyzdžiui, tada atitinkamai, dizainas gali būti pakeista specifikacija atitinka teisingai

bet tada, įrankiai, kaip sukietėti ir FocS ir tt ... kodėl jie naudojami?
tai, nes ne visi teiginiai ar prielaidos yra patikrinta modeliavimas?
tai formalios tikrinimo priemonių vaidmenį siekiant patikrinti, o ne imitacija?
yra savybės sintezės ar ne?
jie sustoja modeliavimo lygis?
Kada naudoti modeliavimo ir kada naudoti oficialų patikrinimą, kad patikrintų?

yra tik kažko trūksta, kurių I don't get?

Kas yra tinkle per monitorių?

gali kas nors aiškiai mane ant patikros ir jos priemonių srautas
cause I'm getting rūšies messed up ir sumaišė čia

<img src="http://www.edaboard.com/images/smiles/icon_sad.gif" alt="Liūdnas" border="0" />Thanks in advance,
Salma

 

[kbulusu]

Salma,
tik aišku, kai ką daugiau, ABV (teiginys pagrįstas patikra) yra pagrįstas PSL, kurioje galite apibrėžti sąlygas, kuriomis tam tikrų valstybių narių galioja ir kiek ciklas.Pavyzdžiui, galite pasakyti, kad kai būsena pasikeičia iš A į B, po 5 ciklai ir jūs nustatote, už šį turtą per PSL kalba.Dabar, kai paleidžiate simuliatoriumi, tai inteprets PSL nuosavybė ir patikrinimus sąlyga.Jei būsena pasikeičia iš A į B per mažiau kaip 5 ciklų, po to klaidos / teiginys yra padidinta.Jūs modeliavimas (leidžia jiems skambinti RTL funkcinis modeliavimas), dar prieš jums jūsų logika sintezė.Kartą RTL modeliavimas pass, jūs padaryti savo sintezę ir tada jums bus vykdomas oficialus tikrinimas (atitikties tikrinimas) įsitikinti, kad jūsų vartai lygio rungtynės RTL turite raštu.Sintezė įrankis ignoruoti PSL savybės.

galite patikrinti daugiau apie oficialų patikrinimą mano dienoraštis čia

http://www.srikiran.net/blog/2007/01/22/debugging-formal-verification-fv-problems-fv-primer/

Solidfy ir kitų priemonių naudojimą PSL savybes patikrinti klaida sąlygos ir jų vėliavos.Jie taip pat tai laikrodis domeno kirtimo problemas ir tt Oficialus priemones, pavyzdžiui Synopsys formalumas, ar Cadence Verplex / Conformal arba magma yra QuartzFormal visi naudoti oficialią tikrinimo (atitikties tikrinimas) įrodyti, kad RTL ir sintezės rezultatų atitikimas.

Žmonės vis dar vartai lygis simualtions (po sintezė) ir laiko (SDF backannotation), siekiant patikrinti laiko išimtys (pvz., klaidinga takus) ir tt

I hope this helps.

[quote = "Salma ali Bakr"] Ką aš žinau, yra: PSL savybės yra parašyta ir tada patikrino modeliavimas ModelSim pavyzdžiui, tada atitinkamai, dizainas gali būti pakeista specifikacija atitinka teisingai

bet tada, įrankiai, kaip sukietėti ir FocS ir tt ... kodėl jie naudojami?
tai, nes ne visi teiginiai ar prielaidos yra patikrinta modeliavimas?
tai formalios tikrinimo priemonių vaidmenį siekiant patikrinti, o ne imitacija?
yra savybės sintezės ar ne?
jie sustoja modeliavimo lygis?
Kada naudoti modeliavimo ir kada naudoti oficialų patikrinimą, kad patikrintų?

yra tik kažko trūksta, kurių I don't get?

Kas yra tinkle per monitorių?

gali kas nors aiškiai mane ant patikros ir jos priemonių srautas
cause I'm getting rūšies messed up ir sumaišė čia

<img src="http://www.edaboard.com/images/smiles/icon_sad.gif" alt="Liūdnas" border="0" />Thanks in advance,
Salma [/ quote]

 

[Salma ali Bakr]

Taigi, jei pažvelgsime į skirtingų tipų formalios tikrinimo
(by PSL for instance) is before synthesis (RTL level only) and the properties are verified using simulation

galime sakyti, kad modelio tikrinimas
(pagal PSL pvz) yra prieš sintezė (RTL lygis tik) ir savybes yra tikrinama taikant modeliavimo

ir kad lygiavertiškumas tikrinimą po sintezės (tarp vartų netlist ir RTL)
siekiant patikrinti, ar teisingai buvo grandinės sintezės ar ne

todėl jie tiek formalaus tikrinimo metodus
bet skirtingus Abstrakcijos projektavimo srautas

Thanks a lot,
Salma

 

[kbulusu]

Taip pat ir galiu pasakyti, kad daugiau abstraktus jausmas ir tiek ilgai, kaip Jūs suprantate tarp modelio tikrinimo ir patikros equiavlence skirtumas ...

[quote = "Salma ali Bakr"] taip, jei pažvelgsime į skirtingų tipų formalios tikrinimo

galime pasakyti, kad modelis patikrinimo [/ b] (pagal PSL pvz) yra prieš sintezė (RTL lygis tik) ir savybes yra tikrinama taikant modeliavimo

ir kad lygiavertiškumas tikrinimą po sintezės (tarp vartų netlist ir RTL)
siekiant patikrinti, ar teisingai buvo grandinės sintezės ar ne

todėl jie tiek formalaus tikrinimo metodus
bet skirtingus Abstrakcijos projektavimo srautas

Thanks a lot,
Salma [/ quote]

 

[Salma ali Bakr]

Ką daryti, jei noriu būti projektavimo patikros inžinierius?
Kas tiksliai turėčiau žinoti?
Ar turiu eiti giliai nuo CTL Lt, ir tt
Kas pagrindai turėtų būti aš, ir apie priemones, kurių rinkos standartus?

ačiū iš anksto, o dienoraštyje yra tikrai didelis

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Šypsotis" border="0" />Salma