![Hardcover Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken [German] Book](https://i.thriftbooks.com/api/imagehandler/m/8490DD6A52F0E69860B1946E070D4718E18E4825.jpeg)
Design Für Testbarkeit, Fehlersuche Und Zuverlässigkeit: Maßnahmen Der Nächsten Generation Unter Verwendung Formaler Techniken [German]
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.
Customer Reviews
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
