This book provides an overview of automatic test pattern generation (ATPG) and introduces novel techniques to complement classical ATPG, based on Boolean Satisfiability (SAT). It presents a fast and highly fault efficient SAT-based ATPG framework.

Verlag: Springer US, Auflage 1, 193 Seiten

Erscheinungsdatum: 20.10.2014

109,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

Produktform: Buch / Einband - fest (Hardcover)

Verlag: Springer International Publishing, Auflage 1, 265 Seiten

Erscheinungsdatum: 17.07.2019

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Specification Level

Concepts, Methods, and Algorithms

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 138 Seiten

Erscheinungsdatum: 23.08.2016

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Debugging at the Electronic System Level

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer Netherland, Auflage 1, 199 Seiten

Erscheinungsdatum: 28.10.2014

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Erweiterte Suche

1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Optimization and Complexity Analysis

Selected Papers from the 13th International Workshop on Boolean Problems

Concepts, Methods, and Algorithms