一种基于BFM验证大型互连芯片的方法

摘要

本发明公开一种基于BFM验证大型互连芯片的方法，属于芯片设计领域；具体过程为：利用BFM模拟节点之间芯片的router和物理层通路，实现总线协议命令发送的操作；BFM通过pli接口与同一节点的芯片相连，BFM在节点之间模拟socket模型，建立BFM逻辑验证环境；由system C在BFM端模拟CPU发出激励信号给逻辑验证环境，socket模型根据激励数据通过pli接口发送验证数据给芯片，芯片响应后，记录芯片反馈数据，并由system C实现错误检测记录；本发明降低了验证的复杂度、保证了验证的全面性、提高了验证激励的通用性，且System C作为软件语言的优势实现抽象程度更高的操作和数据监测。

主权项

一种基于BFM验证大型互连芯片的方法，其特征是：在testbench环境下，利用BFM模拟节点之间芯片的router和物理层通路，实现总线协议命令发送的操作；BFM通过pli接口与同一节点的芯片相连，BFM在节点之间模拟socket模型，将该模型的代码以子程序的形式封装起来，建立BFM逻辑验证环境；由system C在BFM端模拟CPU发出激励信号给逻辑验证环境，逻辑验证环境中的socket模型根据激励数据通过pli接口发送验证数据给芯片，芯片响应后，记录芯片反馈数据，并由system C实现错误检测记录。