一种基于SystemC的芯片验证方法及系统
摘要:
本发明公开了一种基于SystemC的芯片验证方法及系统,其中所述方法包括:搭建SystemC验证平台,包括驱动器、监视器和比较器;在SystemC验证平台上安装CRAVE扩展库和FC4SC扩展库;驱动器调用CRAVE扩展库生成受约束的随机测试用例,再将随机测试用例和定向测试用例反馈至被测芯片和参考模型进行模拟运行;监视器收集被测芯片产生的响应结果和参考模型产生的参考结果;比较器将响应结果和参考结果进行比对,以验证被测芯片的功能正确性;监视器调用FC4SC扩展库对SystemC验证平台的功能覆盖率进行收集,以形成覆盖率报告输出。本发明可以提高芯片验证的效率,也可以使得芯片验证工作更具全面性。
0/0