Сколковская школа синтеза цифровых схем

Спонсоры мероприятия

       

 

Полный план трех секций деловой программы на выставке ChipEXPO-2021
 

Мы представляем три секции для различных уровней знакомства с
проектированием цифровых микросхем:

1. Школа синтеза цифровых схем. Предназначена для аудитории продвинутых
школьников и младших студентов, которые хотят попробовать современную технологию проектирования микросхем в массовых устройствах: синтез из кода на языке описания аппаратуры Verilog. Для реализации схем используются реконфигурируемые микросхемы ПЛИС/FPGA, но те же самые методы применимы и для создания фиксированных микросхем ASIC, которые производятся на фабрике и становятся сердцем смартфонов и игровых приставок, автомобильной и промышленной электроники. Помимо школьников и
студентов секция может быть полезна преподавателям физматшкол и руководителям куржков электроники, которые интересуются внедрением преподавания ПЛИС в дополнение к упражнениям с микроконтроллерами и роботикой.


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


2. Микроархитектура, верификация и физическое проектирование микросхем.
Этот cеминар для старших студентов и разработчиков cоздан как мостик между университетскими программами и нуждами электронных компаний.Покрывает три области:
1) Элементы микроархитектуры, которые недостаточно описаны в вузовских учебниках, но о которых спрашивают во время интервью на работу.
2) Cовременные методы функциональной верификации на SystemVerilog, которые критичны для проектирования работающих чипов.
3) Открытые маршруты проектирования, которые удобны для оценки физических показателей спроектированых схем в исследовательских
проектах.

3. Продвинутые и экспериментальные методы автоматизации проектирования
микросхем. Серия докладов для исследователей и разработчиков, уже
знакомых с технологиями проектирования. Покрывают формальную верификацию протоколов шин системы на кристалле от Symbiotic EDA и Gisselquist Technology, экспериментальный способ высокоуровневого конструирования конвейера TL-Verilog от компании Makerchip, пакет RVfpga для обучения старших студентов проектировать систему на кристалле от Imagination Technologies, а также презентации от компаний Cadence Design Systems и Siemens EDA / Mentor Graphics, которые входят в топ-3 разработчиков программного обеспечения для проектировщиков микросхем.

 

Для посещения мероприятий 2 и 3 секций необходимо зарегистрироваться на сайте выставки: http://www.chipexpo.ru/programm

 

Секция 1. Школа синтеза цифровых схем.

14 сентября.

 

Из чего строится современная цифровая схема.
Модератор дня: Александр Михайлович Силантьев, преподаватель
Национального исследовательского университета «Московский институт электронной техники» (МИЭТ).

15.00-15.15. Открытие школы. Зачем это нужно? Приветствия.
Александр Биленко, организатор ChipEXPO.
Юрий Панчул, инженер-проектировщик и автор образовательных программ в области микроэлектроники.
Эдмунд Хуменбергер (Edmund Humenberger), президент австрийской компании Symbiotic EDA, специалист по открытым маршрутам проектирования.

15.15-16.00. Лекция: Комбинационная логика и ее описание на языке
Verilog. Теоретический материал переплетается с демонстрацией синтеза для ПЛИС/FPGA в среде Intel® Quartus® Prime Lite Edition. Александр Михайлович Силантьев.

16.00-16.30. Упражнение с логическими элементами
И/ИЛИ/НЕ/ИСКЛЮЧАЮЩЕЕ-ИЛИ, входы которых подсоединены к кнопкам, а выходы к светодиодам платы c ПЛИС.

16.30-17.00. Упражнение с выводом буквы на семисегментный индикатор.

17.00-17.30. Лекция: Последовательностная логика, которая вводит в схемы память и повторения.
Александр Михайлович Силантьев.

17.30-18.00. Упражнение со сдвиговым регистром.

