In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig integriert werden können. Die Autoren beschreiben neue Maßnahmen zur Bewältigung der steigenden Herausforderungen im Bereich des Designs für Testbarkeit, Fehlersuche und Zuverlässigkeit, die für moderne Schaltungsentwürfe unbedingt erforderlich sind. Insbesondere werden in diesem Buch formale Techniken wie das Satisfiability (SAT)-Problem und das Bounded Model Checking (BMC) kombiniert, um die entstehenden Herausforderungen in Bezug auf die Zunahme des Testdatenvolumens, die Testanwendungszeit und die erforderliche Zuverlässigkeit zu bewältigen. Alle Methoden werden detailliert diskutiert und unter Berücksichtigung von industrie-relevanten Benchmark-Kandidaten ausführlich evaluiert. Alle Maßnahmen wurden in ein gemeinsames Framework integriert, das standardisierte Software/Hardware-Schnittstellen implementiert.Bietet dem Leser eine Kombination aus einem umfassenden Satz formaler Techniken, die verschiedene Aspekte des modernen Entwurfs- und Testablaufs für ICs abdecken und verbessern;
stellt neu entwickelte heuristische, auf formaler Optimierung und Partitionierung basierende Retargeting-Techniken vor und integriert sie in einen gemeinsamen Rahmen;
Beschreibt vollständig konforme (in Bezug auf den industriellen De-facto-Standard) Maßnahmen zur Verbesserung der DFT-, DFD- und DFR-Fähigkeiten bei gleichzeitiger Unterstützung standardisierter Datenaustauschformate;
Enthält neue Maßnahmen zur Behebung von Unzulänglichkeiten bestehender hochmoderner Methoden, einschließlich der Null-Fehler-Erzwingung bei sicherheitskritischen Anwendungen.
Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz durchgeführt. Eine anschließende menschliche Überarbeitung erfolgte vor allem in Bezug auf den Inhalt.
