7.1 Verifikation Simulation und Validierung7.2 Simulation7.2.1 Eine Simulationsanordnung7.2.2 Simulation auf Logik- und Technologieebene7.2.3 Software-Simulation7.2.4 Debugging in Eingebetteten Systemen7.2.5 Software-Debugging7.2.6 Hardware-Debugging7.3 Formale Verifikation7.3.1 Aussagen-Logik7.3.2 Prädikatenlogik erster Ordnung: FOL7.3.3 Model Checking7.3.4 Higher Order Logic7.4 Werkzeuge für Modellierung und Simulation7.5 Test7.5.1 Begriffsbestimmungen, Black-Box- und White-Box-Test7.5.2 Ein klassisches Fehlermodell7.5.3 Testmuster7.5.4 JTAG Boundary-Scan7.6 Zusammenfassung