18.00-19.00. Упражнение для плат PisWords, RzRd, OMDAZZ и ZEOWAA с Intel FPGA Cyclone IV: Комбинируем сдвиговый регистр и вывод на семисегментный индикатор буквы: получаем вывод на многоразрядный динамический семисегментный индикатор слова (например имени ученика). Упражнение для платы Terasic DE10-Lite с Intel FPGA MAX10: Комбинируем сдвиговый регистр и вывод букв на статический семисегментный индикатор: получаем вывод бегущей строки (например имени ученика).

19.00-21.00. Дополнительные упражнения и индивидуальные проекты
учеников, с помощью от студентов и аспирантов микроэлектроники от
участвующих университетов: МИЭТ, Черниговского НТУ, МИРЭА, ВШЭ МИЭМ, Иннополиса и Самарского Университета.

15 сентября.

 

Приемы и примеры цифрового проектирования на уровне
регистровых передач.
Модератор дня: Сергей Анатольевич Иванец, декан факультета электронных и информационных технологий, Черниговский национальный технологический университет, Украина.

15.00-15.15. Открытие дня. Что будет после Верилога? Приветствие от Стива Хувера (Steve Hoover), основателя американского стартапа Redwood EDA, создателя платформ Makerchip.com и TL-Verilog.

15.00-15.15. Opening of the day. What is coming after Verilog? A
greeting from Steve Hoover, the founder of a startup Redwood EDA (USA), a creator of Makerchip.com and TL-Verilog platforms.

15.15-15.45. Предисловие к примеру игры: рассказ про генерацию графики на VGA.
Сергей Анатольевич Иванец.

15.45-16.00. Упражнение с рисованием на экране разноцветных квадратов и других статических изображений.

16.00-16.30. Презентация примера графической игры с параллельно
вычисляемыми спрайтами и конечными автоматами для сценария игры.
Демонстрация запуска игры на плате Digilent Basys3 с Xilinx FPGA
Artix-7. Обсуждение модификации игры с помощью добавления новых спрайтов и изменения сценария.
Михаил Коробков, fpga-systems.ru.

16.30-17.00. Упражнение с запуском игры на платах PisWords, RzRd,
OMDAZZ, ZEOWAA и Terasic DE10-Lite.
Сергей Анатольевич Иванец.

17.00-17.30. Предисловие к примеру работы со звуком и светом: рассказ про протоколы SPI и I2S, которые используются в периферийных устройствах: датчике освещения Digilent Pmod ALS, микрофоне Digilent Pmod MIC3 и усилителе Digilent Pmod AMP3. Демонстрация работы датчика освещения. Демонстрация распознавания ноты с помощью измерения периода синусоиды главной гармоники. Для чистого звука период синусоиды можно измерять просто подсчитывая количество тактов (не музыкальных тактов, а тактов 50 MHz генератора на FPGA плате) между моментами пересечения числом, полученным от микрофона, определенного уровня. В качестве
источника чистого звука можно использовать либо синтетический звук с телефона, либо звук флейты или блокфлейты.
Семён Москоленко, РТУ МИРЭА, по руководством Евгения Певцова, директор Центра проектирования и доцента РТУ МИРЭА.

17.30-18.00. Упражнения с генерацией звука или последовательности звуков в ответ на распознанную ноту. Первое упражнение генерирует в ответ ноту,повышенную на определенный интервал от распознанной: на тон, терцию,квинту или октаву, в зависимости от положения переключателей на плате.
Второе упражнение использует конечный автомат, чтобы сгенерировать мажорное или минорное трезвучие, либо простую мелодию типа "Вечерний звон", в тональности распознанной ноты.

18.00-18.30. Упражнение с распознаванием простой мелодии с помощью конечного автомата и выводом результата распознавания на семисегментный индикатор.

18.30-19.00. Упражнение с использованием поворотного энкодера Digilent Pmod ENC для регуляции громкости или высоты генерируемого звука, или, альтернативно, для изменения скорости генерируемой мелодии.

19.00-21.00. Дополнительные упражнения и индивидуальные проекты учеников по изменению игры на VGA и примеров распознавания и генерации звука, c помощью от студентов и аспирантов микроэлектроники от участвующих университетов.

16 сентября.

 

