Für die Entwurfsverifikation existiert auf den verschiedenen Entwurfsebenen eine Vielzahl unterschiedlicher Werkzeuge, die hier im Bild dargestellt sind und in den folgenden Abschnitten besprochen werden sollen. Einige davon haben einen beweisenden Charakter, d.h. die Korrektheit des Entwurfs wird zweifelsfrei festgestellt. Streng genommen dürfen nur diese Werkzeuge Verifikationswerkzeuge genannt werden. Andere dagegen, wie vor allem die Simulation, haben nur ausprobierenden Charakter. Da ein vollständiger Beweis mit diesen Werkzeugen nicht möglich ist, spricht man hier häufig auch von Validierungswerkzeugen.