Защолкін К. В. Моделі, методи та інструментальні засоби для автоматизованого проектування цифрових керуючих пристроїв з жорсткою логікою

Дисертаційна робота присвячена вирішенню науково-практичної задачі, що полягає в зменшенні часу синтезу і підвищенні якості проектних рішень САПР цифрових керуючих пристроїв (ЦКП) за рахунок розробки для них нових моделей та методів проектування. Існуючі інструментальні засоби автоматизованого проектування ЦКП використовують моделі, які не можуть описувати поведінку ЦКП з урахуванням динаміки його реакції, характеризуються структурною надмірністю та необхідністю виконання додаткових заходів для забезпечення еквівалентності моделей різного рівня. Для усунення цих недоліків при проектуванні застосовують штучні прийоми, в результаті чого ускладнюється апаратна реалізація ЦКП, погіршуються його часові характеристики та підвищується складність процесу синтезу. В дисертації запропоновані нові моделі ЦКП, позбавлені відзначених недоліків. Розроблені ефективні методи синтезу ЦКП за його описом на основі запропонованих моделей. У роботі одержали подальший розвиток методи оптимального кодування станів цифровогоавтомата, що дозволило отримати зменшення апаратних витрат на реалізацію функції переходів ЦКП. На основі теоретичних положень дисертації, розроблена інформаційна технологія автоматизованого проектування ЦКП, яка об'єднала запропоновані й традиційні моделі та методи в єдиний формалізований процес спрямований на підвищення ефективності проектування. Запропонована інформаційна технологія реалізована у вигляді САПР ЦКП.