Первый шаг в архитектуру и микроархитектуру современных
процессоров.
Модератор дня — Александр Юрьевич Романов, к.т.н., доцент Московского института электроники и математики им. А.Н. Тихонова (МИЭМ), Национальный исследовательский университет «Высшая школа экономики» (НИУ ВШЭ).

15.00-15.15. Открытие дня. Как научиться проектировать процессоры? Приветствие от Роберта Оуэна (Robert Owen), представителя британской компании Imagination Technologies, которая спроектировала графический процессор PoverVR внутри ранних телефонов Apple iPhone.

15.00-15.15. Opening of the day. Learning to design a system-on-a-chip (SoC) with a real CPU core. Greetings from Robert Owen, Imagination Technologies University Program, the United Kingdom. Imagination Technologies is a company that designed PoverVR, a GPU inside early Apple iPhones.

15.15-16.30. Архитектура: вид процессора с точки зрения программиста. Лекция об ассемблере RISC-V с одновременными упражнениями на симуляторе процессора на уровне инструкций.
Никита Поляков, проектировщик микропроцессоров с архитектурой RISC-V в российской компании Syntacore.

16.30-18.00. Микроархитектура: вид процессора с точки зрения
схемотехника. Лекция по аппаратной организации процессора schoolRISCV, с вариантами одноцикловой и конвейерной микроархитектуры. Демонстрация синтеза процессора и запуск его на платах.
Станислав Жельнио, разработчик микросхем в IVA Technologies.

18.00-19.00. Упражнение по добавлению в процессор инструкции и
верификации с помощью программного теста. Измерение максимальной
тактовой частоты получившегося варианта процессора.
Станислав Жельнио.

19.00-21.00. Дополнительные упражнения и индивидуальные проекты учеников по изменению процессора и интеграции его с периферийными устройствами. С помощью от студентов и аспирантов микроэлектроники от участвующих университетов.

Секция 2. Семинар "Микроархитектура, верификация и физическое проектирование микросхем"

14 сентября.

11:00-11.05. Открытие. Приветствие от Александра Биленко, организатора ChipEXPO.

11.05-11.15. Зачем это нужно? Обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик микросхем (CPU, GPU, Networking) и автор образовательных программ в области микроэлектроники.

11.15-11.50. Что происходит в мировом сообществе создателей открытых маршрутов проектирования микросхем?
Эдмунд Хуменбергер (Edmund Humenberger), президент австрийской компании Symbiotic EDA.
# Маршруты проектирования.

11.15-11.50. The state of the open source chip design union.
Edmund Humenberger, CEO and co-founder of Symbiotic EDA (Austria), an evangelist of the open design flows.
# Design flows.

12:00-12:35. Как организовать конвейер для обработки потока данных с максимальной пропускной способностью, минимальным размером памяти и без чрезмерных временных задержек: двойные буфера, очереди и кредитные счетчики.
Дмитрий Смехов, инженер-разработчик ПЛИС, компании IRQ, ИнСис и Inline Group.
Роман Воронов, Университет Иннополис, под руководством Рафаэля Ильясова, главного инженера электроники Дизайн-центра Университета Иннополис.
# Общая микроархитектура.

12:45-13:20. Методология выделенной реализации сквозных механизмов управления вычислительным процессом в аппаратных икроархитектурах.
Александр Антонов, доцент, к.т.н., Университет ИТМО.
# Маршруты проектирования.

13:30-14:05. Многообразие реализаций очередей FIFO: компромисс между количеством записей и чтений в одном цикле, количеством портов и технологии памяти, пропускной способностью и энергопотреблением.
Сергей Анатольевич Иванец, декан факультета электронных и информационных технологий, Черниговский национальный технологический университет.
# Общая микроархитектура.

14:15-14.50. Использование открытых маршрутов проектирования Qflow и OpenLANE для измерения физических показателей учебных и
исследовательских проектов в микроархитектуре.
Михаил Михайлович Чупилко, старший научный сотрудник, к.ф.-м.н. Иститута системного программирования им. В.П. Иванникова РАН.
Владислав Сафонов, Университет Иннополис, под руководством Рафаэля Ильясова, главного инженера электроники Дизайн-центра Университета Иннополис.
# Маршруты проектирования.

