Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Drechsler, Rolf (BerichterstatterIn), Eggersglüß, Stephan (BerichterstatterIn), Fey, Görschwin (BerichterstatterIn), Tille, Daniel (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Dordrecht, London Springer 2009
Schlagworte:
Integrated circuits > Verification > Automatic test pattern generation > Automatic test equipment > Computer algorithms > Algebra, Boolean > Computer software > Integrierte Schaltung > Hardwareverifikation > ATPG
Online Zugang:Cover
Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index. - Formerly CIP
Beschreibung:xii, 192 p.
ill
24cm
ISBN:9048123593
90-481-2359-3
9789048123599
978-90-481-2359-9