Артюхов, Віталій ГригоровичБритов, Олексій АнатолійовичГіоргізова, Вікторія ШалвівнаКирюша, Богдан Анатолійович2024-01-082024-01-082023Архітектура обчислювальних систем. Навчальний посібник до виконання розрахунково-графічної роботи [Електронний ресурс] : навчальний посібник для здобувачів ступеня бакалавра за освітньою програмою «Інтелектуальні сервіс-орієнтовані розподілені обчислювання» спеціальності 122 Комп’ютерні науки / КПІ ім. Ігоря Сікорського ; уклад. В. Г. Артюхов, О. А. Бритов, В. Ш. Гіоргізова-Гай, Б. А. Кирюша. – Електронні текстові дані (1 файл: 2,2 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2023. – 85 с. – Назва з екрана.https://ela.kpi.ua/handle/123456789/63570Посібник містить методичні рекомендації до виконання індивідуальних завдань студентів, що полягають у проєктуванні керуючого автомата для виконання обчислювальних операцій з використанням моделей на мові VHDL. Автори ставили задачу викласти матеріал максимально наочно на прикладі проєктування цифрового пристрою у вигляді скінченного цифрового автомату. Розглянуто маршрут низхідного проєктування цифрового пристрою від абстрактного представлення до принципової схеми із застосуванням методів формального синтезу та верифікації проєкту після кожного етапу синтезу на математичних моделях відповідного ієрархічного рівня. Посібник призначений для здобувачів ступеня бакалавра за спеціальністю 122 «Комп’ютерні науки», а також буде корисним для інших спеціальностей, пов’язаних з проєктуванням цифрової апаратури.85 с.ukLearning Object004.2:004.415.2](07)0000-0003-1752-91060000-0002-5944-703X0000-0001-6224-35320000-0001-7343-1387