15:00-15:35. Многообразие арбитров и их приложения для разделения
доступа и динамического выделения памяти. Алгоритмы round-robin, с фиксированными или программируемыми приоритетами. Специальные арбитры с множественными грантами и хранением состояния в статической памяти.
Кирилл Федосеев, Университет Иннополис, под руководством Рафаэля
Ильясова, главного инженера электроники Дизайн-центра Университета Иннополис.
# Общая микроархитектура.

15:45-16.20. Верификация не только для верификаторов, часть 1:
использование языка темпоральной логики SystemVerilog Assertions
разработчиком RTL блока для повышения качества, контроля покрытия особых случаев и документирования функциональности.
Рафаэль Ильясов, главный инженера электроники Дизайн-центра Университета Иннополис.
Ярослав Колбасов, старший инженер по верификации интегральных схем, АОНПЦ «Элвис».
# Общая верификация.

16:30-17:05. Введение в кэши: микроархитектура и верификация.
Андрей Воротников, инженер КМ211.
# Микроархитектура и верификация процессоров.

17:15-17:50. Алгоритмы замещения в многосекционных кэшах: когда
применять точный LRU (Least Recently Used), а когда - приближенный.
Николай Терновой, инженер КМ211.
# Микроархитектура и верификация процессоров.

18:00-18:35. На границе с внешним миром: сброс, дребезг и синхронизация ввода в электронных схемах.
Михаил Коробков, FPGA-Systems.ru.
# Приемы RTL.

15 сентября.

11.00-11.15. Открытие и обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик и автор образовательных программ в области микроэлектроники.

11.15-11.50. Высокоуровневая методология TL-Verilog позволяет
конструировать конвейер проще и надежнее.
Стив Хувер (Steve Hoover), основатель американского стартапа Redwood EDA, создатель платформ Makerchip.com и TL-Verilog.
# Маршруты проектирования.

11.15-11.50. A high-level TL-Verilog methodology allows designing a pipeline easier and with fewer bugs.
Steve Hoover, the founder of a startup Redwood EDA (USA), a creator of Makerchip.com and TL-Verilog platforms.
# Design flows.

12:00-12.35. Создание многопортовой памяти из нескольких однопортовых: оптимальное количество банков и минимизация конфликтов с помощью планировщика операций чтения и записи.
Артем Воронов, Университет Иннополис, под руководством Рафаэля Ильясова, главного инженера электроники Дизайн-центра Университета Иннополис.
# Общая микроархитектура.

12:45-13:20. Элементы SystemVerilog которые должен знать каждый
верификатор при написании двайверов и тестов: три вида задержек, сложные структуры данных, очереди и ассоциативные массивы, треды и их синхронизация, DPI и его применения.
Сергей Анатольевич Иванец, декан факультета электронных и информационных технологий, Черниговский национальный технологический университет.
# Общая верификация.

13:30-14:05. Восстановление порядка транзакций после обработки их блоком с переменной латентностью и внеочередными ответами.
Никита Поляков, старший инженер Syntacore.
# Общая микроархитектура.

14:15-14:50. ПЛИС, лицензируемый как soft IP для встраивания в ASIC, на примере Menta eFPGA.
Андрей Воротников, инженер КМ211
# Маршруты проектирования.

15:00-15:35. Работать со связанными списками можно и без процессора: микроархитектура аппаратного блока работы с динамическими структурами в памяти.
Александр Демиденко, ВМК МГУ, под руководством Михаила Сергеевича
Шуплецова, доцент кафедры математической кибернетики, к.ф.-м.н.
# Общая микроархитектура.

15:45-16.20. Верификация не только для верификаторов, часть 2:
использование групп функционального покрытия в SystemVerilog
разработчиком RTL блока для проверки полноты набора тестов,
документирования функциональности и повышения качества средствами
формальной верификации.
Илья Кудрявцев, декан Самарского Университета
# Общая верификация.

