IP芯核設(shè)計(jì)和驗(yàn)證技術(shù)的研究.pdf

1、合肥工業(yè)大學(xué)碩士學(xué)位論文IP芯核設(shè)計(jì)和驗(yàn)證技術(shù)的研究姓名：何葉東申請學(xué)位級別：碩士專業(yè)：微電子學(xué)與固體電子學(xué)指導(dǎo)教師：葉兵20050301ResearchonIPCoreDesjgnandVerificationIechniqueAbstractWi也thedevelopm％tof8cience趾dtecllnology’seIniconductormanufac嘶ngprocessenterSintoV田DeepSubMicron啪I

2、tispossiblematinte掣atesmoremaIlInillion缸鋤sistorsiIltoasingiechipIC(hlte舯ccdCirj。uit)dcsi弘iIldust叮andm鋤埔虻tIlriIlgtrendtointe鏟accwitllthequickdevelopmentofinte掣atingtechnology，andSoCbecomestllemain扛∞dNow鰣Iayscllipvendofsai

3、lIlata”amillimization跚d矗mctionma)【iIniza蛀onbdcspiteofSoCbeingprovidcd誠111lnallymerits，muchncwchallengeofICdesi辨andverificationisbroughtbyitThet11esisdiscussesSoCbusarchjtectIlre，血einte伊ationa11dreuseof毋a11dSoCvcrificatio

4、nmemodsMicrocon的llersoft球desi印andv謝ficationis百Venasa印icalex鋤D1eThemainworkalldachiev鋤entsareasf0llo、vs：1Thethesisin廿oducest量1ekeytechniqueofSoCdesi弘aIldverificationThechallengeofSoCdesi弘andVeri＆ation，theinte莎ationandreus

5、eof碑core，thereuseofverificationIPandfIlnctionverificationautomatiOnarediscussedindetail2A8_bitmSCmicroconn011ersoft疋isdesi印ed，ⅥdlichbelongstoSoCFirstⅡ1e幽itectllre，ins嗽tionsetdesi留and畦商ng鞠dpipelinedesi印of世leso囊口aredescIjb

6、edi11detajlSecondeach缸lctionalmoduledesi朗isin加duced，3Someverification珊otllods，uscdinASICcircuitsllsu“l(fā)y，areaIlalyzed，whicharecom口aredwithSoCverificationmetllods80Cvcrifieationismorefocusedontlleinterf如ebetween口coresConsi

7、deringSoCsizeandcomplcxity，averificationplat矗)mofreuseandautomationisdesignedteducemecoInplexityofSoCveri行cationThesoftmactsinaccordancewi也VSn(ⅥnualSockcthterfaceAlliallce)criterion，aIldhierar℃hybusarldinte血cestandardiza

8、lionarech鋤峙tcristicofthcsof【毋whichisv鰣fiedonthev鰣ficationplatf0衄mentioned百b0Vepara伊aphsAsaresult，thelattcrismorcemcienttharltraditionalVerificationmemod，andacmeVestheobjectiVeofreuseaIldautomationKeyword：SystcmonaChipPco