kako preveriti MCU

X

xworld2008

Guest
Preverjanje je zelo težko, in preveri MCU je zelo zelo težko, jaz samo vem, napisati nekaj zbrati kode, da preveri, ampak kako bi celoten načrt za preverjanje MCU, kot je 8051, lahko pomagate, hvala!

 
eden od naših način je, da napišete model C, primerjajte rezultat cikel, ki ga cyle.

 
Če delate s 8051, morate preveriti Clock, Reset, in Ale pin

 
Živjo,
čeprav imam svoje dvome o tem.Kako preveriti v celoti vreme MCU kot 8051 deluje pravilno, za vsak navodila?In ne mi reči, da je za preverjanje pravilne in popolne?

S spoštovanjem,

 
hello hyena_dale, vaš način še eno vprašanje, moramo zagotoviti c model, ki se Golden, in c model treba preveriti tudi.

 
Mi uporabljamo C model za preverjanje jedra, razen zunanjih naprav.

Za zlato model C, design zlato model C je bolj enostavno kot oblikovanje zlato RTL.Za model C preverjanje.Prvič, lahko primerjate z C oznako spec, preverite programska oprema je preprosta, kot preveriti RTL.Drugič, lahko preverite vaš U C model pri preverjanju vaše RTL.

 
hyena_dale wrote:

Mi uporabljamo C model za preverjanje jedra, razen zunanjih naprav.Za zlato model C, design zlato model C je bolj enostavno kot oblikovanje zlato RTL.
Za model C preverjanje.
Prvič, lahko primerjate z C oznako spec, preverite programska oprema je preprosta, kot preveriti RTL.
Drugič, lahko preverite vaš U C model pri preverjanju vaše RTL.
 
C model, za seveda.
Navsezadnje je odvisno od vaše prijave.

 
Ponavadi za preverjanje CPU, obstajajo acculated testcases.Če je vaš namen prestal vse acculated testcases.Rečeno je, da bo v redu.

Za 8051, najprej bi lahko preverite osnovne funkcije, vsak pouk, prekiniti, in ect GPIO.Potem zapleten primer, bi lahko prenesete nekaj postopki za najrazličnejše namene, seveda prekinitev rutine, je zelo pomembno.Ko je zbirka podatkov dovolj velika vaš 8051 se šteje, da ...

Potem vam je posnet ven.Ko dobiš čip, lahko zaženete toliko kot testcases en test board.Potem mi to poslali vam costomer.......Za zapletena CPU, debug mogoče najti let kasneje ...Ampak ne skrbi.Dokler se ne cretical napako, bi lahko našli način, da se veliko dela okrog ...

<img src="http://www.edaboard.com/images/smiles/icon_smile.gif" alt="Nasmeh" border="0" />
 
Če vzamemo kot primer 8051 in želimo preveriti, vam lahko strokovno naredite naslednje:

1 - Pripraviti veliko C / skupščine programi (ni važno ali sklop C).Programi so za kritje vseh Navodilo za 8051.Poleg tega je vsaka pouk je treba preskusiti s corner primerih, kot so testiranje navodilo ADD enkrat s pozitivnimi številkami 2, potem pa 2 negativne številke, nato pa še za eno negativno in eno pozitivno.

2 - Zagotavljanje, da testiranja programi ne pokrivajo vse, kar je treba storiti z orodji profilov.Te profiliranje (ali poročanje) orodja bi vam popolno samodejno sliko na uporabljene programe, ne da bi morali iti ročno v njih.

3 - Po pripravi potrebne programe, morate zagnati jih prevajalnik 8051 / tekmec, kot Keil.Rezultat obratovanja je mogoče pridobiti s tiskanjem vsebine RAM-a v datoteko.