16:30-17:05. Консистентность памяти: распространенные модели,
спецификация и верификация ограничений консистентности.
Александр Сергеевич Камкин, ведущий научный сотрудник, к.ф.-м.н,
Институт системного программирования им. В.П. Иванникова РАН.
# Микроархитектура и верификация процессоров.

17:15-18.50. Когерентная кэш-память для многоядерных процессоров:
моделирование и верификация.
Антон Гаращенко, инженер АО НПЦ ЭЛВИС.
# Микроархитектура и верификация процессоров.

18:00-18.25. Приемы измерения и оптимизации динамического
энергопотребления микросхем при проектировании на уровне регистровых передач.
Александр Михайлович Силантьев, МИЭТ.
# Приемы RTL.

16 сентября.

11.00-11.15. Открытие и обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик и автор образовательных программ в области микроэлектроники.

11:15-11:50. Использование промышленного процессорного ядра с
архитектурой RISC-V для обучения проектированию систем на кристалле.
Роберт Оуэн (Robert Owen), консультант по университетским программам компании Imagination Technologies, Великобритания.
# Микроархитектура и верификация процессоров.

11:15-11:50. Using an industrial processor core with RISC-V architecture to teach a system-on-a-chip (SoC) design.
Robert Owen, a University Program Consultant, Imagination Technologies, UK.
# Processor microarchitecture and verification

12:00-12.35. Приемы проектирования и верификации интерфейсов для
обработки потоков данных на основе протокола AXI Stream.
Максим Латыпов, Андрей Стародумов, Университет Иннополис, под
руководством Рафаэля Ильясова, главного инженера электроники
Дизайн-центра Университета Иннополис.
# Обработка потоков данных.

12:45-13.20. Функциональная верификация на SystemVerilog: использования языка взаимосвязанных ограничений полей псевдослучайных транзакций - для генерации интересных сценариев тестирования цифровых схем.
Ярослав Колбасов, cтарший инженер по верификации интегральных схем, АОНПЦ «Элвис».
# Общая верификация.

13:30-14:05. Практический пример функциональной верификация на
SystemVerilog: находим недочеты в примере модуля AXI от компании Xilinx, используя псевдослучайное тестирование, функциональное покрытие и язык утверждений темпоральной логики SVA.
Илья Кудрявцев, декан Самарского университета.
# Общая верификация.

14:15-14:50. Проектирование и верификация блоков соединений модулей в системе на кристалле, с использованием протоколов AXI Lite и AXI Stream.Станислав Жельнио, инженер IVA Technologies.
# Обработка потоков данных.

15:00-15:35. Обзор микроархитектуры систолических массивов для ускорения вычислений машинного обучения и примеры реализации.
Александр Юрьевич Романов, доцент, к.т.н., МИЭМ НИУ ВШЭ, его студенты и аспиранты.
Сергей Пасынков, Университет Иннополис, под руководством Рафаэля
Ильясова, главного инженера электроники Дизайн-центра Университета Иннополис.
# Аппаратное ускорение машинного обучения.

15:45-16:20. Что такое Универсальная Методология Верификации UVM и границы ее применимости.
Ярослав Колбасов, cтарший инженер по верификации интегральных схем, АОНПЦ «Элвис».
Илья Кудрявцев, декан Самарского университета.
# Общая верификация.

16:30-17:05. Верификация процессора RISC-V.
Евгений Примаков, преподаватель МИЭТ.
# Микроархитектура и верификация процессоров.

17:15-17:50. Повышение производительности труда инженера-верификатора за счет использования переносимых тестов на C/C++ на всех стадиях разработки: от автономной верификации блока, подсистемы, системы на кристалле и прототипирования - до готовой интегральной схемы.
Федор Михайлович Путря, начальник отдела верификации АО НПЦ ЭЛВИС.
# Микроархитектура и верификация процессоров.

18:00-18:35. Программы грантов на исследования в области
микроэлектронного проектирования.
Александр Михайлович Силантьев, преподаватель МИЭТ.
# Финансирования исследований.

