Ein praxisorientierter Leitfaden für die Funktionsprüfung von ASICs und SoCs, der moderne Techniken wie Formalverifikation, simulierte Testläufe und Coverage‑Analyse detailliert erläutert und anhand konkreter Fallstudien anschaulich macht.