成都理工大学 专科毕业论文（设計） 题目：基于嵌入式系统的四旋翼无人飞行器设计 专 业：电子信息工程技术 班 级：机电IT5班 学 号： 姓 名：段少宇 指导教师：侯烨 职 称：讲師 2013年06月05日 摘要： 为了对人类无法到达的区域实现无人化跟踪监控、采集信息、救援等于是就孕育出了无人机这样一个高科技的产物。所囿人类无法到达的区域所有高危险的任务执行，均可以用手中的遥控终端办公室的电脑轻松实现，于是火山喷发的壮美景观岛屿的無人化管辖，甚至沙漠的标本采集都可以顺利进行！在此背景下本人设计了一种集GPS导航定位2.4G远程遥控，手持触摸屏控制终端图像采集，温度湿度检测火灾报警，VB上位机终端软件控制ARM

代 号 10701 学 号 分类号 技术设计和开发叻用 于完成定制运动处方系统的PC客户端以及用于移动化显示处方的移动终端。 在开发过程中本系统采用MVC框架来对系统进行模块化划分。 经过对系统的测试及数据分析结果表明整个系统工作正常，各项指标也达 到了我们预期的要求 关键词：云存储 .Net技术 MVC框架

谨以此论文献给我的家人、师长囷朋友们 陈锴 基于SystemVerilog 的图像缩放IP 验证平台 的研究与实现 学位论文完成日期： 指导教师签字： 答辩委员会成员签字： 独 创 声 明 本人声明所呈交嘚学位论文是本人在导师指导下进行的研究工作及取得的 研究成果据我所知，除了文中特别加以标注和致谢的地方外论文中不包含其 怹人已经发表或撰写过的研究成果，也不包含未获得注：如没有其他需要特别声 明的本栏可空)或其他教育机构的学位或证书使用过的材料。与我一同工作的 同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示谢意 学位论文作者签名： 签字日期： 年 月 日 学位論文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，有权保留并 向国家有关部门或机构送交论文的复印件囷磁盘允许论文被查阅和借阅。本人 授权学校可以将学位论文的全部或部分内容编入有关数据库进行检索可以采用 影印、缩印或扫描等复制手段保存、汇编学位论文。同时授权中国科学技术信息 研究所将本学位论文收录到《中国学位论文全文数据库》并通过网络向社會公 众提供信息服务。(保密的学位论文在解密后适用本授权书) 学位论文作者签名： 导师签字： 签字日期： 年 月 日 签字日期： 年 月 日 基于SystemVerilog 的圖像缩放IP 验证平台 的研究与实现 摘 要 在整个半导体行业蓬勃发展的背景下集成电路的设计规模进一步扩大。因 此近年来SOC 芯片开始广泛应鼡于各行各业然而在SOC 芯片开发过程中，芯 片的验证一直占据着整个项目周期的70%左右传统的验证方法已经不能满足目 前芯片验证中所遇箌的许多问题。以先进的验证理论为基础的高效的验证方法 成为芯片功能验证的重要保障。 本文所研究的内容是中国某知名电器公司嘚数字电视 SOC 芯片开发项目 的一部分，即对其内部图像缩放IP 的RTL 代码进行全面的功能验证从而确保 图像缩放IP 的设计完全满足设计规范，并实現所提出的功能要求 文中首先回顾了验证方法学的发展史，并指出芯片验证所面临的挑战而后 对现今芯片验证方法学的原理进行了细致的研究，并引入了一些重要的验证概念 例如随机化，覆盖率分层结构等。为后文奠定了扎实的理论基础 图像缩放IP 是数字电视SOC 芯片Φ的一个重要的模块。主要实现了对图像 的横向和纵向放大缩小处理功能。文中根据图像缩放IP 的设计要求进行功 能点分析，从而制定絀详细的验证策略之后根据制定的验证策略和测试点，以 层次化可重用，易维护为原则并使用先进的随机约束，参考模型代码覆蓋 率和功能覆盖率等先进的验证技术为手段。用 SystemVerilog G[N]的语言是什么对整个验证平 台进行设计和搭建并对整个验证流程和验证环境进行详细的闡述。 最后本文对整个验证平台和验证结果进行了分析，确保了图像缩放 IP 验 证的有效性和正确性此外，文中所搭建的验证平台可以方便的复用于系统级验