Référence symbolique et modèles matériels en Python : une nouvelle approche pour améliorer l’efficacité de la conception de matériel

Cet article présente une nouvelle approche de la modélisation matérielle à l’aide de Python : les modèles symboliques. Les flux de travail traditionnels de conception de matériel impliquent plusieurs modèles (comportemental, architectural, RTL, etc.) pour la vérification, mais le débogage peut être difficile pour les algorithmes complexes et la gestion des données. L’auteur propose d’utiliser des modèles symboliques Python, en suivant les origines des données plutôt que les données elles-mêmes, pour simplifier le processus de débogage. En utilisant un réducteur d’image comme exemple, l’article détaille la construction et la comparaison des modèles symboliques de référence et matériels, montrant les avantages des modèles symboliques pour améliorer l’efficacité et la confiance de la conception, en particulier lors de la gestion de données complexes et des modifications de spécifications.