Atualmente, estou no processo de projetar uma CPU simples em VHDL usando o Xilinx ISE e ISIM. A parte do design está indo notavelmente bem, mas não consigo descobrir uma maneira de fazer a verificação de maneira consistente.
No momento, tenho uma bancada de testes VHDL que atualizo para testar a função em que estou trabalhando a qualquer momento específico. Isso é muito ad-hoc e não ajuda a capturar regressões e não pode ser usado para verificar a conformidade com o conjunto de especificações / instruções.
Pensei em desenvolver um amplo conjunto de testes, mas o problema é que o estado potencial de uma parte de uso geral como CPU é enorme em comparação a componentes menos genéricos.
Estou procurando um método que me permita executar o projeto e os testes de uma maneira mais controlada. Algum tipo de "TDD de hardware", se você preferir. Será que tal coisa existe? Pode ser aplicado com relativa facilidade a peças de uso geral, como uma CPU?