Actualmente estoy en el proceso de diseñar una CPU simple en VHDL usando Xilinx ISE e ISIM. La parte de diseño está yendo notablemente bien, pero parece que no puedo encontrar una manera de hacer la verificación de manera consistente.
En este momento tengo un banco de pruebas VHDL que actualizo para probar la función en la que estoy trabajando en cualquier momento en particular. Esto es muy ad-hoc, y no me ayuda a detectar regresiones y no se puede usar para verificar el cumplimiento del conjunto de especificaciones / instrucciones.
He pensado en desarrollar un extenso conjunto de pruebas, pero el problema es que el estado potencial de una parte de propósito general como CPU es enorme en comparación con componentes menos genéricos.
Estoy buscando un método que me permita realizar el diseño y las pruebas de una manera más controlada. Algún tipo de "hardware TDD" si se quiere. ¿Existe tal cosa? ¿Se puede aplicar con relativa facilidad a piezas de uso general como una CPU?