Тестування та верифікація цифрових систем: Курс лабораторних робіт
Основною метою виконання лабораторного практикуму полягає у придбанні студентами практичних знань та навичок розробки, дослідження та верифікації цифрових схем з використанням середовища проектування Visual Studio, ModelSim та інтерфейсу PLI/VPI.
Список рекомендованої літератури
Основна література:
1. Sutherland S. The Verilog PLI Handbook: A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface, Second Edition / S. Sutherland. – Kluwer Academic Publishers, 2002. – 784 p.
2. Palnitkar S. Verilog HDL: A Guide to Digital Design and Synthesis, Second Edition / S. Palnitkar. – Prentice Hall PTR, 2003. – 496 p.
3. Glasser M. Open Verification Methodology Cookbook / M. Glasser. – Springer, 2009. – 235 p.
Додаткова література:
1. IEEE Std 1364-2001. IEEE Standard Verilog® Hardware Description Language. – Revision of IEEE Std 1364-1995; Published 28.09.2001. – NY: The Institute of Electrical and Electronics Engineers Inc., 2001. – 778 p.
2. Соловьев В.В. Проектирование цифровых систем на основе программируемых логических интегральных схем / В.В. Соловьев – М.: Горячая линия – Телеком, 2001. – 312 с.
3. Угрюмов Е.П. Цифровая схемотехника: Учеб. пособие для вузов / Е.П. Угрюмов. – 2 е изд., перераб. и доп. – СПб.: БХВ-Петербург, 2004.
-
ЛР6 > Застосування робочих областей PLI
Тема: Створення додатків PLI, які застосовують області даних та обробників подій симулятора. Переваги, що надають …
26.
04.2013 -
ЛР5 > Перевірка функції на повернення помилки та отримання аргументів симулятора
Тема: Застосування функцій vpi_get_vlog_info, vpi_chk_error. Аналіз структури t_vpi_error_info. 1. Теоретичні відомості Запуск симулятора при неправильних аргументах …
20.
04.2013 -
ЛР4 > Організація доступу до масивів в VPI / PLI
Тема: Організація однотипних даних у масиви. Звернення до комірок масиву в PLI доданках. 1. Теоретичні відомості …
19.
04.2013 -
ЛР3 > Зчитування / запис даних більших за 32 біт
Тема: Застосування PLI структури t_vpi_value для зчитування та запису даних, що більші за 32 біти …
16.
04.2013 -
ЛР2 > Застосування різних типів процедур PLI. Процедура знаходження часу симуляції
Тема: Типи процедур PLI. Застосування функції vpi_get_time для зчитування часу моделювання 1. Теоретичні відомості Verilog PLI …
15.
04.2013 -
ЛР1 > Розробка користувацьких системних функцій Verilog
Тема: Системні функції та функції користувача в Verilog. Створення користувацької функції та функції її реєстрації …
12.
04.2013