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