嵌入式系统/ARM技术中的VMM验证方法在AXI总线系统中的实现

1.引言 芯片验证(Verification)越来越像是软件而不是硬件工作。这点已逐渐成为业界的共识。 本文以软件工程的视角切入,分析中科院计算所某片上系统(SoC)项目的验证平台,同时也介绍当前较为流行的验证方法,即以专门的验汪语言结合商用的验证模型,快速建立测试平台(Test-bench)并在今后的项目中重用(reuse)之。 文中提及的高级验证语言、方法学、验证基本库和仿真模型,这一套方法在近几年中,正逐渐为业界广为采用。计算所的工作,就是以这些最新成果为起点,对基于AXI总线协议的SoC,建立测试平台。 这种新方法可大幅度提高芯片验证的效率,尤其使项目初期的投入极大地降低。原