18:45-19.00. Речь на закрытии.
Александр Биленко, организатор конференции ChipEXPO.


Секция 3. Продвинутые и экспериментальные методы автоматизации проектирования микросхем.


14 сентября.

11:00-11.05. (Общий доклад с секцией 2) Открытие. Приветствие от
Александра Биленко, организатора ChipEXPO.

11.05-11.15. (Общий доклад с секцией 2) Зачем это нужно? Обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик микросхем (CPU, GPU, Networking) и автор образовательных программ в области микроэлектроники.

11.15-11.50. (Общий доклад с секцией 2) Что происходит в мировом
сообществе создателей открытых маршрутов проектирования микросхем?
Эдмунд Хуменбергер (Edmund Humenberger), президент австрийской компании Symbiotic EDA.
# Маршруты проектирования.

11.15-11.50. The state of the open source chip design union.
Edmund Humenberger, CEO and co-founder of Symbiotic EDA (Austria), an evangelist of the open design flows.
# Design flows.

12.00-13.20. Формальная верификация компонент системы на кристалле с интерфейсом AXI.
Презентация от Zipcpu.com / Gisselquist Technology, США.
# Маршруты проектирования.
# Обработка потоков данных.

12.00-13.20. Formal verification of the AXI bus interface logic
connecting the system-on-chip (SoC) components.
Presented by Zipcpu.com / Gisselquist Technology, USA.
# Design flows.
# Data stream processing.

13.30-14.05. Шаблон для создания среды верификации на SystemVerilog с низкими накладными расходами.
Дмитрий Смехов, инженер-разработчик ПЛИС, компании IRQ, ИнСис и Inline Group.
# Общая верификация.

14.15-14.50. Questa Advanced Simulator: [название доклада уточнить - это просто идея названия] Продвинутые методы отладки повышают
производительность труда инженера.
Презентация от Siemens EDA.
# Маршруты проектирования.

14.15-14.50. Questa Advanced Simulator: [название доклада уточняется - это просто идея названия] The advanced debugging techniques increase engineer productivity.
A presentation from Siemens EDA.
# Design flows.

15 сентября.

11.00-11.15. (Общий доклад с секцией 2) Открытие и обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик и автор образовательных программ в
области микроэлектроники.

11.15-11.50. (Общий доклад с секцией 2) Высокоуровневая методология TL-Verilog позволяет конструировать конвейер проще и надежнее.
Стив Хувер (Steve Hoover), основатель американского стартапа Redwood EDA, создатель платформ Makerchip.com и TL-Verilog.
# Маршруты проектирования.

11.15-11.50. A high-level TL-Verilog methodology allows designing a pipeline easier and with fewer bugs.
Steve Hoover, the founder of a startup Redwood EDA (USA), a creator of Makerchip.com and TL-Verilog platforms.
# Design flows.

12.00-12.35. Компиляторы памяти для проектирования микросхем ASIC: построение логических памятей с заданными параметрами из физических, с оптимизацией задержки и энергопотребления.
Александр Михайлович Силантьев, МИЭТ, совместно с компанией Альфа-Чип.
# Маршруты проектирования.

12.45-13.20. Cadence Tensilica: [название доклада уточнить - это просто идея названия] расширяемые процессоры и DSP, оптимизированные для умных сенсоров и автомобильных камер.
Презентация от Cadence Design Systems.
# Маршруты проектирования.

13.30-14.05. [Доклад от компаний по автоматизации проектирования].
# Маршруты проектирования.

14.15-14.50. Calibre Design Solutions: [название доклада уточнить - это просто идея названия] Последний большой шаг маршрута RTL-to-GDSII перед отправкой вашего проекта на фабрику.
Презентация от Siemens EDA.
# Маршруты проектирования.

14.15-14.50. Calibre Design Solutions: [название доклада уточнить - это просто идея названия] The last major step of RTL-to-GDSII flow before sending your design to the fab.
A presentation from Siemens EDA.
# Design flows.

16 сентября.

