попросить о помощи в self_checking testbench

[asing123]

Я теперь обучения письменной self_checking testbench.I можно проверить выходы под непосредственным контролем inputs.but Я не знаю, как писать эти testbenches, выходы которых контролируется не непосредственно, а входы внутренних signals.such как простой делитель, вы бы Дайте мне хороший совет?Вдобавок, я надеюсь получить более советы, за исключением тех, которые могут быть использованы только на делитель, потому что я буду проверить сложнее, чем делитель.спасибо.

Модуль делителя (Q, RST, CP);
выходной Q;
ввод RST, CP;
REG [1:0] счетчика;

назначить Q = (счетчик == 2)? 1'b1: 1'b0;

Всегда @ (posedge CP)
начинать
если (RST)
Счетчик <= 0;
еще
если (счетчик == 3)
Счетчик <= 0;
еще
Счетчик <= Counter 1;
конец

ENDMODULE
Последняя редакция asing123 по 23 августа 2004 10:22; редактировалось 1 раз в общей сложности

 

[Bartart]

Привет!Вы можете найти учебник по self_checking testbench

@ Http://www.xilinx.com/xcell/xl29/xl29_40.pdf

или http://www.xilinx.com/bvdocs/appnotes/xapp199.pdfудачи!

Барт

 

[asing123]

Bartart, Спасибо за ваш энтузиазм, но кажется, что примеры, приведенные там такие же, как я уже писал выше, то есть результаты их работы контролируется непосредственно входы, а не внутренние signals.would вы дать мне некоторые другие советы? Спасибо.