Design for Testability, Debug and Reliability
Next Generation Measures Using Formal Techniques
This book introduces several novel approaches to pave the way for the next generation of integrated circuits, which can be successfully and reliably integrated, even in safety-critical applications. The authors describe new measures to address the rising challenges in the field of design for testability, debug, and reliability, as strictly required for state-of-the-art circuit designs. In particular, this book combines formal techniques, such as the Satisfiability (SAT) problem and the Bounded Model Checking (BMC), to address the arising challenges concerning the increase in test data volume, as well as test application time and the required…
Mehr
CHF 100.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Huhn, Sebastian
- ISBN: 978-3-030-69211-7
- EAN: 9783030692117
- Produktnummer: 38779812
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2022
- Seitenangabe: 188 S.
- Masse: H23.5 cm x B15.5 cm x D1.0 cm 295 g
- Auflage: 1st ed. 2021
- Abbildungen: Paperback
- Gewicht: 295
Über den Autor
Sebastian Huhn is currently a PostDoc at the Group of Computer Engineering, University of Bremen, Germany. Sebastian Huhn received his bachelor's (master) degree in 2012 (2014) in computer engineering from the University of Bremen and his doctoral (Dr.-Ing.) degree in 2020. Besides this, he is a senior researcher at the German Research Center for Artificial Intelligence (DFKI). His research interests include test interfaces, formal methods, formal solving techniques, pattern retargeting, and reliability analysis or enhancement of circuits. He has been in the Program Committee of the International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) since 2018, the International Conference on Advances in System Testing and Validation Lifecycle (VALID), IEEE European Test Symposium (ETS) and IEEE/ACM International Conference On Computer Aided Design (ICCAD) since 2020.Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design
100 weitere Werke von Rolf Drechsler:
Towards a Design Flow for Reversible Logic
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 132.50
Languages, Design Methods, and Tools for Electronic System Design
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 103.00
Formal System Verification
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 141.50
Exact Design of Digital Microfluidic Biochips
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 130.00
Applications of Evolutionary Computing
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computing
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 160.00
Design for Testability, Debug and Reliability
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 118.00
Formal Specification Level
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 110.50
Reversible and Quantum Circuits
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 103.00
Automatic Methods for the Refinement of System Models
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 65.00
Advanced Logic Synthesis
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 165.50
Design Automation Techniques for Approximation Circuits
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 103.00
Advanced Boolean Techniques
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 100.50
Formal Modeling and Verification of Cyber-Physical Systems
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 100.50
Advanced BDD Optimization
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 165.50
Robustness and Usability in Modern Design Flows
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 132.50
Debugging at the Electronic System Level
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 132.50
Recent Findings in Boolean Techniques
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 124.00
Evolutionary Algorithms for Embedded System Design
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 118.00
High Quality Test Pattern Generation and Boolean Satisfiability
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 121.50
Test Pattern Generation using Boolean Proof Engines
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 132.50
Graphenbasierte Funktionsdarstellung
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 47.63
Applications of Evolutionary Computing
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 160.00
Applications of Evolutionary Computing
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 173.50
Applications of Evolutionary Computation
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 106.50
Enhanced Virtual Prototyping
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 130.00
Natural Language Processing for Electronic Design Automation
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 100.50
Noch analog oder lebst Du schon?
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 13.50
Spectral Techniques in VLSI CAD
Next Generation Measures Using Formal Techniques
Next Generation Measures Using Formal Techniques
Ebook (PDF Format)
CHF 165.50
Bewertungen
Anmelden