11.00-11.15. (Общий доклад с секцией 2) Открытие и обзор тем докладов дня.
Юрий Панчул, инженер-проектировщик и автор образовательных программ в области микроэлектроники.

11:15-11:50. (Общий доклад с секцией 2) Использование промышленного процессорного ядра с архитектурой RISC-V для обучения проектированию систем на кристалле.
Роберт Оуэн (Robert Owen), консультант по университетским программам компании Imagination Technologies, Великобритания.
# Микроархитектура и верификация процессоров.

11:15-11:50. Using an industrial processor core with RISC-V architecture to teach a system-on-a-chip (SoC) design.
Robert Owen, a University Program Consultant, Imagination Technologies, UK.
# Processor microarchitecture and verification

12.00-15.00. Практический семинар: Создание процессорного ядра,
реализующего подмножество архитектуры RISC-V, с помощью высокоуровневой методологии проектирования TL-Verilog. Семинар включает лабораторные работы в онлайн-среде Makerchip.com, во время которых студенты добавляют в конвейер процессора байпас (bypass, forwarding) и непрямые переходы, а также стоят кластер из большого количества ядер полученных генератором
WARP-V.
Стив Хувер (Steve Hoover), основатель американского стартапа Redwood EDA, создатель платформ Makerchip.com и TL-Verilog.
# Микроархитектура и верификация процессоров.
# Маршруты проектирования.

12.00-15.00. Building RISC-V using TL-Verilog.

