Участник:ANA/Библиотека
Материал из Wiki
Содержание |
Функциональная верификация
Книги
- Bruce Wile, John Goss, Wolfgang Roesner Comprehensive Functional Verification. The Complete Industry Cycle (Systems on Silicon) — USA: Elsevier, 2005. — 676 с. — ISBN 0-12-751803-7.
- В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. Описан язык PSL.
- Ilya Wagner, Valeria Bertacco Post-Silicon and Runtime Verification for Modern Processors — 2010.
Статья
Ссылки
План стажировки
FPGA
- Введение:
- Что такое ПЛИС? Области применения.
- Обзор САПР ( Quartus ).
- Базовые цифровые узлы:
- Узлы комбинаторного типа:
- Базовые логические элементы.
- Шифраторы/Дешифраторы.
- Мультиплексоры/Демультиплексоры.
- Компараторы.
- Сумматоры.
- Умножители.
- Узлы последовательного типа:
- Триггеры.
- Сдвиговые регистры.
- Двоичные/недвоичные счетчики.
- Конечные автоматы.
- Узлы комбинаторного типа:
- Запоминающие устройства/память ПЛИС:
- Статическая и динамическая память.
- Однопортовая/двухпортовая память.
- FIFO / стек.
- Изучение языка Verilog:
- Отличительне черты языков описания аппаратуры ( HDL ).
- Синтезируемые/несинтезируемые конструкции языка.
- Изучение синтезируемых конструкций языка:
- Типы данных и способы их представления.
- Операции, блокирующие/неблокирующие операции присваивания
- Управляющие конструкции.
- Блоки описания узлов комбинационного типа.
- Блоки описания узлов последовательного типа.
- Структурное/поведенческое описание проекта.
- Параметризация.
- Реализация на Verilog базовых цифровых узлов.
- Изучение несинтезируемых конструкций языка ( +SystemVerilog ):
- Применение несинтезируемых конструкций языка. Верификация. Testbench. Основные принципы создания testbench.
- Основные функциональные блоки testbench'ей.
- Типы данных. Блоки процедурного типа.
- Структуры данных для верификации ( массивы, очереди и т.д. ).
- Функции и tasks.
- Временная модель симуляции.
- Использование базовых принципов ООП для верификации.
- SystemVerilog Assertions.
- Создание testbench для базовых цифровых узлов.
- Обзор существующих методологий ( библиотек ) верификации.
MCU
Теория: 1. Микроконтроллеры. Сущность, классификация, область применения. 2. Управление микроконтроллером: регистры. Шина памяти, организация памяти. 3. GPIO. Сущность, область применения, способы подключения. 4. Шина SPI. Принцип работы, область применения. 5. Шина I2C. Принцип работы, область применения. 6. UART/USART. Принцип работы, область применения. 7. Прерывания. Принцип работы, преимущества, недостатки, область применения. Вектор прерываний. 8. Системный таймер. 9. Таймеры. Широтно-импульсная модуляция. 10. АЦП. 11. ЦАП. 12. DMA-контроллер. 13. USB. Общие принципы работы, классификация режимов работы. USB-дескрипторы. Описание транзакций.
Практика: 1. Язык программирования C. Основы. 2. Знакомство с платой Steamer. 3. Чтение схем. 4. Простейшая программа на Steamer. ( Работа со светодиодом ) 5. Заливка программы в микроконтроллер. ( при помощи JTAG, USB ) 6. Отладка программ при помощи JTAG. 7. Сборка проекта: gcc, ld, make. 8. Использование внешних библиотек. Приложение, реализующее интерфейс с USB. 9. Использование операционных систем. (на примере NutOS). Потоки выполнения (threads). Пример многопоточного приложения. 10. Семафоры, mutex'ы. Доступ к разделяемым ресурсам микроконтроллера.
Про курсовую в двух словах: Устройство на базе Steamer ( + плата расширения с FPGA и PHY ), которое имеет следующую функциональность: 1) Может отправлять любые данные от PC через USB в Ethernet. 2) Может принимать данные из Ethernet, применять простейшие фильтры и отправлять отфильтрованные данные на PC. 3) На STM имеется простейший сетевой стек ( может пинговать/пинговаться ). 4) Всякая обвязка по мелочи. Типа собирать статистику, моргать статусными диодами.
Пример красивой таблички
Featured sites
Who Comments? - a biographical database of opinion journalism in the United Kingdom
Food Finds, "the wiki of good eats" - recommended eating establishments around the world
Dati e gestione dell'acqua in Italia - a directory of water-management companies in Italy (in Italian)