Как подключить контролер к произвольному экземпляру?

Question

Скажем, у меня есть чекер, который достигает $ root.i_dut и проверяет там некоторые сигналы. Тривиальный пример:

module CheckOverflow(input logic clk); 
    assert property (@(posedge clk) $root.i_dut.overflow == 1'b0); 
endmodule 

Что делать, если я хочу использовать эту проверку в испытательном стенде, где вещь, которую я хочу, чтобы проверить, не обязательно инстанцирован как «$ root.i_dut»? Есть ли способ, скажем, передать ссылку на экземпляр на экземпляр проверки?

Кажется, что UVM решает эту проблему, используя интерфейсы. Мне интересно знать, есть ли способ сделать это, просто используя ссылки, а не интерфейсы.

Answer 1

В этом случае вы можете использовать bind. Это позволяет создать экземпляр вашей проверки в любом месте иерархии.

Прежде всего, необходимо сделать переливной сигнал входа вместо того, чтобы полагаться на иерархическом пути:

module CheckOverflow(input bit clk, input logic overflow); 

В вашем верхнем тестбенче уровня вы бы добавить:

bind dut_module_name CheckOverflow assertions(
    .clk(<name of the clock signal in the DUT>), 
    .overflow(overflow) 
); 

Это приведет к тому, который должен быть создан в модуле DUT с именем утверждениями и подключиться к указанным сигналам DUT без необходимости изменения кода DUT.

Рабочий стол можно найти на EDAPlayground.