CPU系统级验证——验证环境——OpenSPARC T2验证环境分析

本文主要参考OpenSPARC T2官方说明：https://www.oracle.com/servers/technologies/opensparc-t2-page.html

1. 工程概况

• 官方testench主要有四个：cmp1，cmp8，fc1，fc8
• 工程分块描述
  

1. Design源文件
   由verilog编写；
2. testbench相关的激励驱动器、监视器
   由vera编写；
3. testbench中SOC的参考模型
   由systemC编写；
   
4. 仿真运行脚本
   由perl编写；
5. verilog的编程语言接口
   即PLI，用于驱动和监测Design的仿真，由C/C++编写；
   
6. 测试激励tests
   均由SPARC汇编语言编写。该部分文件均有.s扩展，部分case由perl脚本自动化生成。
   

• 每个testbench都有相应的回归测试集名，具体如下：

  

  2. 指令集激励解读