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.
Band 100
Kartonierter Einband (Kt) | 1985
Band 101
Kartonierter Einband (Kt) | 1985
Band 102
Kartonierter Einband (Kt) | 1985
Band 105
Kartonierter Einband (Kt) | 1985
Band 108
Kartonierter Einband (Kt) | 1985
Band 109
Kartonierter Einband (Kt) | 1985
Band 11
Kartonierter Einband (Kt) | 1977
Band 12
Kartonierter Einband (Kt) | 1978
Band 121
Kartonierter Einband (Kt) | 1986
Band 126
Kartonierter Einband (Kt) | 1986
Band 127
Kartonierter Einband (Kt) | 1986
Band 135
Kartonierter Einband (Kt) | 1987
Band 136
Kartonierter Einband (Kt) | 1987
Band 156
Kartonierter Einband (Kt) | 1987
Band 17
Kartonierter Einband (Kt) | 1978
Band 179
Kartonierter Einband (Kt) | 1988
Band 180
Kartonierter Einband (Kt) | 1988
Band 182
Kartonierter Einband (Kt) | 1988
Band 183
Kartonierter Einband (Kt) | 1988
Band 184
Kartonierter Einband (Kt) | 1988
Band 186
Kartonierter Einband (Kt) | 1988
Band 187
Kartonierter Einband (Kt) | 1988
Band 188
Kartonierter Einband (Kt) | 1988
Band 19
Kartonierter Einband (Kt) | 1979
Band 190
Kartonierter Einband (Kt) | 1988
Band 192
Kartonierter Einband (Kt) | 1988
Band 193
Kartonierter Einband (Kt) | 1988
Band 194
Kartonierter Einband (Kt) | 1988
Band 197
Kartonierter Einband (Kt) | 1988
Band 198
Kartonierter Einband (Kt) | 1988
Band 201
Kartonierter Einband (Kt) | 1989
Band 205
Kartonierter Einband (Kt) | 1989
Band 211
Kartonierter Einband (Kt) | 1989
Band 212
Kartonierter Einband (Kt) | 1989
Band 214
Kartonierter Einband (Kt) | 1989
Band 215
Kartonierter Einband (Kt) | 1989
Band 217
Kartonierter Einband (Kt) | 1989
Band 230
Kartonierter Einband (Kt) | 1990
Band 233
Kartonierter Einband (Kt) | 1989
Band 240
Kartonierter Einband (Kt) | 1990
Band 244
Kartonierter Einband (Kt) | 1990
Band 245
Kartonierter Einband (Kt) | 1990
Band 246
Kartonierter Einband (Kt) | 1990
Band 247
Kartonierter Einband (Kt) | 1990
Band 252
Kartonierter Einband (Kt) | 1990
Band 256
Kartonierter Einband (Kt) | 1990
Band 277
Kartonierter Einband (Kt) | 1991
Band 284
Kartonierter Einband (Kt) | 1991
Band 301
Kartonierter Einband (Kt) | 1992
Band 303
Kartonierter Einband (Kt) | 1992
Band 304
Kartonierter Einband (Kt) | 1992
Band 306
Kartonierter Einband (Kt) | 1992
Band 34
Kartonierter Einband (Kt) | 1980
Band 4
Kartonierter Einband (Kt) | 1976
Band 5
Kartonierter Einband (Kt) | 1976
Band 58
Kartonierter Einband (Kt) | 1982
Band 6
Kartonierter Einband (Kt) | 1978
Band 70
Kartonierter Einband (Kt) | 1983
Band 75
Kartonierter Einband (Kt) | 1983
Band 99
Kartonierter Einband (Kt) | 1985