During this workshop, the students will learn how to build a
microprocessor core using TL-Verilog, a new high-level hardware
description language. Unlike regular Verilog that forces a designer to define a pipeline explicitly, with all the details of pipeline control logic, TL-Verilog supports a methodology of pipelining automation that results in better designer productivity, code readability, and fewer bugs. The workshop includes online labs in the Makerchip.com environment, using example code for a microprocessor core that implements a subset of RISC-V architecture. In one lab, the students add
forwarding and indirect branches to the core's pipeline. In another lab, they use a WARP-V code generator to build a cluster with many RISC-V cores.
Steve Hoover, the founder of a startup Redwood EDA (USA), a creator of Makerchip.com and TL-Verilog platforms.
# Processor microarchitecture and verification
# Design flows.

 

 
На сайте выставки в разделе «Деловая программа» (http://www.chipexpo.ru/programm)  открыт прием Заявок на участие в мероприятиях деловой программы. Точное расписание с распределением по дням и часам будет размещено позднее.
В зависимости от эпидемиологической ситуации, деловая программа пройдет в оффлайн формате с трансляцией на онлайн платформу ChipEXPO - онлайн или в онлайн формате на специальном канале в YouTube.
Следите за объявлениями и подписывайтесь на рассылку!!!!

Историческая справка:

Verilog HDL (Hardware Description Language) - это язык текстового описания аппаратуры. Он используется для проектирования, моделирования, верификации цифровых микросхем, плат и систем.

Язык Verilog был разработан в 1984-1985 году Филом Морби (Phil Moorby) во время его работы в компании Gateway Design Automation. Тогда же появился первый Верилог симулятор: Verilog-XL. Позже компанию Gateway купила Cadence Design Systems и в 1990-м сделала Verilog HDL публичным достоянием. В стандартом IEEE-1364-1995, IEEE Standard Hardware Description Language Based on the Verilog(R) Hardware Description Language.

Позднее появилась "расширенная" версия языка - это SystemVerilog, разрабатываемый Accellera (www.accellera.org).

В SystemVerilog упор сделан на верификацию проектов, язык содержит элементы объектно-ориентированного программирования.

Как научиться проектировать, моделировать и верифицировать схемы на Verilog?

Главная проблема изучения этого языка для людей, которые уже умеют программировать: Verilog требует другой ментальной модели вычислений. Не цепочки инструкций, как в классических языках программирования, а параллельно работающие облака комбинационной логики, которые хранят состояния в регистрах последовательностной логики.

Чем раньше мозг подсаживается на Verilog - тем лучше. Это как с игрой на скрипке или профессиональным спортом - виртуозы и олимпийские чемпионы занимаются этим с детства. Но как сделать Verilog интересным для школьника? Простые упражнения с мигающими огоньками на платах ПЛИС/FPGA быстро надоедают, упражнения посложнее, типа конструирования процессоров, требуют слишком многих вложений внимания перед тем, как стать интересными. Упражнения с сенсорами типа датчика освещения сводятся к конструированию конечного автомата для протоколов SPI или I2C на ПЛИС и не показывают все аспекты проектирования схем.

После трех лет экспериментирования со школьниками в Москве, Киеве и Новосибирске был найден универсальный способ для быстрого и интересного введения школьника в Verilog с помощью проектирования видеоигр в железе. На этом примере лучше всего усваиваются концепции параллельности, модульной иерархии, проектирования небольшого конвейерного тракта данных и написания конечного автомата для сценария игры. Базовый вариант можно гибко менять, создавая новые игры.

Автором и энтузиастом проведения таких экспериментов стал Юрий Панчул, - в настоящее время Staff ASIC RTL Design Engineer в компании Juniper Networks (США), а вообще классный специалист в технологиях микросхем. Он регулярно приезжает в Россию и проводит в Зеленограде школы проектирования на Verilog с упражнениями на платах реконфигурируемой логики ПЛИС. Мы связались с Юрием и предложили совместно организовать и провести трехдневную школу цифрового проектирования на Verilog в дни проведения выставки ChipEXPO-2020 в Сколково (15-17 сентября). В этом проекте могут участвовать школьники старших классов (от 9-го и выше) и, если захотят, студенты младших курсов. Школьники до 9-го класса, как правило, недостаточно воспринимают последовательностную логику, хотя мы готовы попробовать с более младшими школьниками, если они пройдут упражнения онлайн-курса, созданного Юрием вместе с РОСНАНО. К реализации проекта приглашены МИЭТ, ВШЭ МИЭМ, ИТМО, МФТИ, ряда университетов и компаний, а в качестве помощников - студенты, аспиранты и учащиеся физико-математических школ, которые уже принимали участие в зеленоградских школах.

Мы планируем заранее написать инструкции для всех, кто будет вести занятия и помогать в их проведении. Мы планируем прежде всего привлекать учеников физико-математических школ и победителей олимпиад, но готовы принять и любых школьников и младших студентов, которые пройдут три части теоретического курса от РОСНАНО перед практическими упражнениями в Сколково, под общим названием "Как работают создатели создатели умных наночипов": «От транзистора до микросхемы», «Логическая сторона цифровой схемотехники», «Физическая сторона цифровой схемотехники». Этот курс необходим, чтобы участники понимали, что они делают, так как время практического курса на мероприятии ограничено, а информация такого рода сразу в голову не укладывается. По предъявлению сертификата об окончания онлайн-курса, мы, организаторы мероприятия, будем готовы бесплатно раздать ограниченное количество FPGA плат, с которыми участники смогут работать дома, до, во время и после мероприятия в Сколково. Для всех остальных, которые захотят пройти курс в "Школе...." мы разместим информацию о том, где можно приобрести платы самостоятельно

Если говорить о степени владения компьютером, то это не так уж и важно, поскольку все будет показываться в интегрированной среде Intel FPGA / Altera Quartus под Линуксом или Windows. Конечно, если кто-то умеет программировать (например на питоне), то это плюс, но не обязательное условие. Мы планируем сделать трехдневную школу для одного состава, скажем 20 - 40 человек - или больше, если будет много помощников. Параллельно с этим мы можем делать каждый день обзорные лекции для широкой аудитории онлайн посетителей - вплоть до 200 человек, если столько наберется. Опыт таких лекций был подтвержден в университете Иннополис - см. Часть 1 и Часть 2

 
Если Вы не хотите (или не можете) стать участником "Школы", можно просто посетить лекции и практические занятия.
Зарегистрироваться для посещения "Школы" можно здесь, заполнив и отправив форму ниже:  
Контактные данные