|
|
|
|
LEADER |
04406nmm a2200397 u 4500 |
001 |
EB000672824 |
003 |
EBX01000000000000000525906 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783642750250
|
100 |
1 |
|
|a Bidjan-Irani, Mehrdad
|
245 |
0 |
0 |
|a Qualität und Testbarkeit hochintegrierter Schaltungen
|h Elektronische Ressource
|b Qualitätssicherung durch regelbasierte Systeme
|c von Mehrdad Bidjan-Irani
|
250 |
|
|
|a 1st ed. 1989
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 1989, 1989
|
300 |
|
|
|a IX, 169 S. 1 Abb
|b online resource
|
505 |
0 |
|
|a 1 Einleitung -- 2 Zielsetzung und Vorgehensweise -- 3 Entwurf integrierter Schaltungen und Systeme -- 3.1 Entwurfsverfahren -- 3.2 Entwurfsprobleme -- 4 Qualität integrierter Schaltungen und Systeme -- 4.1 Qualitätsbegriffe -- 4.2 Qualität und Komplexität -- 5 Testen integrierter Schaltungen und Systeme -- 5.1 Ebenen des Testeinsatzes -- 5.2 Problem des Testens -- 5.3 Testkosten -- 5.4 Die Zukunft der Testtechnik -- 6 Testbarkeit -- 6.1 Testbarkeitsbegriffe -- 6.2 Testbarkeitsanalyse -- 7 Prüffreundlicher Entwurf -- 7.1 Prüfbarkeitsregeln -- 7.2 Klassifizierung prüftechnischer Entwurfsregeln -- 7.3 Automatische Kontrolle der Prüfbarkeitsregeln -- 8 Anforderungen an ein Kontrollsystem für Entwurfsqualität -- 9 Testproblem und wissensbasierte Systeme -- 9.1 Allgemeines System -- 9.2 Aufbau wissensbasierter Systeme -- 9.3 Arbeitsweise -- 9.4 Logische Programmierung und Prolog -- 9.5 ADT Frame -- 10 Prototyp eines regelbasierten Systems zur Überprüfung prüftechnischer Entwurfsregeln -- 10.1 Systemarchitektur -- 10.2 Eingabe der Schaltungsbeschreibung -- 10.3 Umsetzung der RT-Beschreibung in einen attributierten Schaltungsgraphen -- 10.4 DFT-Beschreibung -- 10.5 Eingabe der prüftechnischen Entwurfsregeln -- 10.6 Schaltungsanalyse mit dem Rule Checker -- 11 Implementierung des Systems -- 11.1 Verwendete Datenstruktur -- 11.2 Implementierung des CAP ? PROLOG-Umsetzers -- 11.3 DFT-Beschreibungen -- 11.4 Infix-Präfix-Wandler -- 11.5 Implementierung des Transferalgorithmus -- 11.6 Regelinterpreter -- 12 Zusammenfassung und Ausblick -- Abkürzungsverzeichnis -- Stichwortverzeichnis -- Anhang A. Beispielhafter Ablauf einer Konsultation -- Anhang B. Implementierung der Inferenzkomponente -- Anhang C. Implementierung der dynamischen Wertebereiche -- Anhang D. Implementierung der Wissensbasis
|
653 |
|
|
|a Microprogramming
|
653 |
|
|
|a Input/Output and Data Communications
|
653 |
|
|
|a Control Structures and Microprogramming
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Computer memory systems
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Electronics and Microelectronics, Instrumentation
|
653 |
|
|
|a Arithmetic and Logic Structures
|
653 |
|
|
|a Electronics
|
653 |
|
|
|a Input-output equipment (Computers)
|
653 |
|
|
|a Memory Structures
|
653 |
|
|
|a Microelectronics
|
653 |
|
|
|a Arithmetic and logic units, Computer
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Informatik-Fachberichte
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-642-75025-0?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.11
|
520 |
|
|
|a 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
|