Qualitat und Testbarkeit Hochintegrierter Schaltungen

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur UEberprufung pruftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ansatzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regelsatze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit uber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu berucksichtigende DFT (Design For Testability)-Regeln benutzerfreundlich einzugeben. Das konzipierte System ist von konsequenter Modularitat und bietet in jeder Richtung (Schaltungsbeschreibung, Abstraktionsebene, Bibliothekselemente, Regelsatze) weitestgehende Flexibilitat. Zur Ausgestaltung des Systems wurden geeignete Methoden aus verschiedenen Bereichen der Informatik zu diesem neuartigen Ansatz kombiniert; beteiligt sind die Gebiete Compilerbau, Algorithmen, Software-Engineering, besonders aber Hardware-Test, Logische Programmierung und Expertensysteme.