Udvidet returret til d. 31. januar 2025

Test Pattern Generation using Boolean Proof Engines - Rolf Drechsler - Bog

Bag om Test Pattern Generation using Boolean Proof Engines

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9789048123599
  • Indbinding:
  • Hardback
  • Sideantal:
  • 192
  • Udgivet:
  • 29. april 2009
  • Udgave:
  • 2009
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 1040 g.
  • 8-11 hverdage.
  • 9. december 2024

Normalpris

  • BLACK WEEK

Medlemspris

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

Beskrivelse af Test Pattern Generation using Boolean Proof Engines

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The chapters of the book cover efficient instance generation, encoding of multiple-valued logic, usage of various fault models, and detailed experiments on multi-million gate designs.

Brugerbedømmelser af Test Pattern Generation using Boolean Proof Engines



Find lignende bøger
Bogen Test Pattern Generation using Boolean Proof Engines 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.