bekreftelse dekning

[dBUGGER]

Hei alle,
Bare kan noen gi meg en idé om hvordan å vite at en design er bekreftet grundig?Anta at jeg noen design og deretter sjekke ytelsen ved å skrive et testbench med noen test-vektorer og bekrefte o / s.Nå kan jeg si at jeg har bekreftet utformingen grundig?Else hva er trinnene som er nødvendig for å sikre det samme.Takk.

Med vennlig hilsen,

 

[xworld2008]

Dekningen har to. Første er koden dekning, hvis du bruker noen dekning verktøy, bør du se for eksempel:
betingelse dekning, kode dekning, Brach dekningsområde, toggle dekning og mer.når du kontrollere, bør du nå 100% av disse, verktøyene håndboken vil fortelle deg noe som er viktig.Andre er funksjonen dekning, dette er viktigere enn koden dekning, og hvilken dekning nå til 100% er imponerende.som er dekning funksjon av chip du designet.

 

[linuxluo]

hei,
første måle koden dekning, etter at linjen dekning / tilstand dekning / FSM converage er høy nok, så måler din fucntion dekning.

 

[luancao]

Det er en masse dekning verktøy.I utgangspunktet tre typer dekning, linje dekning, tilstand dekning og avslaget dekning.Du kunne aldri nå alle kombinasjonen av grenene.

For å sikre at designet er funksjonelt riktig.Hva du burde er å definere hva som er "funksjonelt riktig".Working person til person til systemet fyr og markedsføring fyr å definere en grunnleggende godta retningslinje, og deretter funksjonelle godta retningslinje.liste funksjonene fra de viktigste til minst viktig, så test det én etter én.

Det kommer an på ...Hvor mye innsats vil du tilbringe.Hvor mange arbeidstimer er tilgjengelig.Hvis du tester Applo til hver gren og tilstand, kanskje det aldri vil være på månen ...

 

[tarkyss]

først koden dekning må være 100%
klikk for funksjon converage, men det er vanskelig å få tilgang til 100% funksjon converage, så før du begynner bekreftelse, må du ha en bekreftelse ordningen,
Normalt bør du bekreftelse alt du hovedfunksjon, så løpe litt tilfeldig vektor

 

[Quake]

Hei.kode dekningen er klassisk og verktøy er modne.derimot, er funksjonell dekning det mest smertefulle problem at EDA leverandører nå håper å gjøre et gjennombrudd og ta noen nye
metode for å løse det.annen bekreftelse EDA verktøy målet på ulike mål og sa at deres verktøy er bedre, kan du referere til disse verktøyene for å se deres gode aspekt.Og for å holde deg funksjonelt dekning høy, massevis av tanglesome arbeid må gjøres.
håper dette er nyttig for deg.

 

[jjww110]

kode dekningen er mindre viktig enn funksjon dekning

 

[viv_1005]

Overvåking dekningen er sikkert en metode for å se om du har nådd en viss bekreftelse nivå.Men det er komplett

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

.Det er visse vilkår som du ikke kan oppnå i normal simulering miljø.Hvis du utvikler en ASIC, prøver å gjøre en FPGA prototyping.Dette vil hjelpe deg i å drive lenger går av testcases.

 

[eeeraghu]

Som det fremgår linje dekning, tilstand dekning og avslaget dekning, av deg alle i bekreftelsen en del, takk for det, men hva er forskjellen mellom disse tre dekning, og hvordan den påvirker bekreftelsen en del?
Dette onewould være vr \ eri hjelp ful.
Takk til alle.
Raghu

 

[barkha]

Forskjellen mellom disse er dekning --

Uttalelse Dekning: viser hvor mange ganger hver setning ble henrettet. Dette tiltaket rapporterer om hver setning er utført eller ikke.Det er også kjent som linje dekning.

Branch Dekning: viser hvilke tilfelle eller om andre grener ble henrettet. Denne dekningen, også kalt beslutningen dekning, rapporterer om en test har utforsket både sant og usant utfallet av boolske uttrykk i kontroll strukturer.

Tilstand Dekning: viser hvor godt et boolsk uttrykk utøves. Tilstand dekning måler sub-uttrykk som forekommer i en boolsk uttrykk uavhengig av hverandre og rapporter den sanne og falske utfallet av hver av dem.

Path Dekning viser hvilke ruter gjennom sekvensiell forgrening konstruerer utøvd

Utløsende Dekning viser om hver prosess har vært entydig utløst i sin følsomhet liste

Toggle Dekning viser hvilke biter av signalene i utformingen har slått

 

[gogogo]

kode dekningen er bra for din bruk!
men husk: u kan aldri bevise din design er comletely høyre!

 

[fotball]

Jeg husker dette er en ebook av veirfication dekning som kan lastes ned i denne websit.du kan se den.

 

[foster_cn]

Jeg tror funksjonelle dekning er det viktigste creatia å fortelle om design er thoroghly bekreftet

 

[amaccormack]

Alle programmer includign HDL design, har minst én redundante linjer og en bug.derfor ved gjentatte anvendelse av denne teorien, kan du redusere design til en linje med kode som ikke fungerer.

<img src="http://www.edaboard.com/images/smiles/icon_biggrin.gif" alt="Very Happy" border="0" />

 

[str]

først, er funksjonen dekning det viktigste da, koding dekning, siste gang statisk analyse ved hjelp PrimeTime eller andre verktøy.Lagt trenger ingen testbentch!

 

[FLEXcertifydll]

Den prototpe må kjøre alle funksjonelle benken?

 

[funster]

Jeg tror at hvis alle funksjoner som kreves av spesifikasjonen har

blitt bekreftet, så kan vi si at bekreftelsen er fullført.

med vennlig hilsendBUGGER skrev:

Hei alle,

Bare kan noen gi meg en idé om hvordan å vite at en design er bekreftet grundig?
Anta at jeg noen design og deretter sjekke ytelsen ved å skrive et testbench med noen test-vektorer og bekrefte o / s.
Nå kan jeg si at jeg har bekreftet utformingen grundig?
Else hva er trinnene som er nødvendig for å sikre det samme.
Takk.Med vennlig hilsen,