Бережна М. А. Методи логічного проектування дискретних пристроїв з убудованими засобами діагностування

Робота присвячена розробці моделей, методів і алгоритмів тестопридатного проектування дискретних пристроїв, у яких процедури перевірки справності здійснюються убудованими засобами діагностування. Запропоновано методи побудови діагностичних експериментів. Розроблено метод і алгоритми тестопридатного проектування. Запропоновано новий метод аналізу комбінаційної надлишковості, заснований на використанні модифікованої еквівалентної форми булевої функції. Розроблено процедуру аналізу і запропоновано нову модель багатовидової комбінаційної схеми у вигляді графа основних суттєвих вершин з розгалуженнями, визначено необхідні і достатні умови синдромного тестування схем при організації псевдовичерпного тестування. Запропоновано універсальну модель синдромно-сигнатурного аналізатора. Розроблено методи логічного проектування синдромно тестуємих схем на ПЛІС, синтезу синхронних і асинхронних пристроїв