发明公开
- 专利标题: 一种基于SystemC的芯片验证方法及系统
-
申请号: CN202211708161.7申请日: 2022-12-29
-
公开(公告)号: CN116126700A公开(公告)日: 2023-05-16
- 发明人: 徐能 , 郑欣 , 高鹏 , 熊晓明 , 刘远 , 高怀恩 , 詹瑞典 , 曾少奋 , 钟泳锋 , 林锋杰
- 申请人: 广东工业大学 , 佛山芯珠微电子有限公司
- 申请人地址: 广东省广州市东风东路729号;
- 专利权人: 广东工业大学,佛山芯珠微电子有限公司
- 当前专利权人: 广东工业大学,佛山芯珠微电子有限公司
- 当前专利权人地址: 广东省广州市东风东路729号;
- 代理机构: 广州嘉权专利商标事务所有限公司
- 代理商 叶洁勇
- 主分类号: G06F11/36
- IPC分类号: G06F11/36 ; G06F30/33
摘要:
本发明公开了一种基于SystemC的芯片验证方法及系统,其中所述方法包括:搭建SystemC验证平台,包括驱动器、监视器和比较器;在SystemC验证平台上安装CRAVE扩展库和FC4SC扩展库;驱动器调用CRAVE扩展库生成受约束的随机测试用例,再将随机测试用例和定向测试用例反馈至被测芯片和参考模型进行模拟运行;监视器收集被测芯片产生的响应结果和参考模型产生的参考结果;比较器将响应结果和参考结果进行比对,以验证被测芯片的功能正确性;监视器调用FC4SC扩展库对SystemC验证平台的功能覆盖率进行收集,以形成覆盖率报告输出。本发明可以提高芯片验证的效率,也可以使得芯片验证工作更具全面性。