Testmustergenerierung Und Fehlersimulation in Digitalen Schaltungen Mit Hoher Komplexitat (German, Paperback)

Das Buch behandelt die beiden wichtigsten Aufgabenstellungen im Rahmen des wirtschaftlich und wissenschaftlich ausserst bedeutenden Gebietes der Testvorbereitung: die automatische Testmustergenerierung und die Fehlersimulation. Alle im Buch beschriebenen Methoden und Verfahren zielen zum einen auf die Minimierung des dazu erforderlichen Rechenzeitaufwandes und zum anderen auf die Bewaltigung moglichst grosser Schaltungskomplexitaten. Besonderer Wert wurde auf eine prazise, formal konsistente und illustrative Beschreibung und auf eine moglichst vollstandige Aufbereitung der einschlagigen Literatur und somit des Standes der Technik gelegt. Das Buch enthalt eine Fulle neuer Methoden, die eine wesentliche Beschleunigung von Testmustergenerierungs- und Fehlersimulationsverfahren ermoglichen, und dokumentiert den mit diesen Methoden erzielten Fortschritt anhand einer Reihe von vergleichenden Untersuchungen. Ausserdem wird mit SOCRATES das derzeit leistungsfahigste der aus der Literatur bekannten Testmustergenerierungssysteme detailliert vorgestellt. Neben der Hilfestellung bei Implementierungsaufgaben gibt das Buch eine detaillierte Darstellung der Problematik des Testens integrierter Schaltungen und speziell der Prinzipien der automatischen Testmustergenerierung und der schnellen Fehlersimulation. Daruber hinaus kann es als Richtschnur fur Spezialvorlesungen nach dem Vordiplom (Elektrotechnik und Informatik) dienen sowie als Ansatz- und Ausgangspunkt fur Forschungsaktivitaten auf verwandten Forschungsgebieten.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, 173
Release date:	July 1988
First published:	1988
Authors:	Michael H. Schulz
Dimensions:	244 x 170 x 10mm (L x W x T)
Format:	Paperback
Pages:	174
ISBN-13:	978-3-540-50051-3
Languages:	German
Categories:	Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures
LSN:	3-540-50051-0
Barcode:	9783540500513

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!