Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme: Informatik-Fachberichte, cartea 215
Autor Mehrdad Bidjan-Iranide Limba Germană Paperback – 6 sep 1989
Din seria Informatik-Fachberichte
- 20% Preț: 415.80 lei
- 20% Preț: 422.71 lei
- 20% Preț: 414.63 lei
- 20% Preț: 357.71 lei
- 20% Preț: 421.40 lei
- 20% Preț: 417.76 lei
- 20% Preț: 366.12 lei
- 20% Preț: 421.91 lei
- 20% Preț: 362.52 lei
- 20% Preț: 413.97 lei
- 20% Preț: 426.86 lei
- 20% Preț: 420.74 lei
- 20% Preț: 417.44 lei
- 20% Preț: 417.62 lei
- 20% Preț: 426.03 lei
- 20% Preț: 414.49 lei
- 20% Preț: 434.60 lei
- 20% Preț: 430.31 lei
- 20% Preț: 428.67 lei
- 20% Preț: 354.59 lei
- 20% Preț: 336.67 lei
- 20% Preț: 356.22 lei
- 20% Preț: 647.61 lei
- 20% Preț: 363.98 lei
- 20% Preț: 356.22 lei
- 20% Preț: 426.53 lei
- 20% Preț: 419.43 lei
- 20% Preț: 420.74 lei
- 20% Preț: 657.16 lei
- 20% Preț: 418.27 lei
- 20% Preț: 418.43 lei
- 20% Preț: 359.35 lei
- 20% Preț: 415.80 lei
- 20% Preț: 415.61 lei
- 20% Preț: 420.57 lei
- 20% Preț: 431.29 lei
- 20% Preț: 415.29 lei
- 20% Preț: 413.65 lei
- 20% Preț: 341.48 lei
- 20% Preț: 358.24 lei
- 20% Preț: 412.17 lei
- 20% Preț: 415.61 lei
- 20% Preț: 414.31 lei
- 20% Preț: 418.93 lei
- 20% Preț: 643.63 lei
- 20% Preț: 414.49 lei
- 20% Preț: 412.17 lei
- 20% Preț: 355.75 lei
- 20% Preț: 423.86 lei
- 20% Preț: 423.22 lei
Preț: 413.32 lei
Preț vechi: 516.65 lei
-20% Nou
Puncte Express: 620
Preț estimativ în valută:
79.10€ • 82.08$ • 66.11£
79.10€ • 82.08$ • 66.11£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540516088
ISBN-10: 3540516085
Pagini: 180
Ilustrații: IX, 169 S. 1 Abb.
Dimensiuni: 170 x 242 x 9 mm
Greutate: 0.3 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540516085
Pagini: 180
Ilustrații: IX, 169 S. 1 Abb.
Dimensiuni: 170 x 242 x 9 mm
Greutate: 0.3 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.