19.04.2016 18:59
ishevchuk 48 14100 Источник
Всем привет!

Иногда начинающие разработчики не очень хорошо представляют, какую литературу надо читать для серьезного изучения того или иного языка.

Разработка под FPGA — это не просто какой-то язык. Это очень объемная область, с огромным количеством подводных камней и нюансов.

В этой статье вы найдете:
  • список тем, которые должен освоить начинающий разработчик под FPGA
  • рекомендуемую литературу по каждой из тем
  • набор тестовых вопросов и лабораторных работ
  • классические ошибки новичков (и советы по исправлению)

Добро пожаловать под кат!

Что надо знать и уметь


Цифровая схемотехника


Необходимо:
  • знать базовые цифровые узлы (логические элементы И/ИЛИ/НЕ, шифраторы, мультиплексоры, суммматоры и пр.)

Литература:
  • David Harris, Sarah Harris. «Digital Design and Computer Architecture» — очень большая книга, рассказывающия от азовов до верхов. Есть версия на русском языке. Я просмотрел русскую версию: читается очень быстро и легко.
  • Угрюмов Е.П. «Цифровая схемотехника» — классический советский учебник, со всеми вытекающими последствиями (некоторые темы объяснены слишком сложно, и нельзя сразу понять нужна ли тебе эта информация сейчас или можно её пропустить). Я читал более старое издание, возможно в издании от 2010 года всё изменилось в лучшую сторону, не смотрел.

Тестовые вопросы:
  1. Чем цифровая схемотехника отличается от аналоговой?
  2. Какие есть базовые цифровые узлы? В каких из них выход зависит только от входа?
  3. Что такое мультиплексор? Нарисуйте схему мультиплексора 4 в 1 из примитивных элементов И/ИЛИ/НЕ.
  4. Постройте таблицу истинности для выражения: X = A or ( B and C ) or D.

Синтаксис HDL-языка


Сюда входит:
  • знание синтезируемых конструкций (синтаксиса) HDL-языка
  • знание, как описывать базовые цифровые узлы с помощью HDL-языка
  • понимание во что (со стороны базовых цифровых узлов) превращается тот или иной кусок HDL-кода
  • умение писать на HDL-языке для получения нужного поведения

В качестве HDL-языка я рекомендую сначала изучить самые базовые конструкции Verilog'a, а затем переключится на SystemVerilog.

Литература:
  • Pong P. Chu. «FPGA prototyping by Verilog examples» — расписывается Verilog, начиная с азов. Подробно разбирается синтаксис и есть огромное количество примеров, как простых (счетчики), так и уровнем повыше (UART и VGA).
  • Иосиф Каршенбойм. «Краткий курс HDL» — классический курс на русском языке.
  • www.asic-world.com — сайт с кучей примеров как по Verilog, так и по SystemVerilog.
  • David Harris, Sarah Harris. «Digital Design and Computer Architecture» (см. выше)
  • Stuart Sutherland. «SystemVerilog for Design» — книга про различия Verilog и SystemVerilog. Для чтения необходимы базовые знания Verilog'a. Рекомендуется к прочтению для понимания, какие удобства были внесены в новом стандарте.

Тестовые вопросы:
  1. Чем блокирующие присваивание отличается от неблокирующего? Когда стоит применять одно, когда другое?
  2. Есть ли разница между следующими тремя описаниями? Если да, то в чём она проявляется? 
    // code 1:
assign a = b + c;

// code 2:
always @( b or c )
  begin
    a = b + c;
  end

// code 3:
always @( * )
  begin
    a = b + c;
  end


Тестовые задания:
1. Нарисуйте схему из базовых цифровых узлов для следующего кода:
Скрытый текст
module test(
  input              clk_i,

  input              a_i,
  input        [2:0] b_i,

  output reg         x_o

);

reg [7:0] cnt = 8'd0;
reg [7:0] cnt2;

wire      c;
reg       d;

always @( posedge clk_i )
  cnt <= cnt + 1'd1;

always @(*)
  begin
    cnt2 = cnt + 1'd1;
  end

assign c = ( cnt < 8'd5 ) && ( a_i == 1'b0 );

always @( posedge clk_i )
  begin
    d   <= c;
    x_o <= c ? ( d ) : ( cnt2[ b_i ] ); 
  end

endmodule


2. Нарисуйте поведение схемы из п.1 (т.е. состояния всех «переменных») при следующих входных воздействиях:


Скрытый текст
Времянки нарисованы с помощью онлайн-редактора WaveDrom.


3. Напишите модуль для управления светофором, который будет зажигать красный, желтый и зеленый фонари во всем известной последовательности: красный, красный и желтый, зеленый, зеленый моргает, желтый, красный. Параметры, задающие время горения фонарей светофора и период мигания зеленого фонаря являются параметрами модуля. Время задается в количестве тактов синхросигнала clk_i.

Интерфейс модуля:
Скрытый текст
module traffic_light(
  // cинхроимпульс
  input  clk_i,

  // асинхронный сброс
  input   rst_i,

  // Если 1, то горит соответствующий цвет, если 0 — то он не горит
  output  red_o,
  output  yellow_o,
  output  green_o
);


Симулирование и верификация HDL-кода


