Verifikation

Ein Buch das mir gut gefällt zu dem Thema ist:

Writing Testbenches
Functional Verification of HDL Models
Second Edition

Janick Bergeron
Kluwer Academic Publisher


Der Author hat auch eine Webseite.

Also ichhabe das ganze mit .do files gemacht. Such mal einfach nach
Modelsim do-files oder der gleichen bei google. Ich hatte mal nen
tutorial dafür. Ixch schau mal ob ich das noch finde. Ist aber sehr
einfach ein dofile zu erstellen.

Danke für Eure Antworten. Also ich hab' mich auch ein wenig angelesen.


Ich schreibe zuerst einen VHDL-Schaltungsblock (z.B. UART-RX) für das
Device (FPGA). Anschließend muss ich nochmals eine eingenstänidig
Testbench in VHDL schreiben, die mir dann meine Schaltung (UART-RX)
testen kann.
Verstehe ich das richtig ???????????????

Irgendwie habe ich das Gefühl, dass das keine lustige
Abend-Hobby-Geschichte mehr ist. Mit Controllern spielen ist da echt
zig-fach einfacher..... :-(. Aber da muss man durch :-!

Sebastian

Wäre super, wenn mal jemand eine primitivst Testbench für eine OR-
Schaltung oder ähnliches posten könnte.

Hm, das ist ein weites Feld, jeder meint unter Testbench was anderes.
Also
letzlich geht es um Testen des FPGA-Designs, bevor das in den FPGA
geladen wird. Also erstmal schauen was der Code macht. Üblicherweise
braucht man dazu stimuli (Eingangsignale) und einen vergleich ob die
Ausgangssignale so sind wie sie sein sollten.

Einfach ist eine neue VHDL entity zu schreiben in deren architecture
das design als component eingebunden wird. Dazu kommt ein prozess der
den Takt erzeugt:

signal tb_clk : std_logix := '0';

process
begin
tb_clk <= not tb_clk after 5 ns; --100Mhz Takt
end process;

und
..
dut: mein design
Port Map(
....
clk => tb_clk,
...
)



codeschnippsel ohne syntaxgarantie.

Jetzt kannst du im Simulator schon mal schauen wie der takt schaltet.
Da aber die
anderen Eingangsignale keinen Wert haben, wird an den Ausgängen nur
'U' oder 'X' zu sehen sein.

per "force im simulator oder zuweisungen in der architecture bekommen
die eingangsignale werde zugewiesen und die Ausgangsignale haben
sinnvolle Werte. Die ausgangsignale kannst Du dir im Wave-fenster des
simulators anschauen.

Jetzt willst du natürlich nicht nur einen Satz an Eingangssignalen
(neudeutsch Inputvector) testen, sondern wissen was passiert wenn die
Eingangsgrößen wechseln. Also schreibst Du processe die nacheinander
verschiedene Muster
(neudeutsch eingangspattern) an das testdesign legen. Das geht
natürlich auch per tcl und force kommandos. Oder du liest eine
textdatei per VHDL ein in der die
verschiedenen Signale gesetzt werden. Oder du lässt den simulator eine
paar us simulieren und setzt per Mausklickiklackie neue Eingangsignale.
Im wavefenster kontrollierts jedesmal per scharfes hinsehen ob die
Ausgangssignale so sind wie gewünscht.

Auf die dauer ist scharfes hinsehen nicht genug. Jetzt ist es an der
zeit ein Modell zu schreiben (VHDL oder simulatorsprache) das Aus und
Eingänge überwacht und fehlermeldungen generiert (vhdl: assert) wenn
was nicht stimmt.

Im Hobbybereich genügt meist scharfes Hinsehen und es finden sich auch
kostenlose VHDL Modelle. Im ASIC- bereich wo ein Fehler Millionen für
neue Chips kostet reicht Hinsehen nix. Dort läuft der Simulator
nächtelang und auf einen Schaltungsentwerfer(designer) kommen meherer
Verifikanten die Modelle und Prüfroutienen schreiben um den Designer
die Bugs auszubügeln.

Ich leg mal ein (fehlerhaftes) design plus testbench dazu. Das Ganze
ist eine Digitaluhr an einem alphanumerischen Display. Als
Eingangsignal hats also nur quarztakt und reset. Überprüft wird durch
scharfes Hinsehen, die testbench (cpld_lcd_tb.vhd) hat also nur 50
zeilen. Dafür muss man genau im waveformfenster hinschauen.

Hallo zusammen,

so ich gebe zu ich hatte eine kleine Motivationskrise. Sich diese
riesige Entwicklungsumgebung plus VHDL autodidaktisch beizubringen ist
nicht immer lustig. Aber ich bin wieder am Ball. Ich denke ich habe
VHDL und die Entwicklungsumgebung langsam aber sicher verinnerlicht
:-).

Auch den letzten Punkt den Simulator + Testbench beherrsche ich jetzt
langsam und nicht umgekehrt. (Simulator beherrscht mich). Im Anhang
hab' ich mal meinen primitiv Counter und die dazu gehörige Testbench
gehängt. Es ist eigentlich super einfach, wenn man mal weiß wie's geht
;-)...

Sebastian