基于覆盖率验证方法的ip核测试平台设计

《基于覆盖率验证方法的ip核测试平台设计》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、西安电子科技大学硕士学位论文基于覆盖率验证方法的IP核测试平台设计姓名：黄颖然申请学位级别：硕士专业：微电子学与固体电子学指导教师：李跃进20090101AbstractThethesisbaSedoncoveragednVenmethodology'deVelopingt11eautoTnatictestbench，whichcaIlfimshtheautomaticcheckofⅢcoresimulationresultsandc01lectcoVerageofeachsub-modules．nisimplemeIltedi11theMACsub—layerDcore

2、’sverification，withplentyofrandomstimulusgeneratedforre伊ession．Finallythe1OO％劬ctionalcoVerageandcodecoVeragehavebeeIlacllieved．SeveralnewsySt锄aticvenficationmetllodswereappliedduriIlgthepmcessofs舐ingtestbencll'suchaStal(ingmere衙eIlcemodelt0V甜矽thecomplexdata仃ansactionS，p1觚tingt11et11ird—pa

3、rtyVe—ficationeI】帆r0衄em．Allof廿1emreducedmecompleX时锄de仃onoftlleV甜ficaIionwimoutcompro商sedquali够Illt11emealltiIIle，RAMillterf．aceve—ficationenvimnmentandassertiontestmechaInismf．ocusedonlVIACⅢcoreweredeVeloped．These印pliedmethodsensuremeselfcheckandcoVcragecollectionofsiIIlulationresultS．T11

4、ewholedesi印ad叩tsstaIld砌iIlte而cea11dmemllical舭ture．Dataofeachsub—env衲m钮tc锄eaSilybesharedbypoime瑙．CoⅢigurmionfilesandVirtualsequ饥cetechnolog)，were砷∞ducedtocoIlfiguremetestbench．舢1meseleaduptomefeatllrematthetestbenchisreusa_bleandporta：ble．●【eyword：1'estbenchVbri6cationCOVerageRegressionSpe

5、cmanEnte西安电子科技大学学位论文独创性(或创新性)声明秉承学校严谨的学分和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果：也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切的法律责任。本人签名：垒，兰蠡彗．关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规

6、定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再攥写的文章一律署名单位为西安电子科技大学。本人签名：垄，兰墨型本人签名：丝，釜堡坐导师签名：日期迎缮纠1回日期立弘第一章绪论1．1课题的背景及研究意义二十多年前，数字集成电路的设计还主要采用图形输入工具，硬件设计语言(HDL)的出现使电路设计能力有了质的飞跃。但验证手段和验证方法学却进展缓慢。随着集成电路的规模进入千万门级，验证已经

7、成为芯片设计的瓶颈，验证所需要的人力与物力已经超过了芯片设计本身所耗费的精力。即使如此，由于验证工作量巨大以及验证工作进行是否完备难以衡量，70％以上的芯片失败的原因是验证的不充分11J。可设计重用的口核是保证SoC设计质量和进度的重要手段。因此自行开发的P，必须经过充分的测试与验证，以保证其功能的正确性和较高的可靠性。基于覆盖率验证方法的口核测试平台使用约束化随机向量对口核进行功能验证，能够通过测试平台中的自动检测机制迅速定位设计中的隐藏问题，并且提供覆盖率报告对用以测量验证的进度，为功能验证的完成提供重要量化标准，保证了验