● 摘要
在多媒体片上系统（Multi-Media Systmem-on-Chip）的设计开发过程中，功能验证所花费的时间和资源已经超过了60%。标准的开发流程里，建立高效而灵活的验证平台是至关重要的环节之一。其目的是对系统预期的主要功能，特别是依据事先用高级编程语言（通常为C/C++）所定义的算法的硬件实现进行验证。本课题将新型的验证语言SystemC 与传统的Verilog 语言作了对比，站在系统级验证的的角度上明确了SystemC 在行为建模和功能验证中的优势。得出了结论——SystemC 是一种适用于多媒体片上系统的有效的建模语言和功能验证语言。本文详细介绍了以SystemC 语言为核心的具有可重用性的系统级验证平台的构建过程，该平台不仅实现了系统级功能验证的目标，同时也解决了SOC 的系统级功能验证中软硬件协同无缝验证的难题，达到了多媒体SOC 验证环节中对验证平台的高效性和灵活性的双重要求。本项目以AC97 接口的自适应差分脉冲编码（ADPCM）器为验证对象（Design-Under-Verification），验证环境的建设过程包括接口总线功能模型(Bus Function Model)和算法模型的SystemC 编码、为实现动态解析机制而自定义的测试向量（Test Vector）语言规则及对应的PERL 语言解释器编码、验证平台中的内嵌PERL 解释器C++类和激励模型的C++类的定义和使用。在对验证对象进行系统级验证时，系统建模（System-based Modeling）的SystemC 算法模块被成功地重用到了功能验证中，实现了对算法模块输出数据的实时检测。验证平台中还增加了资源整合脚本，实现了不同版本的平行验证，达到了高效验证的目的。关键词：片上系统（SOC）， 功能验证（Functional Verification），SystemC，系统建模（System-based Modeling），总线功能模型（BFM），测试向量（Test Vector）