Advanced utilization of formal methods in automatic test pattern generation for industrial designs

Zugl.: Bremen, Univ., Diss., 2011

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tille, Daniel (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker 2011
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Integrierte Schaltung > CAT > Fehlermodell > ATPG > Erfüllbarkeitsproblem > Boolesche Formel > Konjunktive Normalform > Binäres Entscheidungsdiagramm
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!