论文摘要
21世纪信息系统必将以数字化、大信息量、交互化、高度融合化、多媒体化步入人类社会。作为信息获取和交流的最主要载体---图象，如果没有好的理论和技术进行处理，它势必成为制约社会发展的主要因素。ISP（Image SignalProcessor）是展讯通信有限公司自主开发的手机多媒体芯片中的图象处理系统。主要应用于数码相机拍照、摄像以及视频电话等。图象边缘增强（Image edgeEnhancement，简称IEE）模块是ISP系统的重要组成部分，其作用主要是有利于视觉效果和后续的处理，消除了相关性和高频躁声，有利于图象的压缩和处理，节省带宽。该模块是芯片中的硬件加速器，整合在ISP系统中，ISP通过AHB总线与ARM核相连。在数字信号处理的领域内有一部分工作是可以事后处理的，即利用通用的计算机系统来处理。还有一类数字信号处理必须在规定的时间内完成，很难想象用一个通用的计算机系统来完成这项工作。因此，不得不自行设计非常轻便而小巧的高速专用硬件。随着芯片的复杂度的快速增长，验证成为SoC开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60％～80％的工作量。对于这种千万门级的SoC，充分、全面的验证尤为复杂，需要耗费大量的人力以及时间。为了缩短项目开发时间，加快产品面市步伐，要采用先进高效的验证方法，提高验证效率，同时保障验证的覆盖率。整个ISP系统采用的是自顶向下（Top-Down）的设计方法进行设计的，IEE是其中一个子模块。为了设计符合要求的IEE模块，首先仔细分析由软件组提供的C-Model和算法。其次，编写设计文档，描述接口时序信息，算法的实现情况以及状态机的设计等。最后，用verilog编写RTL级code。此外，本文采用了一种新的高效验证方法学VMM对IEE模块进行了全面的功能验证。主要是基于VMM建立一个全局的验证平台，调用C-Model作为“黄金模型”来比较verilog的输出，并通过设计足够的case来保证模块的功能覆盖率。最后统计了验证的功能覆盖和代码覆盖率。从验证结果看，IEE模块的设计满足了设计要求。