poprosić o pomoc w self_checking testbench

[asing123]

Jestem teraz nauka pisania self_checking testbench.I może zweryfikować wyniki bezpośrednio kontrolowane przez inputs.but nie wiem jak napisać te testbenches których wyjścia są kontrolowane bezpośrednio przez nie wejść, ale przez wewnętrzne signals.such jak zwykły rozdzielacz, Czy daj mi kilka dobrych rad?Na dodatek,
mam nadzieję, aby uzyskać więcej porad z wyjątkiem tych, które mogą być używane tylko przez rozdzielacz, ponieważ to, co sprawdzi się bardziej skomplikowane niż Divider.dziękuję.

Moduł rozdzielacza (q, RST, cp);
wyjście q;
wejście rst, PK;
reg [1:0] licznik;

assign q = (licznik == 2)? 1'b1: 1'b0;

zawsze @ (posedge PK)
zacząć
if (rst)
counter <= 0;
w przeciwnym razie
if (licznik == 3)
counter <= 0;
w przeciwnym razie
licznik <= licznik 1;
koniec

endmodule
Ostatnio edytowane przez asing123 na 23 sierpnia 2004 10:22, edited 1 raz w sumie

 

[Bartart]

Cześć!można znaleźć w samouczku self_checking testbench

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

lub http://www.xilinx.com/bvdocs/appnotes/xapp199.pdfpowodzenia!

bart

 

[asing123]

Bartart, dziękuję za entuzjazm, ale wydaje się, że przykłady, pod warunkiem, że są takie same, jak napisałem wyżej, to jest ich rezultaty są kontrolowane bezpośrednio wejść,
a nie przez wewnętrznego signals.would dajesz mi inne porady? Thanks.