Целью диссертационной работы является разработка математических моделей конфигурируемых на кристалле цифровых систем со встроенной памятью и средств их тестового диагностирования, новых методов синтеза и верификации программ тестов и инструментальных средств автоматизированного проектирования диагностического обеспечения, которые позволяют сократить сроки и повысить качество реализации проектов.