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

این کتاب یک سیستم بسیار پیچیده و نوآورانه را برای بررسی قوانین طراحی فنی برای مدارها و سیستم‌های دیجیتال توصیف می‌کند. برخلاف رویکردهای سنتی، این تحلیل در مورد حاضر مبتنی بر قانون است و بنابراین امکان پردازش مجموعه‌های مختلف قواعد را فراهم می‌کند. سایر ویژگی های خاص، رویکرد سلسله مراتبی و قابلیت کاربرد فراتر از سطح دروازه به سطح انتقال ثبت است. این سیستم توسط یک جزء پردازش قانون در قالب یک سیستم خبره خاص گرد می شود که اجازه می دهد ورودی کاربرپسند قوانین DFT (Design For Testability) را در نظر بگیرد. سیستم طراحی شده به طور مداوم ماژولار است و بیشترین انعطاف ممکن را در هر جهت (شرح مدار، سطح انتزاع، عناصر کتابخانه، مجموعه قوانین) ارائه می دهد. برای طراحی سیستم، روش‌های مناسبی از حوزه‌های مختلف علوم کامپیوتر در این رویکرد جدید ترکیب شدند. حوزه‌های ساخت کامپایلر، الگوریتم‌ها، مهندسی نرم‌افزار، اما به‌ویژه تست سخت‌افزار، برنامه‌نویسی منطقی و سیستم‌های خبره درگیر هستند.

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.