Необходимо:
  • знать несинтезируемые конструкции Verilog'a и SystemVerilog'a
  • уметь написать простой тестбенч, запустить его в симуляторе (например, ModelSim)
  • понимать, как должен быть устроен «идеальный» тестбенч

Литература:
  • testbench.in — огромное количество примеров верификации с использованием Verilog'a и SystemVerilog'a.
  • Chris Spear. «SystemVerilog for Verification» — хорошая, большая книга о верификации с помощью SystemVerilog. Читается легко, можно найти ответы на многие вопросы.

Видеоуроки:

Тестовые вопросы:
  1. Чем function отличается от task?
  2. Представим, что Вы написали максимально простую HDL-модель 5-стадийного RISC-процессора. Как будете её верифицировать? (Вопрос повышенной сложности).
  3. Чем различается queue от mailbox (типы данных в языке SystemVerilog)?
  4. Чем отличается функциональная симуляция от временной? Когда какую необходимо использовать?


FPGA


Необходимо:
  • знать из каких базовых элементов состоит FPGA
  • понимать как происходит workflow разработки под FPGA
  • интуитивно представлять какие операции для FPGA дешевые, а какие дорогие (по частоте и ресурсам)

Я работаю с чипами Altera, поэтому здесь и дальше название семейств и утилит будет от этого вендора. Если вы знаете аналогичную литературу для Xilinx — напишите в личку или в комментариях — я обязательно добавлю её в статью.

Литература:

Видеоуроки:

Тестовые вопросы:
  1. Чем отличается FPGA от ASIC? Из каких блоков состоит (или может состоять) FPGA?
  2. Попробуйте очертить круг задач, для которых хорошо (экономически целесообразно) использовать FPGA, а для каких MCU и CPU?
  3. Какие аппаратные блоки вы знаете? Для чего они используются? (Под аппаратными блоками здесь имеется в виду Hard IP).
  4. В семействе Y используется LUT с тремя входами и одним выходом. Какое минимальное количество LUT'ов надо для вычисления assign eq = ( a == b );, если a и b это 32-битные целые положительные числа? А если у LUT'a будет четыре (пять, шесть) входов?
  5. Необходимо создать одну-портовую память из 16 слов. Каждое слово шириной 100 бит. Сколько блоков M9K (9216 бит) будет занято? Считаем, что делаем проект под Cyclone III. (*)

В вопросах, обозначенных (*) , разумеется, не надо помнить всё наизусть, а можно пользоваться даташитами.

Синхронный дизайн и всё, что связано с таймингами


Необходимо:
  • знать принцип синхронного дизайна
  • знать к каким отрицательным последствиям могут привести те или иные схемы
  • иметь понятие о констрейнах

Литература:

Тестовые вопросы:
  1. Что такое timing constraints (констрейны)? Где они описываются и для чего нужны (для чего они используются)? Что будет, если их не описать?
  2. Что такое clock domain crossing? Как и когда надо его осуществлять?
  3. В чем разница между синхронным и асинхронным сбросом? Что будет если на вход синхронного сброса завести асинхронный сброс?
  4. Что такое latch (защелка, латч)? Какие последствия использования латча? Приведите пример кода, который создает латч.
  5. Что такое комбинационная петля? Какие последствия использования комбинационной петли?
  6. Что такое метастабильность? Как её достичь? Какие у неё есть плюсы и минусы?
  7. Что такое glitch (глитч)? Нужно ли с этим бороться? И если да, то где и как?
  8. Что такое setup time/hold time у D-триггера?


САПР


Необходимо:
  • уметь создавать проект
  • уметь описывать I/O пины и констрейны (хотя бы для простых ситуаций, без сложных I/O интерфейсов)
  • знать какие есть отчеты о сборке, какая информация содержится в каждом из них
  • уметь пользоваться инструментом для отладки на железе
  • уметь пользоваться инструментом для анализа таймингов (STA)
  • знать какие готовые IP-ядра/модули (FIFO, RAM, FFT, DDR, Ethernet и т.д.) предоставляет вендор и как их можно добавить в проект

Литература:

Видеоуроки:


Тестовые вопросы:
  1. Какие этапы сборки происходят от нажатия на кнопку «Собери проект полностью» до получения готового бинарного файла? Что происходит на каждом из этапов?
  2. Как посмотреть удалось ли САПР'у уложить проект в заданные ограничения (констрейны)?

Лекции и лабораторные


Я два семестра читал курс «Разработка под FPGA» для студентов старших курсов университетов Санкт-Петербурга. В курс входили как лекции, так и набор лабораторных работ. Лекции основывались на литературе, которую была перечислена выше.

План курса:
Скрытый текст
Введение:
  * Что такое ПЛИС? Области применения.
  * Обзор САПР ( Quartus ).

