Referência Simbólica e Modelos de Hardware em Python: Uma Nova Abordagem para Aumentar a Eficiência do Projeto de Hardware
Este artigo apresenta uma nova abordagem para modelagem de hardware usando Python - modelos simbólicos. Os fluxos de trabalho tradicionais de projeto de hardware envolvem vários modelos (comportamental, arquitetural, RTL, etc.) para verificação, mas a depuração pode ser desafiadora para algoritmos complexos e gerenciamento de dados. O autor propõe o uso de modelos simbólicos Python, rastreando as origens dos dados em vez dos próprios dados, para simplificar o processo de depuração. Usando um redutor de imagem como exemplo, o artigo detalha a construção e a comparação de modelos simbólicos de referência e de hardware, mostrando as vantagens dos modelos simbólicos em melhorar a eficiência e a confiança do projeto, especialmente ao lidar com gerenciamento complexo de dados e mudanças de especificação.
Leia mais