厌倦了sv/uvm？来看看用python写验证环境

ExASIC

发布于 2022-06-21 07:56:42

2.3K01

代码可运行

文章被收录于专栏：ExASICExASIC

运行总次数：1

代码可运行

本文介绍了cocotb的安装、python tb文件的写法、用xrun仿真cocotb的脚本等，我们来看看体验如何。

一、准备

centos7
python3.6+
yum install python3-devel
pip3 install --upgrade cocotb

二、写RTL

// top.sv
module top
  (
   input wire       clk,
   input wire       rst_n,
   input wire [7:0] din,
   output reg [7:0] dout
   );

  initial begin
    $fsdbDumpfile("top.fsdb");
    $fsdbDumpvars(0, top);
  end
 
  always@(posedge clk, negedge rst_n)
    if(!rst_n)
      dout <= 'd0;
    else
      dout <= din;
  
endmodule // top

三、写tb

# tb.py

import cocotb
from cocotb.triggers import Timer, FallingEdge

async def gen_clk(dut):
    for cycle in range(100):
        dut.clk.value = 0
        await Timer(10, units="ns")
        dut.clk.value = 1
        await Timer(10, units="ns")

async def gen_rst(dut):
    dut.rst_n.value = 0
    await Timer(22, units="ns")
    dut.rst_n.value = 1
    print("Reset Done")

@cocotb.test()
async def tb(dut):

    await cocotb.start(gen_clk(dut))
    await cocotb.start(gen_rst(dut))

    test_data_list = range(0,50, 5)
    for test_data in test_data_list:
        await FallingEdge(dut.clk)
        dut.din.value = test_data
    
    await Timer(100, units="ns")

6~11行：定义了一个时钟，50MHz，100个周期。

13~17行：定义了一个复位信号，低电平有效。复位拉高打印“Reset Done”，方便看log。

19行：用@cocotb.test()装饰器指定了tb的顶层主函数。

22行：异步启动gen_clk

23行：异步启动gen_rst

25~28行：产生了一些测试数据，在时钟下降沿后驱动dut的din。

30行：等待100ns结束仿真

四、写仿真脚本Makefile

SIM ?= xcelium
TOPLEVEL_LANG ?= verilog

VERILOG_SOURCES += ./top.sv
TOPLEVEL = top

MODULE = tb

include $(shell cocotb-config --makefiles)/Makefile.sim