Ebook: Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur Überprüfung prüftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ansätzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regelsätze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit über die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu berücksichtigende DFT (Design For Testability)-Regeln benutzerfreundlich einzugeben. Das konzipierte System ist von konsequenter Modularität und bietet in jeder Richtung (Schaltungsbeschreibung, Abstraktionsebene, Bibliothekselemente, Regelsätze) weitestgehende Flexibilität. 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.

---

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur ?berpr?fung pr?ftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ans?tzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regels?tze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit ?ber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu ber?cksichtigende DFT (Design For Testability)-Regeln benutzerfreundlich einzugeben. Das konzipierte System ist von konsequenter Modularit?t und bietet in jeder Richtung (Schaltungsbeschreibung, Abstraktionsebene, Bibliothekselemente, Regels?tze) weitestgehende Flexibilit?t. 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.

---

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur ?berpr?fung pr?ftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ans?tzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regels?tze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit ?ber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu ber?cksichtigende DFT (Design For Testability)-Regeln benutzerfreundlich einzugeben. Das konzipierte System ist von konsequenter Modularit?t und bietet in jeder Richtung (Schaltungsbeschreibung, Abstraktionsebene, Bibliothekselemente, Regels?tze) weitestgehende Flexibilit?t. 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.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-1
Zielsetzung und Vorgehensweise....Pages 2-3
Entwurf integrierter Schaltungen und Systeme....Pages 4-10
Qualit?t integrierter Schaltungen und Systeme....Pages 11-15
Testen integrierter Schaltungen und Systeme....Pages 16-22
Testbarkeit....Pages 23-24
Pr?ffreundlicher Entwurf....Pages 25-33
Anforderungen an ein Kontrollsystem f?r Entwurfsqualit?t....Pages 34-35
Testproblem und wissensbasierte Systeme....Pages 36-45
Prototyp eines regelbasierten Systems zur ?berpr?fung pr?ftechnischer Entwurfsregeln....Pages 46-82
Implementierung des Systems....Pages 83-112
Zusammenfassung und Ausblick....Pages 113-114
Back Matter....Pages 115-169

---

Dieses Buch beschreibt ein hochkomplexes und neuartiges System zur ?berpr?fung pr?ftechnischer Entwurfsregeln bei digitalen Schaltungen und Systemen. Im Gegensatz zu traditionellen Ans?tzen ist diese Analyse im vorliegenden Fall regelbasiert und erlaubt damit die Verarbeitung unterschiedlicher Regels?tze. Weitere Besonderheiten sind der hierarchische Ansatz und die Anwendbarkeit ?ber die Gatterebene hinaus auch auf der Registertransfer-Ebene. Das System wird abgerundet durch eine Regelaufbereitungskomponente in Form eines speziellen Expertensystems, die es erlaubt, zu ber?cksichtigende DFT (Design For Testability)-Regeln benutzerfreundlich einzugeben. Das konzipierte System ist von konsequenter Modularit?t und bietet in jeder Richtung (Schaltungsbeschreibung, Abstraktionsebene, Bibliothekselemente, Regels?tze) weitestgehende Flexibilit?t. 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.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-1
Zielsetzung und Vorgehensweise....Pages 2-3
Entwurf integrierter Schaltungen und Systeme....Pages 4-10
Qualit?t integrierter Schaltungen und Systeme....Pages 11-15
Testen integrierter Schaltungen und Systeme....Pages 16-22
Testbarkeit....Pages 23-24
Pr?ffreundlicher Entwurf....Pages 25-33
Anforderungen an ein Kontrollsystem f?r Entwurfsqualit?t....Pages 34-35
Testproblem und wissensbasierte Systeme....Pages 36-45
Prototyp eines regelbasierten Systems zur ?berpr?fung pr?ftechnischer Entwurfsregeln....Pages 46-82
Implementierung des Systems....Pages 83-112
Zusammenfassung und Ausblick....Pages 113-114
Back Matter....Pages 115-169
....