ζητήσετε για βοήθεια σχετικά με self_checking testbench

A

asing123

Guest
Είμαι τώρα μάθηση εγγράφως testbench.I self_checking μπορεί επαληθεύσει την εξόδους ελέγχονται άμεσα από inputs.but Δεν ξέρω πώς να γράψετε εκείνες testbenches οποίων οι έξοδοι ελέγχονται δεν άμεσα από εισροές αλλά από εσωτερικούς signals.such ως απλό διαιρέτης, Would you δώσει μου κάποιες καλές συμβουλή;στο προσθήκης, ελπίζω να αποκτώ περισσότερες συμβουλές εκτός εκείνων οποίες μπορεί μόνο να χρησιμοποιηθούν από το διαχωριστή, διότι τι εγώ θα επαληθεύσει είναι πιο σύνθετη από το διαιρέτης.Σε ευχαριστώ.

module divider (q, RST, cp)?
q output?
RST εισροών, cp?
reg [1:0] counter?

εκχωρήσετε q = (counter == 2); 1'b1: 1'b0?

πάντοτε @ (posedge cp)
αρχίζω
εάν (RST)
counter <= 0?
άλλος
εάν (counter == 3)
counter <= 0?
άλλος
counter <= counter 1?
τέλος

endmodule
Τελευταία edited από asing123 στις 23 Αύγ 2004 10:22? Edited 1 φορά σε συνολικό

 
Oprócz testowania samousuwających się wpisów, ekipa Facebooka wprowadza kolejną opcję, w której użytkownik może wyrazić swoje zdanie na temat reklam. A konkretnie - dlaczego nie chce widzieć niektórych z nich.

Read more...
 
Γεια σου!μπορείτε βρείτε ένα tutorial σχετικά self_checking testbench

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

ή http://www.xilinx.com/bvdocs/appnotes/xapp199.pdfκαλή τύχη!

Bart

 
Bartart, ευχαριστώ για ενθουσιασμό σας, αλλά φαίνεται ότι παραδείγματα παρέχονται υπάρχουν ίδια όπως έγραψα ανωτέρω, ότι είναι, οι εκροές τους ελέγχονται άμεσα από εισροές δεν, από εσωτερικές signals.would μου δώσετε μερικές άλλες συμβουλή; ευχαριστίες.

 

Welcome to EDABoard.com

Sponsor

Back
Top