基于ZSP500的IDLE模块子系统级验证实现

SoC 系统的 RTL 级验证分为模块级、子系统级、系统级三个阶段。本文描述了高速数字信号处理器 ZSP500的基本结构和子系统级验证的具体概念,详细介绍了3G 手机芯片中的 IDLE 模块的结构,包括工作模式和空闲模式。介绍通过 ZSP500编程工具构造 SoC 子系统级验证的测试例,利用生成的目标文件对模块进行子系统级验证。最后得出基于 ZSP500的子系统级验证效率高并且实现简单的结论。

基于ZSP500的HSUPA编码模块的子系统级功能验证

在系统芯片的IP验证中存在三种方法:模块级验证,子系统级验证,系统级验证。主要介绍了利用ZSP500进行HSUPA编码模块的子系统级功能验证的方法。先概述HSUPA编码模块的工作状态与功能结构,然后介绍了如何利用ZSP500进行子系统级功能验证。最后得出结论基于ZSP500的子系统级验证效率高并且实现简单。利用ZSP500进行HSUPA编码模块的功能验证,实现过程简单,验证效率高。

基于Cadence CHI和IVD VIP的多核SoC系统数据一致性验证

在多核的SoC系统中,不同的处理器核对内存空间和设备空间进行着大量的数据读写操作,维护Cache一致性面临严峻挑战。集中于控制流方面的验证环境搭建已非常复杂,而包含数据正确性检查的验证由于控制流程复杂、数据量大等问题而更加困难。针对这一问题,基于Cadence公司提供CHI VIP、AXI VIP和IVD VIP,实现多核环境下的系统级数据一致性验证。搭建的验证平台中采用CHI VIP通过笔者开发的CHI协议转换桥发出访存请求,使用AXI VIP收集到达主存的数据,由IVD VIP对CHI端口的请求数据与AXI端口的访存数据进行实时分析比对,实现在较高抽象层次上的激励产生和响应检查。该验证平台能够在子系统级及系统级进行数据一致性验证,具有验证环境搭建快速和功能点覆盖完备的优点。