Udvidet returret til d. 31. januar 2025

High Quality Test Pattern Generation and Boolean Satisfiability - Rolf Drechsler - Bog

Bag om High Quality Test Pattern Generation and Boolean Satisfiability

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781441999757
  • Indbinding:
  • Hardback
  • Sideantal:
  • 193
  • Udgivet:
  • 10. marts 2011
  • Udgave:
  • 2012
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 488 g.
  • 8-11 hverdage.
  • 5. december 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af High Quality Test Pattern Generation and Boolean Satisfiability

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.

Brugerbedømmelser af High Quality Test Pattern Generation and Boolean Satisfiability



Find lignende bøger
Bogen High Quality Test Pattern Generation and Boolean Satisfiability findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.