Изучение языка Verilog:
  * Отличительне черты языков описания аппаратуры ( HDL ).
  * Синтезируемые/несинтезируемые конструкции языка. 

  * Изучение синтезируемых конструкций языка:
    * Типы данных и способы их представления.
    * Операции, блокирующие/неблокирующие операции присваивания
    * Управляющие конструкции.
    * Блоки описания узлов комбинационного типа.
    * Блоки описания узлов последовательного типа.
    * Структурное/поведенческое описание проекта.
    * Параметризация.
    * Реализация на Verilog базовых цифровых узлов.

  * Изучение несинтезируемых конструкций языка ( +SystemVerilog ):
    * Применение несинтезируемых конструкций языка. Верификация. Testbench.
      Основные принципы создания testbench.
    * Основные функциональные блоки testbench'ей.  
    * Типы данных. Блоки процедурного типа.
    * Структуры данных для верификации ( массивы, очереди и т.д. ).
    * Функции и tasks.
    * Временная модель симуляции.
    * Использование базовых принципов ООП для верификации.
    * SystemVerilog Assertions.
    * Создание testbench для базовых цифровых узлов.
    * Обзор cуществующих методологий ( библиотек ) верификации.



Названия лекций (в 2015 году):
  1. Введение в FPGA.
  2. Внутреннее устройство FPGA.
  3. Введение в Verilog/SystemVerilog. Примеры описания различных типов логики.
  4. Синхронный дизайн. Создание простых тестбенчей.
  5. Описание FSM, массивов и структур в SystemVerilog. Память: создание с помощью Verilog и MegaWizard.
  6. Как работает DCFIFO. Static Timing Analysis. TimeQuest, constraints.
  7. Верификация: coverage, assertions, SystemVerilog interfaces
  8. Интерфейсы семейства Avalon. IP-Cores. Qsys.
  9. Верификация: SystemVerilog OOP, constrained-random tests.


Слайды к лекциям
Скрытый текст
К сожалению, это именно СЛАЙДЫ, которые мне помогали рассказывать лекции (не вся информация курса содержится на слайдах, некоторые я использовал как опору, а материал давался на доске).

Иногда будут видны картинки, которые никак не связаны с соседними (например, задания для тестов, которые давались на лекциях).

Лабораторные работы:

Классические ошибки


В этой части статьи я расскажу о типичных ошибках, которые допускают начинающие разработчики, и дам советы по их устранению.

Путаница в присваиваниях (блокирующие и неблокирующие)


Симптомы:
  • вы не очень уверено ответили на вопрос о блокирующих и неблокирующих присваиваниях (см. выше)
  • вы за собой замечаете, что в случайном порядке меняете "=" на "<=" (и наоборот), надеясь, что заработает
  • симулятор показывает странные вещи, вы начинаете сомневаться, что понимаете как работает D-триггер
  • результаты симуляции стабильно не совпадают с тем, что происходит на железе (где-то что-то плывет на такт)

Лечение:
  • разобраться в материале по Verilog (см. литературу выше)
  • если вы хотите, чтобы результат симуляции совпадал с тем, что будет синтезировано и воплощено на железе, то запомните простое правило: в блоках, где описывается комбинационная логика (always_comb, always @(*)) вы обязаны использовать только блокирующие присваивания (=). В блоках, которые описывают триггеры (always_ff, always @( posedge clk… )) вы обязаны использовать только неблокирующие присваивания (<=).


Проблема в таймингах


Симптомы:
  • результаты симуляции не совпадают с тем, что происходит на железе
  • железо работает нестабильно: иногда явно видны помехи (например, на VGA)
  • «я добавил сигналтап, и после этого схема перестала корректно работать, я убрал сигналтап и всё хорошо»

