视频信号处理芯片子系统的功能验证.pdf

摘要 功能验证已成为芯片设计的重大瓶颈。据统计，在现代IC设计中，功能验 证所花费的时间约占整个设计周期的60％～80％，但却仍有超过2／3的芯片设计 需要重新流片以纠正功能错误。目前基于仿真的验证依然是业界采用的主要验证 方式，然而传统的基于仿真的验证存在可观察性低、可控性差以及自动化水平低 等缺陷，如何快速有效地实现功能验证平台完成功能验证成为当今IC设计验证 领域的重要研究方向之一。 本论文属于天津市科技发展计划项目“视频信号处理芯片的研发中的一部 分，主要研究了视频信号处理芯片子系统的功能验证，提出了一种适合视频信号 处理芯片子系统验证的解决方案，包括验证路线的制定、功能验证方法的确定、 验证流程的规划和验证语言及工具的选择。论文分析了视频处理芯片的架构，并 据此将整个视频信号处理芯片的验证归结为OSD子系统的验证和格式转换子系 统的验证；根据这两大予系统各自的特点，论文制定了层次化验证和自底向上验 证相结合的验证路线及相应的功能验证方法；借鉴当前流行的验证技术和方法， 论文描述了适合视频信号处理芯片子系统验证的定向测试和约束随机测试相结 合的激励产生方式、基于断言和数据比对的结果检查机制、功能覆盖率和代码覆 盖率相结合的覆盖率机制以及基于VMM方法学思想的层次化验证平台构建等 验证流程中的关键环节。论文选择SystemVerilog语言作为视频信号处理芯片子 6．2e作为验证工具。最后根据OSD子系 系统的验证语言、Mentor的Questasim 统和格式转换子系统的设计规范以及提出的功能验证方案，论文详细讨论了这两 大子系统各自的激励产生方式、结果检查方式以及验证平台架构等验证流程中的 关键环节，对这两大子系统进行了功能验证。 仿真验证的实验表明，采用本文的功能验证方案可以将激励产生、结果检查 和覆盖率衡量机制三者有机的结合在一起，极大的改善了验证过程的可观察性和 可控制性，提高了验证过程的自动化水平，从而有效地缩减了设计的研发周期， 保证了设计的成功流片。 关键词：功能验证SystemVerilog断言约束随机激励覆盖率视频信号处理芯 片 ABSTRACT Functionverificationbecomesthe bottleneckof flow．Statistics largest design showthatittakes60％to 2／3ormore mustbe out 80％efforts，but chips tapedagain to functional verificationisthe methodof modify bugs．Simulation-basedprimary function thetraditionalmethodsuffersfromsomedeficiencies verification，while and to function (10wer automation)．How observability，controllability implement verificationand in isone ICverificationfield． quicklyefficientlykeyquestion BasedontheResearch Video Process of Signal Ch勿(vsPc)fromTianjin Scienceand describesthe Municipal