Ich bin gerade dabei, eine einfache CPU in VHDL mit Xilinx ISE und ISIM zu entwerfen. Der Designteil läuft bemerkenswert gut, aber ich kann anscheinend keine Möglichkeit finden, die Überprüfung auf konsistente Weise durchzuführen.
Im Moment habe ich einen VHDL-Prüfstand, den ich aktualisiere, um die Funktion zu testen, an der ich gerade arbeite. Dies ist sehr spontan, und es hilft mir nicht, Regressionen aufzufangen, und es kann nicht verwendet werden, um die Einhaltung der Spezifikation / des Anweisungssatzes zu überprüfen.
Ich habe über die Entwicklung einer umfangreichen Testsuite nachgedacht, aber das Problem ist, dass der potenzielle Zustand eines universellen Teils als CPU im Vergleich zu weniger generischen Komponenten sehr groß ist.
Ich suche nach einer Methode, mit der ich Design und Tests kontrollierter durchführen kann. Eine Art "Hardware-TDD", wenn Sie so wollen. Gibt es so etwas? Kann es relativ einfach auf Allzweckteile wie eine CPU angewendet werden?