基于pci总线的主设备功能仿真与验证

《基于pci总线的主设备功能仿真与验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Ｉ赚毛謂我如＾１砸送位论义圓雜＾ｍ基于ＰＣＩ总线的主设备功能化真与验证作者姓名刘伍锋学校剧。姓名、巧热曾志斌副觀企业导师姓名、职赖张媒窩工申请学位类别工超硕：ｆ：Ｉ醒Ｕ－ｉ西安电子科技大学学位论文独创性（或创新性）声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研巧成果。尽我所知，餘了文中特别加臥标注和致谢中所罗列的内容臥外，论文中不包含其他人己经发表或撰写过的研究成果；也不包含为获得

2、西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同事对本研巧所做的任何责献均已在论文中作了明确的说明并表示了谢意。一切法律责任学位论文若有不实么处，本人承担。，：日期：２ｄｌ２Ｔ本人签名句網西安电子撇大学关于论文使用授权的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，目Ｐ；研究生在校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论文的复印件，允许查阅、借阅论文；学校可公布论文的全部或部分内容，允许采用影印

3、、缩印或其它复制手段保存论文。同时本人保证，结合学位论义研究成果完成的论文。、发明专利等成果，署名单位为西安电子科技大学保密。的学位论文在＿年解密后适用本授权书、．知４；常本人签：人名导师签名Ｈ哨—：Ｕ、：日期）ＪＵ日期学校代码10701学号1311122952分类号TN4密级公开西安电子科技大学硕士学位论文基于PCI总线的主设备功能仿真与验证作者姓名：刘伍锋领域：软件工程学位类别：工程硕士学校导师姓名、职称：曾志斌副教授企业导师姓名、职称：张骏高工学院：微电子学院提交日期：20

4、16年1月SimulationandVerificationforMasterDeviceBasedonPCIBusAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByLiuWufengSupervisor:ZengZhibinAssociateProfessorZhangJunSeniorEngineerJanuary2016摘要摘要随着

5、大规模集成电路技术的快速发展和广泛应用，集成电路对功能、时钟频率、功耗、稳定性等指标具有越来越高的要求。其中，电路功能的正确性是最基本也是最重要的要求，电路验证是确保其功能正确性的关键手段。本文在某款图形处理器项目基础上，对PCI主机接口的主设备功能进行了验证。PCI主机接口是图形处理器对外的通信接口，其内部集成了命令处理器和数据传输控制器两个主设备，它们通过发起PCI总线传输操作实现图形处理器与外部主机之间的数据传输和解析等功能。主设备在图形处理器中扮演着数据源入口关卡的重要角色，因此对主设备进行完整的功能验证

6、具有十分重要的意义。本文首先对命令处理器和数据传输控制器的功能进行深入分析，提取出待测模块的基本功能点。其次结合待测模块已有的设计代码对每个功能点进行验证项的策划，包括划分具体的总线传输操作类型等。然后分析主设备验证环境的搭建需求，根据分析结果编写主设备在总线操作中所需要的图形绘制命令、图形像素数据以及用户染色程序三种不同类型的二进制源数据文件。此外，根据时序约束开发与主设备进行交互操作的存储管理单元和图像处理单元的基本功能模型。紧接着在Linux环境下搭建待测模块的验证平台，完成待测模块与模型间的互连和测试平台

7、的调试、激励生成、仿真结果对比方法等，并编写自动化验证的运行脚本。之后，选取动态定向验证和随机验证相结合的验证方法，并根据验证策划表分别开发了50项命令处理器的验证用例和9项数据传输控制器的验证用例。最后通过仿真工具对命令处理和数据传输控制器分别进行功能仿真与验证，自动化监测必要的标志信号，并将仿真结果与参考文本源数据进行一致性对比，得出仿真结论。在仿真工作完成后，使用脚本分别统计两个主设备的功能覆盖率和代码覆盖率，并对覆盖率报告的结果进行分析和改进说明。在进行仿真验证时，通过对部分验证用例进行修改并多次回归验证

8、使得待测模块的覆盖率逐步上升。最终验证结果显示，命令处理器和数据传输控制器的功能覆盖率均达到100%，命令处理器的语句覆盖率和分支覆盖率均达到96%以上，数据传输控制器的语句覆盖率和分支覆盖率均达到95%以上，满足待测模块的功能规格和验证要求。关键词：PCI总线，图形处理器，命令处理器，数据传输控制器，功能验证IABSTRACTABSTRACTWiththerapidde