Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Autor Sebastian Huhn, Rolf Drechslerde Limba Germană Hardback – 3 ian 2024
Preț: 581.43 lei
Preț vechi: 726.79 lei
-20% Nou
Puncte Express: 872
Preț estimativ în valută:
111.27€ • 116.21$ • 92.26£
111.27€ • 116.21$ • 92.26£
Carte disponibilă
Livrare economică 17-23 ianuarie 25
Livrare express 07-11 ianuarie 25 pentru 61.09 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031453182
ISBN-10: 3031453182
Ilustrații: XXI, 180 S. 50 Abb., 25 Abb. in Farbe.
Dimensiuni: 155 x 235 mm
Greutate: 0.51 kg
Ediția:1. Aufl. 2023
Editura: Springer International Publishing
Colecția Springer Vieweg
Locul publicării:Cham, Switzerland
ISBN-10: 3031453182
Ilustrații: XXI, 180 S. 50 Abb., 25 Abb. in Farbe.
Dimensiuni: 155 x 235 mm
Greutate: 0.51 kg
Ediția:1. Aufl. 2023
Editura: Springer International Publishing
Colecția Springer Vieweg
Locul publicării:Cham, Switzerland
Cuprins
Einführung.- Integrierte Schaltungen.- Formale Techniken.- Eingebettete Kompressionsarchitektur für Testzugriffsports.- Optimiertes SAT-basiertes Retargeting für eingebettete Kompression.- Rekonfigurierbare TAP-Controller mit eingebetteter Kompression.- Eingebettete mehrkanalige Testkompression für Tests mit geringer Pin-Anzahl.- Erhöhte Zuverlässigkeit durch formale Techniken.- Fazit und Ausblick.
Notă biografică
Sebastian Huhn ist derzeit PostDoc in der Gruppe für Technische Informatik an der Universität Bremen, Deutschland. Sebastian Huhn erhielt 2012 (2014) seinen Bachelor (Master) in Technischer Informatik an der Universität Bremen und promovierte 2020 zum Dr.-Ing.. Daneben ist er als Senior Researcher am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) tätig. Seine Forschungsinteressen umfassen Testschnittstellen, formale Methoden, formale Lösungsverfahren, Pattern Retargeting und Zuverlässigkeitsanalyse bzw. -verbesserung von Schaltungen. Seit 2018 ist er im Programmkomitee der International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS), der International Conference on Advances in System Testing and Validation Lifecycle (VALID), des IEEE European Test Symposium (ETS) und der IEEE/ACM International Conference On Computer Aided Design (ICCAD) seit 2020.
Rolf Drechsler ist seit 2011 Leiter der Abteilung Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Außerdem ist er seit 2001 ordentlicher Professor am Institut für Informatik der Universität Bremen. Zuvor war er in der Abteilung Corporate Technology der Siemens AG und am Institut für Informatik der Albert-Ludwigs-Universität Freiburg/Breisgau tätig. Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der Goethe-Universität in Frankfurt am Main, Deutschland, 1992 bzw. 1995. Rolf Drechsler konzentriert sich in seiner Forschung am DFKI und in der von ihm geleiteten Gruppe für Rechnerarchitektur am Institut für Informatik der Universität Bremen auf die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit dem Schwerpunkt Schaltungs- und Systementwurf.
Rolf Drechsler ist seit 2011 Leiter der Abteilung Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI). Außerdem ist er seit 2001 ordentlicher Professor am Institut für Informatik der Universität Bremen. Zuvor war er in der Abteilung Corporate Technology der Siemens AG und am Institut für Informatik der Albert-Ludwigs-Universität Freiburg/Breisgau tätig. Rolf Drechsler erhielt das Diplom und den Dr. Phil. Nat. in Informatik an der Goethe-Universität in Frankfurt am Main, Deutschland, 1992 bzw. 1995. Rolf Drechsler konzentriert sich in seiner Forschung am DFKI und in der von ihm geleiteten Gruppe für Rechnerarchitektur am Institut für Informatik der Universität Bremen auf die Entwicklung und den Entwurf von Datenstrukturen und Algorithmen mit dem Schwerpunkt Schaltungs- und Systementwurf.
Textul de pe ultima copertă
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.
Caracteristici
Bietet dem Leser eine Kombination aus einem umfassenden Satz formaler Techniken Stellt neu entwickelte heuristische Retargeting-Techniken vor und integriert sie in einen gemeinsamen Rahmen Beschreibt vollständig konforme Maßnahmen zur Verbesserung der DFT-, DFD- und DFR-Funktionen