Téléchargez le livre : Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

Maßnahmen der nächsten Generation unter Verwendung formaler Techniken de

,

Éditeur :

Springer Vieweg


Paru le : 2024-01-02

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
85,77 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.
Pages
180 pages
Collection
n.c
Parution
2024-01-02
Marque
Springer Vieweg
EAN papier
9783031453182
EAN PDF
9783031453199
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
18
Taille du fichier
3717 Ko
Prix
85,77 €
EAN EPUB
9783031453199
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
18
Taille du fichier
11827 Ko
Prix
85,77 €

Suggestions personnalisées