Участник:ANA/Библиотека — различия между версиями

Версия 08:27, 25 декабря 2013

Функциональная верификация

Книги

• 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.

Статья

Ссылки

• Обзор популярности HDL для верификации.

План стажировки

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) Всякая обвязка по мелочи. Типа собирать статистику, 
      моргать статусными диодами.

Пример красивой таблички

NEW

• Dybinin, John Rohner, Korobko, Maxmax, Екатерина Устилко, Кенть Павел, Людмила, Роман Видюков, Романовский, Станчик Анастасия, Тараренко

1. Dybinin
2. John Rohner
3. Korobko
4. Maxmax
5. Екатерина Устилко
6. Кенть Павел
7. Людмила
8. Роман Видюков
9. Романовский
10. Станчик Анастасия
11. Тараренко

• Dybinin, John Rohner, Korobko, Maxmax, Екатерина Устилко, Кенть Павел, Людмила, Роман Видюков, Романовский, Станчик Анастасия, Тараренко