4 - se lahko isti programi sestavljeni tako, da se v binarni obliki (DUA ali 0 in 1's), nato pa se naloži v pomnilnik kodo VHDL model, ki se s simulirano 8051 Design.Nato s pomočjo testbench si lahko preberete vse kode pomnilnika ter prost dostop navodilom na simulatorju VHDL.Rezultati vodenja programov na VHDL kode je mogoče pridobiti z dumping RAM vsebino v datoteki.ModelSim lahko storite, da za vas enostavno.

5 - Zdaj imate 2 rezultatov.Prva je zaradi poteka cetrain program na 8051 emulator (dobre rezultate, da bi točno zgodilo, če ste resnično platformo 8051).In druga je zaradi teče isti program na svojem VHDL design.Primerjaj obe uporabo (DS) in poročilo odstotek obsega vašega modela.

6 - Ponovite postopek dokler ne doseže 100% pokritost vašega microcontroller ISA.

7 - celoten proces preverjanja, navedena je mogoče v celoti avtomatiziran z uporabo skriptov.Plačevanje nekaj časa na začetku boste prihranili veliko na koncu.Bolje enkrat porabili za načrtovanje, koliko programov in pripravo potrebnih orodij, nato pa pojdite za skripte, ki bo vse programe in naredijo vse, kar tako na Keil in ModelSim.Nato zbira rezultate v poročilu datoteki.
Morda se boste od nekaj ur do nekaj dni, da naredijo vse te simulacije hitro računalnika.Lahko pa je še vedno popolnoma avtomatizirana.

8 - Ne pozabite, da je enkrat u enkrat u pripravili vsa vaša scirpts, morda ne boste mogli narediti znova in znova na vseh procesorjih.To je lahko zelo dragocena izkušnja.

 
[quote = "omara007"]

1 - Pripraviti veliko C / skupščine programi (ni važno ali sklop C).Programi so za kritje vseh Navodilo za 8051.Poleg tega je vsaka pouk je treba preskusiti s corner primerih, kot so testiranje navodilo ADD enkrat s pozitivnimi številkami 2, potem pa 2 negativne številke, nato pa še za eno negativno in eno pozitivno.

Čeprav je possbile testirati vsa navodila, ki jih podpira ta MCU, ni nam lahko pomagajo zagotoviti, da lahko kombinacija navodil še vedno dobro delujejo, kar je precej enormouse in komaj preverjenih popolnoma!

In želim vedeti, kako kompromis preverjanja točnosti in čas?

 
Thomson wrote:Čeprav je possbile testirati vsa navodila, ki jih podpira ta MCU, ni nam lahko pomagajo zagotoviti, da lahko kombinacija navodil še vedno dobro delujejo, kar je precej enormouse in komaj preverjenih popolnoma!In želim vedeti, kako kompromis preverjanja točnosti in čas?
 
Živjo, omara007,
Prvi Q:
2 - Zagotavljanje, da testiranja programi ne pokrivajo vse, kar je treba storiti z orodji profilov.Te profiliranje (ali poročanje) orodja bi vam popolno samodejno sliko na uporabljene programe, ne da bi morali iti ročno v njih.

Kaj je profiliranje orodja?pokritost orodja, kot covermeter, ali vgrajen v Keil orodja?

Drugi Q:
You dump RAM vsebino do datotek in jih primerjajo.Vendar pa deluje le, ko boste brali pisati RAM.Če ste prebrali pisati prek vmesnika, kako je mogoče potrditi vmesnik?
smetišče zunanji RAM prav?in drugih vmesnik logika?

Tretji Q:
Vi samo doseči ISA pokritost 100%, ampak kako približno code pokritost?funkcionalna pokritost?

Claint

 
hi, omara007.nekaj vprašanj za vas.Kaj si rekel, je maily z njimi ravnati z mikro krmilniki zagotovo dobro opredeljen nabor navodil.če pa samo določene navodil, ki je namenjen CPU, zagotovo ni klasična orodja, kot Keil, kaj storiti glede tega?Mislim vsak učinkovit način, da delaš preverjanje, preverjanje rezultata.Potem, kar je zlato model?
To pomeni, odvisno od tega, kaj morem gurrentee je res.Kako lahko to lažje?Thansks

 
omara007 wrote:Najprej morate preizkusiti vse nižje ravni posamezne komponente, kot so testiranje sekvencer, dešifrirati, itd

..
 

Welcome to EDABoard.com

Sponsor

Back
Top