мікросхеми, микросхемы, Mikroschaltungen ; програмована логіка, программируемая логика ; автоматизоване проектування, автоматизированное проектирование ; напівпровідникові запам'ятовувальні пристрої, НЗП, полупроводниковые запоминающие устройства, ПЗУ

Дисертація присвячена питанням розробки діагностичного забезпечення для цифрових систем (ЦС), що конфігуруються на кристалі та мають убудовану пам 'ять. З метою скорочення термінів реалізації проектів ЦС, що конфігуруються на кристалі та мають убудовані запам'ятовуючі пристрої, пропонується використовувати математичні моделі об'єктів і засобів діагнозу, нові методи синтезу і верифікації програм тестів і інструментальні засоби автоматизованого проектування діагностичного забезпечення. Розроблено спеціалізовані мови: Prover, ZALP і C.TECH, які призначені для синтезу і налагодження програм діагностування ЦС, компілюючи системи, що забезпечують їх мобільність.

• УДК // Пристрої пам’яті. Пристрої зберігання даних
• УДК // Системи автоматичної діагностики