Test Pattern Generation using Boolean Proof Engines
After producing a chip, the functional correctness of the integrated circuit has to be checked. Otherwise products with malfunctions would be delivered to customers, which is not acceptable for any company. Many algorithms for Automatic Test Pattern Generation (ATPG) have been proposed in the last 30 years. But due to the ever increasing design complexity, new techniques have to be developed that can cope with today's circuits. While classical approaches are based on backtracking on the circuit structure, several approaches based on Boolean Satisfiability (SAT) have been proposed since the early 80s. In Test Pattern Generation using Boolean P…
Mehr
CHF 153.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V113:
Lieferbar in ca. 20-45 Arbeitstagen
Produktdetails
Weitere Autoren: Eggersglüß, Stephan / Fey, Görschwin / Tille, Daniel
- ISBN: 978-90-481-8491-0
- EAN: 9789048184910
- Produktnummer: 10802041
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2010
- Seitenangabe: 192 S.
- Masse: H23.5 cm x B15.5 cm 320 g
- Auflage: Softcover reprint of hardcover 1st ed. 2009
- Gewicht: 320
100 weitere Werke von Rolf Drechsler:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Ebook (PDF Format)
CHF 136.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
Ebook (PDF Format)
CHF 94.50
Bewertungen
Anmelden