Static Analysis for Hardware Design

Dieses Kapitel untersucht die Anwendung klassischer Datenflussanalysen im Hardwaredesign, wobei der Schwerpunkt auf den Herausforderungen liegt, Algorithmen für traditionelle Architekturen in hochparallele Schaltkreise umzuwandeln. Er diskutiert das Potenzial hochrangiger Synthesewerkzeuge und die Notwendigkeit weiterer Explorationen, um das Potenzial hochrangiger Parallelität voll auszuschöpfen. Das Kapitel stellt eine Teilmenge der Hardware-Beschreibungssprache Chisel vor, die sich gut für die Realisierung von Algorithmen eignet. Es bietet eine formale Semantik für diese Teilmenge und schafft einen Rahmen für die Erstellung von Datenflussanalysen. Die Analyse soll in der Entwicklungsphase genutzt werden, um Informationen über mögliche Ströme und Werte zu liefern, um Ineffizienzen oder unbeabsichtigtes Verhalten des Designs zu lokalisieren. In diesem Kapitel werden auch mögliche Erweiterungen der Analyse und Möglichkeiten zur Verbesserung ihrer Präzision diskutiert. Es schließt mit einer Diskussion über verwandte Arbeiten und das Potenzial für zukünftige Forschung in diesem Bereich.