(КПІ ім.Ігоря Сікорського, 2023) Артюхов, Віталій Григорович; Бритов, Олексій Анатолійович; Гіоргізова-Гай, Вікторія Шалвівна; Кирюша, Богдан Анатолійович
Посібник містить методичні рекомендації до виконання індивідуальних завдань студентів, що полягають у проєктуванні керуючого автомата для виконання обчислювальних операцій з використанням моделей на мові VHDL. Автори ставили задачу викласти матеріал максимально наочно на прикладі проєктування цифрового пристрою у вигляді скінченного цифрового автомату. Розглянуто маршрут низхідного проєктування цифрового пристрою від абстрактного представлення до принципової схеми із застосуванням методів формального синтезу та верифікації проєкту після кожного етапу синтезу на математичних моделях відповідного ієрархічного рівня.
Посібник призначений для здобувачів ступеня бакалавра за спеціальністю 122 «Комп’ютерні науки», а також буде корисним для інших спеціальностей, пов’язаних з проєктуванням цифрової апаратури.