Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

Rolf Drechsler
0/5 ( ratings)
Read Download
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 -Problem und das Bounded Model Checking 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.
Language
German
Pages
201
Format
Hardcover
Release
January 03, 2024
ISBN 13
9783031453182

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

Rolf Drechsler
0/5 ( ratings)
Read Download
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 -Problem und das Bounded Model Checking 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.
Language
German
Pages
201
Format
Hardcover
Release
January 03, 2024
ISBN 13
9783031453182

More books from Rolf Drechsler

Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, ... (Lecture Notes in Computer Science)

0/5 ( ratings)

Spectral Techniques in VLSI CAD

0/5 ( ratings)

Robustness and Usability in Modern Design Flows

0/5 ( ratings)

Advanced BDD Optimization

0/5 ( ratings)

Test Pattern Generation Using Boolean Proof Engines

0/5 ( ratings)

Binary Decision Diagrams: Theory and Implementation

0/5 ( ratings)

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

0/5 ( ratings)

Exact Design of Digital Microfluidic Biochips

0/5 ( ratings)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015

0/5 ( ratings)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

0/5 ( ratings)

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

0/5 ( ratings)

Formal Specification Level: Concepts, Methods, and Algorithms

0/5 ( ratings)

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (German Edition)

0/5 ( ratings)

Advanced Formal Verification

0/5 ( ratings)

High Quality Test Pattern Generation and Boolean Satisfiability

0/5 ( ratings)

Towards One-Pass Synthesis

0/5 ( ratings)

Formal System Verification: State-of the-Art and Future Trends

0/5 ( ratings)

Rate this book!

Write a review?

loader