[发明专利]一种用Python建立参考模型提高自动化验证平台效率的方法

摘要

本发明公开了一种用Python建立参考模型提高自动化验证平台效率的方法。本发明通过C程序作为中间层，通过C/Python API使得C程序可以调用Python参考模型，再通过SystemVerilog DPI调用中间层的C接口程序，从而实现SystemVerilog验证平台调用Python的目的。本发明使得可以用Python语言编写参考模型，并在验证平台中实时动态地调用Python参考模型。用Python语言开发程序有诸多优点，尤其是长整数运算等复杂算法时有着非常高的效率，此方法解决了SystemVerilog语言与Python语言交互的问题，使得Python程序可以作为验证平台中的参考模型，大大提升了验证的效率和质量，减少了验证成本。

主权项

1.本发明公开了一种用Python建立参考模型提高自动化验证平台效率的方法，通过C程序作为中间层，通过C/Python API使得C程序可以调用Python参考模型，再通过SystemVerilog DPI调用中间层的C接口程序，从而实现SystemVerilog验证平台调用Python的目的，其特征在于，实现方法主要包括如下步骤：1)定义Python参考模型函数的接口参数规范；2)用Python语言编写参考模型；3)定义C封装函数的接口参数规范；4)依据C接口规范编写C封装函数；5)通过Python/C API将C封装函数和Python函数相连；6)把C接口程序编译为动态链接库供验证平台加载；7)定义SystemVerilog验证平台中的接口参数规范；8)SystemVerilog验证平台加载动态链接库，通过DPI接口将SystemVerilog验证平台和C封装函数相连；9)在仿真过程中验证平台的IN_AGENT实时产生激励，分别驱动DUT和Python参考模型；10)参考模型模块将Python参考模型计算结果发送到SCOREBOARD模块；11)OUT_AGENT监测收集DUT输出并将计算结果发送到SCOREBOARD模块；12)SCOREBOARD对Python参考模型的输出与DUT的输出进行比对,从而验证DUT的设计正确性。