Лечение:
  • прописать все необходимые констрейны, (как минимум используемую тактовую частоту (или частоты) в *.sdc файле), подключить этот файл в проект
  • перекомпилировать проект. Зайти в TimeQuest и посмотреть, есть ли отрицательные слаки, и если есть, то дальше разбираться почему это происходи (возможно, достаточно покрутить настройки в Quartus'e, или придется переписывать куски код).

Если вы видите странности в SignalTap, то перепроверьте, синхронны ли те сигналы, которые вы снимаете с частотой «стробирования».

Не соблюдение принципов синхронного дизайна (асинхронщина)


Продолжение первого пункта, но я решил его выделить отдельно.

Симптомы аналогичные с предыдущим пунктом.

Почему-то многие любят делать вот так:
// BAD EXAMPLE
...
  input clk_i,
  ...

logic [7:0] sec_cnt;
logic [7:0] min_cnt;

logic       last_sec_value;

assign last_sec_value = ( sec_cnt == 8'd59 );

always_ff @( posedge clk_i )
  if( last_sec_value )
    sec_cnt <= 'd0;
  else
    sec_cnt <= sec_cnt + 1'd1;

always_ff @( posedge last_sec_value )
  min_cnt <= min_cnt + 1'd1;


Т.е. в качестве входного сигнала на триггере min_cnt используется другой сигнал, чем синхроимпульс clk_i. Он формируется комбинационной логикой (выходом компаратора).

Или вот так:
// BAD EXAMPLE
...
  input clk_a_i,
  input clk_b_i,
...

logic [7:0] cnt_a;
logic [7:0] cnt_b;
logic [7:0] sum;

always_ff @( posedge clk_a_i )
  cnt_a <= cnt_a + 1'd1;

always_ff @( posedge clk_b_i )
  cnt_b <= cnt_b + 1'd1;

always_ff @( posedge clk_b_i )
  sum <= cnt_a + cnt_b;


На вход триггера sum приходит выход комбинационной логики, вход у которой питается от разных тактовых сигналов.

Оба примера ошибочны, никогда так не делайте! Эти примеры — явное нарушение правил синхронного дизайна.

Я догадываюсь, что это всё идет из 2000х, когда чипы были маленькими и разработчики выживали как могли.
Скорее всего на маленьких частотах (типа 1 МГц) это прокатывало, но если вы собираетесь попасть в команду, которая делает серьезные вещи на топовых чипах, то за такие трюки можно легко вылететь со стажировки.

Лечение:
  • пройтись по всему проекту, выписать (на бумажку) какой тактирующий клок (сигнал) используется для каждого триггера.
  • понять как это число можно свести к минимальному количеству (в разумных пределах, разумеется), исправить код согласно правил синхронного дизайна.
  • пройтись по всему проекту и внимательно отследить как происходит clock domain crossing (т.е. переход данных со одной частоту на другую). Исправить, если он происходит некорректно.
  • выполнить все шаги из пункта «Проблема в таймингах».


Постоянная отладка на железе (игнорирование симуляции)


Вы допускаете эту ошибку, если разработка выглядит так:
  • редактирование HDL-файла
  • компиляция полного проекта
  • прошивание бинарника на плату
  • подключение с помощью SignalTap, просмотр нужных сигналов
  • понимание ошибки, переход в п.1

Почему это плохо:
  • с помощью SignalTap вы не можете посмотреть все-все-все сигналы, если у вас большой проект
  • вы отнимаете своё время, или время работодателя, при компиляции полного проекта, т.к. это может занимать значительное время. На маленьких чипах, это занимает 5-10 минут, и можно типа забить и пойти в это время покурить/попить чай/поиграть в кикер, но на больших проектах это вам выйдет боком.
  • нужна рабочая плата под рукой
  • у вас нет уверенности, что изменения в коде рабочие и не сломают что-то другое

Лечение:
  • написать тестбенч для всего проекта, либо для его частей
  • добиться корректной работы в симуляции
  • собрать проект, проверить на плате

Если что-то не заработает на железе, то:
  • пройтись по пyнктам, обозначеным выше (тайминги и асинхронщина)
  • если проблемы в таймингах нет, то пытаться понять при каких входных воздействиях это происходит
  • подать эти воздействия в симуляции, убедиться, что проблема воспроизводится
  • исправить ошибку в RTL-коде, проверить в симуляции и на железе
  • обязательно: сделать вывод, почему предыдущий вариант симуляции не смог отловить эту ошибку


Нет правил разработки (+ код с запашком)


Симптомы:
  • вы много времени тратите на чтение (разбор) кода, который написали вчера.
  • вы часто пишите однотипный код (самые популярные клавиши на вашей клавиатуре это Ctrl+C и Ctrl+V)
  • вы не можете разобраться в том коде, который написал коллега (если вы работаете вместе над одним модулем/IP-ядром), а он — в вашем.

Лечение:
  • ознакомиться с литературой, которая рассказывает как надо писать хороший код, например, Макконнелл. «Совершенный код»
  • разработать и описать правила разработки для команды. Или использовать готовые: NetFPGA, обсуждение на electronix #1, обсуждение на electronix #2, или тот, который использую я.
  • отдайте свой код на ревью более опытным разработчикам. Об этом можно попросить на форуме electronix'a в соответствующем разделе. Разумеется, желательно, что-то более серьезное, чем моргание светодиодов, иначе вас просто не поймут :).

Заключение


Надеюсь, что в этой статье я раскрыл, что надо читать и знать для вхождения в мир разработки под FPGA.

Уверен, что если Вы:
  • сможете легко отвечать на тестовые вопросы выше (без зазубривания, разумеется)
  • решите правильно лабораторные работы
  • избавитесь от «классических ошибок»
  • оформите 1-2 проекта на гитхабе и проверите их на железе. (желательно, сложнее, чем моргание светодиодиков и часики).

то без проблем сможете претендовать на позицию джуниора в серьезной компании.

Разумеется, этот путь нельзя освоить за одни выходные. Может потребоваться месяц и не один, но этот путь надо пройти, если вы хотите перейти из студенченской FPGA-разработки в профессиональную.

Спасибо за внимание!
Как всегда, буду рад вопросам и замечаниям в комментариях или в личной почте.

P.S.
Иногда мне в личке пишут:
Добрый день.
Я студент 3(4, 5) курса такого-то университета.
Мне нравится идея писать под FPGA (параллелизм, можешь делать что хочешь, бла-бла-бла) и нравится Java (делал простенькие приложения под Android). Хочу чем-то из этим заняться более-менее серьезно. Что советуете учить?

Чаще всего я им предлагаю глянуть две ссылочки (FPGA и JAVA) и самостоятельно сделать выводы.

Комментарии (48)


  1. artemonster
    19.04.2016 22:18
    #8860027
    +1

    Отлично же!
    Спасибо за хороший материал для новичков :) Надеюсь, в наши редкие ряды прибудет пополнение


  1. nerudo
    19.04.2016 22:55
    #8860069
    +5

    Надо же было все так в конце испортить! ;)


  1. nerudo
    19.04.2016 23:04
    #8860093
    +1

    Могу дополнить: У Xilinx с документацией очень удобно работать используя Document Navigator (DocNav) — локальное приложение, которое содержит обновляемую базу данных всех официальных документов, там есть разные категории документов, можно искать, скачивать, хранить несколько разных версий и т.п. Документы несколько более раздроблены, но смысл тот же, что и у альтеры: есть набор документов, посвященных разным функциональным структурам каждого из семейств FPGA, несколько документов, посвященных процедурам САПР (Synthesis, Implementation, Timing Analysis) и т.д.


  1. CodeRush
    19.04.2016 23:40
    #8860141
    +5

    Вот, есть еще торт на Хабре, кто бы что ни говорил!
    Большое спасибо за материал, пригодится обязательно.


  1. kahi4
    19.04.2016 23:50
    #8860161
    +1

    Добрый день, замечательная статья (хотя не уж то нашлось всего три классических ошибки? Например, хоть я и на начальном уровне, но слышал, что ошибкой является так же использование inout портов для чего-либо кроме для физических портов, т.е. для связи между модулями).


    Раз тут такая статья, считаю это отличным местом, чтобы задать сопутствующий вопрос: я отношусь почти к студентам, которые хотят стать… скорее SoC designer, ASIC architector и подобное. Собственно множество вопросов возникает:
    Правильно ли в этом случае сначала выбирать FPGA и изучать хотя бы его основы? Поиск по вакансиям показал, что даже на junior требования очень размазаны, от C++ и, почему-то питона (иногда лиспа) до знания всех подряд интерфейсов, шин, архитектур. Вообще усредненный список знаний пугает. В каком направлении лучше всего двигаться? Какие есть учебные материалы ближе к моему выбору? В конце концов, под это учатся отдельно или как в программировании: сначала ты программист, потом старший программист, а потом уже можешь стать архитектором (не все проходят этот путь и такие архитекторы видны сразу)? Почему решил, что тут можно идти сразу в архитекторы — по наличию inter и junior вакансий у некоторых компаний.


    И стоит ли набирать опыт в виде разработки под arm, avr, x86, etc. на ассемблере (чтобы в тонкостях понимать эти архитектуры) или сконцентрироваться на verilog/vhdl?


    P.S. И почему все и везде лепят матлаб? Я понимаю, что ты не инженер, если не знаешь матлаб, но ума не приложу, как он помогает в проработке архитектуры, а не каких-то конкретных алгоритмов.


    1. ishevchuk
      20.04.2016 00:03
      #8860185
      +1

      Например, хоть я и на начальном уровне, но слышал, что ошибкой является так же использование inout портов для чего-либо кроме для физических портов, т.е. для связи между модулями.

      Всё верно, это является ошибкой. Я про неё не написал, потому что про нее забыл. Просто давно такого не видел (исходя из того, что выкладывают на хабре, на электрониксе и того, что сдавали мне студенты). Хотя, пожалуй, стоит про это написать. Спасибо.

      SoC designer, ASIC architector

      Интересный выбор профессии.
      Как мне кажется архитектором можно быть только пройдя весь стек от RTL-разработчика до ведущего разработчика и так далее.
      Для корректного ответа на этот вопрос надо сначала написать что должен делать этот человек на работе (его обязанности). (Покажите вакансии, которые смотрели).

      И почему все и везде лепят матлаб?

      Чаще всего матлаб лепят те компании, которые занимаются ЦОС'ом.


      1. kahi4
        20.04.2016 00:11
        #8860199

        Ну например intel (да, замахнулся я неплохо так, но в матушке России с этим вообще печально. Да и компаний, занимающихся разработкой микроконтроллеров и процессоров не так много в принципе).


    1. valeriyk
      20.04.2016 02:50
      #8860293
      +3

      SoC-дизайнер должен знать и уметь и железо, и софт, который будет на нем вертеться. Ни один RTL-дизайнер еще не стал SoC-дизайнером, разрабатывая свистелки по чужим спекам.

      Простейший вопрос, который я задал бы любому, желающему попробовать себя в роли SoC-дизайнера: нарисуй схему айфона и расскажи, где какая пропускная способность шин нужна. И как сделать так, чтоб он работал три дня без подзарядки. И чтоб андроед на нем видео показывал, а не слайд-шоу.


      1. kahi4
        20.04.2016 03:12
        #8860301

        Спасибо за ответ. Т.е. получается, что нужно знать кучу всего и еще немного в присыпку? И не столь важен навык непосредственной реализации RTL, сколько понимание устройства всего, и как это еще должно между собой взаимодействовать? Опять же, не подскажите по литературе?


        Заодно: для себя я пока пытаюсь реализовать какую-то совсем простую и примитивную SoC. В данный момент есть простейший CPU, который даже умеет что-то считать, а так же простой текстовый GPU, ну и самопальная шина (с подсматриванием в сторону wishbone). И я хочу довести это до этапа, что это действительно синтезируется и работает на плате, и что можно скармливать какой-то код, однако что-то перемудрил с режимами адресации, поэтому подзавис на RTL модуля загрузки данных, но отвлекся. Я двигаюсь в правильном направлении или это тупиковая ветвь и начинать стоит все же с своей реализации уже проверенных временем архитектур, например, OpenRISC? (попытка придумать все самому, в том числе ассемблер, очень хорошо вправляет мозги в плане — почему у других сделано так или иначе)


        1. evocatus
          20.04.2016 11:41
          #8860813

          Нет таких книг, нужен опыт.

          Сейчас свои процесорные ядра никто не делает — все берут ARM за редким, редким исключением.
          Поэтому лучше изучать шину AXI4. И I2C.


          1. valeriyk
            20.04.2016 12:01
            #8860863

            Этим и отличается SoC-дизайнер / ASIC-архитектор от инженегров. Он знает, когда использовать ARM (и какой), когда ASIP, когда написать свое ядро. Знает, когда использовать AXI4, а когда можно и AXI3, а когда и AHB пойдет, и когда лучше шину пошире и помедленнее, а когда лучше поуже и побыстрее. Знает, как испортить жизнь своим программистам (например, дать им многоядерный проц с некогерентными кэшами и DMA). Знает, какое IP можно купить на рынке. Знает, как все это должно работать, если надо динамически менять частоту, или выключать питание в части кристалла, и кто будет все это верифицировать.

            Короче, единственный надежный способ — устроиться к кому-то, кто все это уже знает, подмастерьем.


            1. antonsosnitzkij
              20.04.2016 12:09
              #8860891

              kahi4, Если Вы используете altera, то подойдут cookbook'и и guide'ы, они хорошо рассматривают вопросы, как и бесплатные видеотренинги на официальном сайте, где объясняют основы связи между FPGA и SoC, процесс создания проекта и пр.
              так же хорошо подойдет портал rocketboards.org
              Скажите, пожалуйста, а какую плату Вы используете? я сейчас только начал знакомиться с SoC и в качестве учебной получил на выбор Arrow SoCkit, DE1-SoC и DE0-nano-SoC, в прочем, в интернете есть хорошие примеры только на первую и немного на вторую


              1. kahi4
                20.04.2016 12:25
                #8860949

                У самого меня алтера циклон 2 на китайской старой плате. Сейчас думаю обновлять, но не хочу брать готовую SoC, потому что вроде как я сам этим собрался заниматься (комбинировать ip-cores), а не брать готовое, поэтому посматриваю на xilinx kinex 7


              1. VBKesha
                20.04.2016 12:35
                #8860971

                ИМХО для обучения DE1-SoC изначально достаточно разнообразной периферии и есть обычные IDC разъёмы которые спокойно покупаются, что даёт возможность что то своё подключить если потребуется.

                Arrow SoCkit — тоже хороша но HSMC хрен достанешь если что то своё захочется подключить.

                DE0-nano-SoC мало периферии но опять же IDC я бы сказал это больше не для обучения а для прототипирования.


  1. terryP
    20.04.2016 00:28
    #8860213
    +2

    Чаще всего я им предлагаю глянуть две ссылочки (FPGA и JAVA) и самостоятельно сделать выводы.

    Что-то, не понял я какие выводы должен студент сделать из этих ссылок? Вроде по Java и вакансий в десятки раз больше и вилка, похоже, что выше, по тем вакансиям что я вижу. Что-то не совсем понял я этой фишки…


    1. ishevchuk
      20.04.2016 00:39
      #8860223

      Вывод простой: если душа не лежит к электронике и к FPGA, то перспективнее выбирать другую сферу.

      А если и лежит, то надо осознавать, что вакансий в этой сфере не так много даже в больших городах (если мы говорим про Россию, разумеется).


      1. vk2
        20.04.2016 10:45
        #8860685
        +1

        Кстати, если исходить только из подобных соображений, то поступление на прикладную математику и информатику в начале 90-х было бы абсолютно идиотским решением :)


    1. Calc
      20.04.2016 00:40
      #8860233
      +1

      КО mode ON
      При меньшем знании материала и знании JAVA на текущем рынке можно проще получить ЗП в 50к и обучением, нежели знать VGA и получить 50к как специалист.
      КО mode OFF
      Сам имею образование по проектированию устройств и вычислительной технике, знаю тонны RFC и обработки протоколов как программно, так и аппаратно, но зарабатываю на жизнь андройд разработкой (ведущий спец), работаю как главный инженер по VOIP + 1-2 своих проекта с циклом жизни год-два.
      Есть огромное желание изучить FPGA, но рынок и жизнь диктует обратное. Речь об идейности.


  1. valeriyk
    20.04.2016 03:00
    #8860297
    +1

    Мне нравится вопрос «Представим, что Вы написали максимально простую HDL-модель 5-стадийного RISC-процессора. Как будете её верифицировать? (Вопрос повышенной сложности)». Буду спрашивать на собеседованиях.


  1. Shamrel
    20.04.2016 08:11
    #8860399
    +1

    Вот так. Умеете вы опустить человека с небес на землю. «Улыбающийся смайл»
    Замечательная статья. Сжато и в одном месте. Надеюсь будете дополнять.


    1. vk2
      20.04.2016 10:24
      #8860629

      Мечте надо следовать.

      Начинающему можно советовать книгу The Elements of Computing Systems: Building a Modern Computer from First Principles (неформальное название From NAND to Tetris) и соответствующий курс на Курсере: Build a Modern Computer from First Principles.

      Там упрощенный (но настоящий) HDL, собственный hardware simulator на Java, средства прогона тестов и так далее. Начинаете с создания базовой логики, сумматоров-мультиплексоров, потом делаете арифметически-логическое устройство, память, в общем, получается настоящий процессор — для которого вы потом пишете ассемблер и так далее.

      Курс клевый, книга легко читается новичком. Курс пока меньше, чем книга — они его только делают.

      Если понравилось, покупаете дешевую FPGA-платку для начинающих типа Papilio Pro с Logic Wing, скачиваете официально бесплатный Xilinx ISE WebPack, и начинаете реализовывать то, что делали в предыдущем курсе, на нем (книга Intro to Spartan FPGA в помощь; правда, там используется предыдущая плата, но поменять нужно будет только некоторые значения). Про Марсоход тоже нельзя не упомянуть.

      Ну а потом уже можно MIPSfpga вместе с упомянутой выше книгой Дэвида и Сары Харрис; сам проект неоднократно упоминался на Хабре.

      И все получится.


      1. Disasm
        20.04.2016 12:27
        #8860953

        После этого курса реализованный процессор с HDL довольно легко переписывается на Verilog, но вот реализация его на HDL — то ещё веселье.


  1. urock
    20.04.2016 09:51
    #8860489
    +1

    На правах рекламы (но полезной и в тему поста) вот ссылка на наш курс "Введение в программирование ПЛИС Xilinx на языке VHDL".
    Там есть книги, лекции, дз. Базовый курс будет серьезно доработан за лето.


  1. YuriPanchul
    20.04.2016 10:22
    #8860627
    +3

    Хороший пост.

    Дополнения: Вот составленные мною зачеты для студентов, которые я тестировал на куче студентов из Индии в небольшом частном университете в Фримонт, Калифорния, где я помогал читать такие курсы по субботам:

    http://silicon-russia.com/exams_and_quizes/

    Пример одного из вариантов одного из зачета: http://www.silicon-russia.com/2015/03/19/intro-rtl-fpga-verilog-midterm-1-1/


  1. Alexeyslav
    20.04.2016 10:42
    #8860673
    +3

    Где бы еще взять время на это всё? Ни у кого случаем нет свободной машины времени?


  1. antonsosnitzkij
    20.04.2016 11:40
    #8860807

    Добрый день,
    я являюсь подобным студентом, правда имею определенный опыт использования fpga и пару проектов на них
    тоже пользуюсь altera, но вот в качестве языка выбор пал на VHDL
    и соответственно регулярный вопрос: почему Verilog/SV? для себя пока что нашел преимущества в sv:
    — тип данных longint длинной в 128 бит
    — конструкция a = b? c: d
    в остальном vhdl пока кажется приятнее, да и в университете его преподают, однако на многих вакансиях Verilog, и не могу понять: в университете неправы или на производствах неправы или каждый прав


    1. evocatus
      20.04.2016 11:44
      #8860819
      -1

      На verilog писать меньше нужно. И даже он уже неприлично низкоуровневый для текущих задач. Тренд в сторону синтеза C/C++ напрямую в FPGA и схемных редакторов, где единицей дизайна является целое IP-ядро. Сейчас дизайн серьёзных проектов в основном строится на уровне IP-ядер и интерфейсов.


      1. antonsosnitzkij
        20.04.2016 12:21
        #8860929

        -Тренд в сторону синтеза C/C++ напрямую в FPGA и схемных редакторов

        Не имеете ли вы ввиду случаем под схемными редакторами Simulink и последующую компиляцию HDL-кода из него?
        Полагаю, тренд синтеза С/С++ касается опять таки SoCFPGA систем, где это еще как-то разумно использовать


        1. evocatus
          20.04.2016 13:14
          #8861101

          Vivado HLS, например.


        1. evocatus
          20.04.2016 13:15
          #8861103

          Под схемными редакторами я имел в виду IP Block Design в том же Vivado


    1. ishevchuk
      20.04.2016 12:32
      #8860959

      Вы спрашиваете вопрос из традиционного холивара VHDL и Verilog :)

      Мне приятнее SystemVerilog, я знаю, что благодаря ему я более производителен, чем если бы писал на VHDL.

      Предлагаю сделать маленький эксперимент:

      • Зайдите в директорию, где у вас хранится Quartus, а затем в директорию ip/altera.
      • Посчитайте, сколько там Verilog, SystemVerilog и VHDL файлов.

      У меня получилось вот так:
      ish@xmr:~/altera/15.1/ip/altera$ find . -name *.v | wc -l
