logo
Лекції МІП, 2015 (Скрупська Л

4.3.1 Постановка задачі

Як уже відзначалося, функціональне моделювання цифрових схем істотно відрізняється від аналогових, хоча тут і використовуються інформаційні моделі, але методи моделювання інші.

По ступеню деталізації (подробиці, точності) розрізняють функціональне моделювання на рівні системи команд, реєстрових передач, логічному (вентильному).

Рівень команд характеризується представленням пристрою у виді програмно – доступних функціональних вузлів: оперативної і кеш – пам'яті, АЛП, регістра команд, РЗП і т.д. Моделі цього рівня описують процеси виконання різних команд та фрагментів програм і використовуються для перевірки відповідності функціональної схеми (ФС) заданим принципам функціонування ПК і системі команд.

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

Як правило, рівні команд і реєстрових передач об'єднуються .

Логічний рівень характеризується використанням повних моделей, що складаються з моделей окремих логічних елементів (тригерів, елементів І-НІ, АБО-НІ і т.д.). Ці моделі можуть відображати виконання логічних функцій з урахуванням часових затримок.

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