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

  Завантажити