17006
ish@xmr:~/altera/15.1/ip/altera$ find . -name *.sv | wc -l
6012
ish@xmr:~/altera/15.1/ip/altera$ find . -name *.vhd | wc -l
1321

      Если оставить только с уникальными названиями файлов, то получается вот так:
      ish@xmr:~/altera/15.1/ip/altera$ find . -name *.v -printf "%f\n" | sort | uniq | wc -l
4952
ish@xmr:~/altera/15.1/ip/altera$ find . -name *.sv -printf "%f\n" | sort | uniq | wc -l
2152
ish@xmr:~/altera/15.1/ip/altera$ find . -name *.vhd -printf "%f\n" | sort | uniq | wc -l
1013


      1. antonsosnitzkij
        20.04.2016 13:04
        #8861073

        -я знаю, что благодаря ему я более производителен, чем если бы писал на VHDL.

        Вот насчет этого как раз и не могу найти ни подтверждений ни опровержений, как раз хотелось бы узнать что бы подразумеваете под производительностью VHDL и Verilog (:


        1. JerleShannara
          20.04.2016 17:05
          #8861521
          +2

          Всё банально — для написания одного и того-же модуля на VHDL надо больше символов ввести, чем на *Verilog. Если предположить, что у двух разработчиков одинаковая скорость печати и одинаковые знания их языков (Один гуру в verilog, другой в vhdl), то первый напишет код быстрее.


          1. antonsosnitzkij
            20.04.2016 17:18
            #8861541

            Этого ответа я конечно ждал и, с сожалением, дождался


          1. ishevchuk
            20.04.2016 17:46
            #8861601

            Всё верно.

            P.S. Рекомендую глянуть топик FEC на ПЛИС, где Денис Шехалев (des00) пиарит красоту SV :).


            1. flamehj
              20.04.2016 22:37
              #8862011

              Согласен, SystemVerilog с выходом Vivado можно использовать как синтезируемый язык для новых поколений плис Xilinx (думаю Altera тоже не отстаёт). Он обладает функциональностью VHDL (например, можно прокидывать матрицы между модулями) и краткостью Verilog'а. И как плюс, на нём можно писать мощные тестбенчи, а для ASIC верификации под него есть готовые библиотеки для проведения функционального тестирования и тестирования покрытия кодом (например, UVM).


          1. nerudo
            20.04.2016 17:59
            #8861613

            Это весьма упрощенная модель. VHDL как язык со строгой типизацией позволяет избежать множества досадных ошибок, тем самым сэкономив время на отладке. Да можно говорить, что мы огородились тестами на все случаи жизни и всегда все проверяем досконально, но все же ситуация не столь однозначна. Да и непосредственно печатание кода вряд ли занимает столь значителньое время во всем времени разработки.


            1. JerleShannara
              20.04.2016 18:51
              #8861687

              Согласен с вами, но дальнейшее обсуждение наверняка выльется в очередной VHDL vS Verilog холивар.


              1. nerudo
                20.04.2016 21:04
                #8861927

                Ну а зачем мы тут собрались? ;)


          1. Uint32
            21.04.2016 00:34
            #8862119
            +2

            Всегда завидовал людям, чья производительность ограничивается скоростью набора символов.


  1. hdmi
    20.04.2016 13:51
    #8861165

    Человеческое спасибище.


  1. diafour
    20.04.2016 14:46
    #8861247
    +1

    Большое спасибо за такой шикарный обзорный материал! За wavedrom отдельная благодарность.

    А можете привести примеры вопросов, которые задают уже не junior, а senior-ам на собеседованиях? Чтобы было куда стремиться дальше.


    1. ishevchuk
      20.04.2016 15:53
      #8861379

      Да вопросы такие же на самом деле.

      Про что еще можно спросить:

      • оптимизация (по ресурсам и частоте)
      • конвейеризация
      • нюансы САПР'а (его дополнительные возможности, галочки для оптимизаций, например)
      • внутренние интерфейсы (семейства Avalon, AXI)
      • верификация: UVM SVA, coverage, constrained random tests


      Скрытый текст
      Не факт, что я сам бы без проблем ответил на все вышеперечисленные темы, потому что кое-что не использую каждый день и знаю только «со словарём».

      Плюс чисто RTL-дизайнеру скорее всего не будут задавать вопросы по advanced верификации.


  1. unabl4
    20.04.2016 17:00
    #8861513

    Спасибо за статью, очень интересно.
    Но, как показывает практика, работы с железом в СНГ, постсоветском пространстве очень мало — нет почти ничего.
    Вот так это и остается в лучшем случае, как хобби. :)
    Тем, кто работает в этой сфере — поклон!


  1. k_levin
    21.04.2016 10:40
    #8862455

    где ж была ваша статья 3 года назад?) Очень хорошая подборка, спасибо вам большое, сам освежил некоторые тонкие моменты и младшим коллегам показал.

    И хотел бы задать вопрос. Возможно я что-то упустил, но в своей практике столкнулся с очень ограниченной поддержкой SV конструкций САПРом от альтеры. Если это так, то в чем вы тогда моделируете? Сам я Занимаюсь разработкой ASICов и тут таких проблем нет.


    1. ishevchuk
      21.04.2016 13:44
      #8862855

      Три года назад я сам был джуниором, сорри :)

      SV симулировали в Modelsim, синтезировали родным Квартусом.

      Какие синтезируемые конструкции не работали у Альтеры, а работали для ASIC-синтезатора?


      1. k_levin
        21.04.2016 18:43
        #8863509

        Я сталкивался с двумя проявлениями — inside и динамические массивы. Первое выяснилось в ходе прототипирования модуля, второе случайно сам выяснил. Вообще, нашел вот табличку со списком поддерживаемых конструкций. Есть почти все, но почему-то не упоминаются классы и вещи связанные с constrained random verification.


  1. Fenja
    21.04.2016 19:09
    #8863557

    Может кому-то пригодится. Xilinx Zynq. Много полезной информации почерпнул о нем тут и еще тут