在tb.sv中写入(需要使用sv)
在这里插入代码片
```import "DPI-C" function void counter7 (
output bit [6:0] out ,
input bit [6:0] in ,
input bit reset ,
input bit load
);
tb.c中写入
#include <svdpi.h>
void counter7 (
svBitVecVal *o ,
const svBitVecVal *i ,
const svBit reset ,
const svBit load
)
{
static unsigned char count = 0;
if(reset)
count = 0 ;
else if(load)
count = *i;
else
count++ ;
count &= 0x7f ;
*o = count ;
}
即可调用DPI接口