Участник:ANA/Библиотека
Содержание |
Функциональная верификация
Книги
- 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) Всякая обвязка по мелочи. Типа собирать статистику,
моргать статусными диодами.
Пример красивой таблички
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)
NEW
- Dybinin, John Rohner, Korobko, Maxmax, Екатерина Устилко, Кенть Павел, Людмила, Роман Видюков, Романовский, Станчик Анастасия, Тараренко
- Dybinin
- John Rohner
- Korobko
- Maxmax
- Екатерина Устилко
- Кенть Павел
- Людмила
- Роман Видюков
- Романовский
- Станчик Анастасия
- Тараренко
| Дата созданияЭто свойство является специальным для данного сайта. | Последний редакторЭто свойство является специальным для данного сайта. | Дата последней правкиЭто свойство является специальным для данного сайта. | |
|---|---|---|---|
| Dybinin | 18 мая 2013 13:05:07 | ||
| John Rohner | 18 мая 2013 13:05:32 | ||
| Korobko | 18 мая 2013 13:05:47 | ||
| Maxmax | 18 мая 2013 13:05:54 | ||
| Екатерина Устилко | 18 мая 2013 13:06:09 | ||
| Кенть Павел | 18 мая 2013 13:06:20 | ||
| Людмила | 24 мая 2013 19:03:39 | ||
| Роман Видюков | 25 декабря 2013 08:23:40 | ||
| Романовский | 18 мая 2013 13:06:29 | ||
| Станчик Анастасия | 18 мая 2013 13:06:37 | ||
| Тараренко | 18 мая 2013 13:06:45 |
|
The Semantic Web is the extension of the World Wide Web that enables people to share content beyond the boundaries of applications and websites. It has been described in rather different ways: as a utopic vision, as a web of data, or merely as a natural paradigm shift in our daily use of the Web. Most of all, the Semantic Web has inspired and engaged many people to create innovative semantic technologies and applications. Wiki is the common platform for this community.
You can extend Wiki. Make sure that your favourite semantic tool, event, or ontology is here! Events Шаблон:Yearly calendar Шаблон:Yearly calendar The next upcoming events: {{#ask: [[end date::>{{CURRENTYEAR}}-{{CURRENTMONTH}}-{{CURRENTDAY}}]] [[Category:Research event]] [[Category:Stand-alone event]] [[has location city::+]] | ?has location city | ?start date | limit=5 | format=list | template=Show event | link=none | sep=, | headers=hide | sort=end date | searchlabel= <!-- Hide standard "further results" link --> }} view all events … Tools Шаблон:Release feed The recently released Semantic Web tools: The site has been hit by several waves of spam recently, and measures are now taken to reduce/stop further spam and vandalism. However, human help is needed to clean up existing spam, to block spammer accounts, and to restore destroyed content. Please help us by deleting spam links as you see them. Spam fighters can get additional user rights (deletion, IP range block, etc.): please contact Markus Krötzsch (markus.kroetzsch at cs.ox.ac.uk) if you need this. The Semantic Web is no place for spam! |
|
Списки
{{#ask: [[Учебное заведение::БГУИР]]
|?Creation date
|?Last editor is
|?Modification date
|?Группа
|?Статус
|?Предмет
|?Учебное заведение
|?слушает курс
}}
| Дата созданияЭто свойство является специальным для данного сайта. | Последний редакторЭто свойство является специальным для данного сайта. | Дата последней правкиЭто свойство является специальным для данного сайта. | Группа | Статус | Предмет | Учебное заведение | Слушает курс | |
|---|---|---|---|---|---|---|---|---|
| ANA/Библиотека | 25 декабря 2013 08:28:23 | 13201 | Студент | ПЦУСБ | БГУИР | ПЦУСБ | ||
| Dengto | 25 декабря 2013 08:10:07 | 13201 | Студент | ПЦУСБ | БГУИР | ПЦУСБ | ||
| Dmitry | 25 декабря 2013 08:10:33 | 13201 | Студент | ПЦУСБ | БГУИР | ПЦУСБ | ||
| Vasiliy Torubarov | 25 декабря 2013 08:16:16 | БГУИР | ||||||
| Vladimir Kaltovich | 25 декабря 2013 08:04:42 | 13201 | Студент | ПЦУСБ | БГУИР | ПЦУСБ | ||
| You rock | 25 декабря 2013 08:07:23 | 13202 | Студент | ПЦУСБ | БГУИР | ПЦУСБ | ||
| Виталий | 25 декабря 2013 08:19:38 | 13201 | Студент | ПЦУСБ | БГУИР | ПЦУСБ |
