我试图了解如何创建一个C ++测试平台来驱动Verilog对DUT的激励。让我们说我有一个简单的场景:
// Testbench Top.
module tb_top();
import "DPI-C" function void wait_for_input_ready();
initial
wait_for_input_ready();
import "DPI-C" function void notify_input_ready();
always @(posedge clk or negedge rst)
begin
// based on some condition here I want to send input-ready notify.
notify_input_ready();
end
endmodule
这是我的C ++代码:
test_case.h
extern "C" void wait_for_input_ready();
extern "C" void notify_input_ready();
test_case.cpp
#include "test_case.h"
std::conditional_variable cond_var;
std::mutex input_mutex;
bool input_ready = false;
void wait_for_input_ready()
{
std::unique_lock<std::mutex> lock(input_mutex);
while(input_ready != true)
cond_var.wait(lock, [&]{return input_ready == true;}); // This is where the problem happens.
}
void notify_input_ready()
{
std::unique_lock<std::mutex> lock(input_mutex);
is_ready = true;
cond_var.notify_one(); // Unblock to wait statement.
}
在此示例中,条件变量上的wait语句永远阻塞,并且不允许模拟器执行Verilog代码的任何其他部分。那么这里的正确方法是什么?我应该在wait_for_input_ready函数中的C ++中创建一个线程并完全分离它吗?
答案 0 :(得分:3)
您不能将SystemVerilog线程的概念与C ++线程混合使用。从DPI的角度来看,一切都在同一个线程中执行。如果您希望C ++代码看起来像是一个SystemVerilog线程,则需要将C ++代码作为任务导入,并让它调用导出的SystemVerilog任务。