利用Riviera-IPT实现ARM设计的软、硬件协同验证

摘要

本文介绍了在Riviera-IPT环境中进行基于ARM设计验证所必需的技术背景。主要讨论包括关于嵌入式系统的验证、ARM结构体系的基本描述；最后将介绍为完成基于ARM的嵌入式系统验证所创建的一个Riviera-IPT专用版本。