Sebastian Huhn - Böcker
Visar alla böcker från författaren Sebastian Huhn. Handla med fri frakt och snabb leverans.
8 produkter
8 produkter
1 482 kr
Skickas inom 10-15 vardagar
This book highlights historical explanations to and roots of present phenomena of violence, insecurity, and law enforcement in Central America.
1 482 kr
Skickas inom 10-15 vardagar
This book highlights historical explanations to and roots of present phenomena of violence, insecurity, and law enforcement in Central America.
Design for Testability, Debug and Reliability
Next Generation Measures Using Formal Techniques
Inbunden, Engelska, 2021
1 166 kr
Skickas inom 10-15 vardagar
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.
Design for Testability, Debug and Reliability
Next Generation Measures Using Formal Techniques
Häftad, Engelska, 2022
944 kr
Skickas inom 5-8 vardagar
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.
Advanced Boolean Techniques
Selected Papers from the 15th International Workshop on Boolean Problems
Inbunden, Engelska, 2023
1 166 kr
Skickas inom 10-15 vardagar
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems.
Advanced Boolean Techniques : Selected Papers from the 15th International Workshop on Boolean Problems
Engelska, 2023
634 kr
Skickas inom 5-8 vardagar
Advanced Boolean Techniques
Selected Papers from the 15th International Workshop on Boolean Problems
Häftad, Engelska, 2024
1 166 kr
Skickas inom 10-15 vardagar
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science.
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Inbunden, Tyska, 2024
1 090 kr
Skickas inom 10-15 vardagar
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.