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