«Случай — это псевдоним Бога, когда Он не хочет подписываться своим собственным именем.» А. Франс

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

Материал из Wiki
Перейти к: навигация, поиск
м (NEW)
 
(не показаны 6 промежуточных версий 1 участника)
Строка 1: Строка 1:
 
== Функциональная верификация ==
 
== Функциональная верификация ==
 +
 +
=== Книги ===
 +
 
*{{книга
 
*{{книга
 
| автор = Bruce Wile, John Goss, Wolfgang Roesner
 
| автор = Bruce Wile, John Goss, Wolfgang Roesner
Строка 21: Строка 24:
 
| год = 2005
 
| год = 2005
 
}}
 
}}
:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча.
+
:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. Описан язык PSL.
  
 
* {{книга
 
* {{книга
Строка 44: Строка 47:
 
| год = 2010
 
| год = 2010
 
}}
 
}}
 +
 +
=== Статья ===
 +
=== Ссылки ===
 +
* [http://blogs.mentor.com/verificationhorizons/blog/2013/08/19/part-10-the-2012-wilson-research-group-functional-verification-study/ Обзор популярности 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) Всякая обвязка по мелочи. Типа собирать статистику,
 +
      моргать статусными диодами.
 +
 +
 +
 +
 +
== Пример красивой таблички ==
 +
 +
<div style="float: right; vertical-align: top; margin-left: 20px; margin-bottom: 20px; background:#ffdd88; border: 1px solid #ffbb44; width: 250px;">
 +
<div style="background: #ffbb44; padding: 5px 10px 5px 10px; font-size: larger; font-weight: bold;">Featured sites</div>
 +
<div style="padding: 10px;">
 +
'''[http://whocomments.referata.com Who Comments?]''' - a biographical database of opinion journalism in the United Kingdom
 +
 +
'''[http://foodfinds.referata.com Food Finds]''', "the wiki of good eats" - recommended eating establishments around the world
 +
 +
'''[http://acqua.referata.com Dati e gestione dell'acqua in Italia]''' - a directory of water-management companies in Italy (in Italian)
 +
</div>
 +
</div>
 +
 +
== NEW ==
 +
 +
* {{#ask: [[Категория:Группы]] }}
 +
 +
{{#ask: [[Категория:Группы]] |format=ol}}
 +
 +
{{#ask: [[Категория:Группы]] [[Категория:Группы:2013 год]]
 +
|?Creation date
 +
|?Last editor is
 +
|?Modification date}}
 +
 +
 +
{|width="100%"
 +
|-
 +
|style="vertical-align: top; border-right: 2em solid white; "|
 +
<div style="padding: 0em 1em 1em 1em; ">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. '''{{SITENAME}}''' is the common platform for this community.
 +
 +
''You can extend {{SITENAME}}. Make sure that your favourite semantic [[tool]], [[event]], or [[ontology]] is here!''
 +
</div>
 +
 +
<span style="font-size: 130%; color: #005a9c;"> '''Events'''</span>&nbsp;&nbsp;&nbsp;<span style="font-size: 80%; color: #005a9c;">{{Yearly calendar|2012|[Cal. 2012]}} {{Yearly calendar|2013|[Cal. 2013]}}</span>
 +
 +
<div style="padding: 0em 1em 1em 1em; font-size: 90%">
 +
<!-- Find 5 upcoming research events that have some location city given: -->
 +
The next upcoming events:
 +
<nowiki>{{#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=,&nbsp;
 +
| headers=hide
 +
| sort=end date
 +
| searchlabel= <!-- Hide standard "further results" link -->
 +
}}</nowiki>&nbsp; <small>[[Upcoming events|''view all events &hellip;'']]</small></div>
 +
 +
<span style="font-size: 130%; color: #005a9c;"> '''Tools'''</span>&nbsp;&nbsp;&nbsp;<span style="font-size: 80%; color: #005a9c;">{{Release feed|[RSS]|Semantic Web tool|Freshly released Semantic Web tools}}</span>
 +
 +
<div style="padding: 0em 1em 1em 1em; font-size: 90%">
 +
<!-- Find 5 recently released tools: -->
 +
The recently released Semantic Web tools:<br />
 +
<nowiki>{{#ask:
 +
[[:+]]
 +
[[Category:Semantic Web tool]]
 +
| ?version
 +
| ?release date =
 +
| sort = release date
 +
| order = descending
 +
| format = list
 +
| limit = 5
 +
| searchlabel = <!-- Hide standard "further results" link -->
 +
}}</nowiki> <small>[[Tools|''view all tools &hellip;'']]</small></div>
 +
 +
 +
<div style="background: #DDDDDD; padding: 1ex; ">
 +
<span style="font-size: 130%; color: #005a9c;"> '''[[Project:Fighting spam | Task Force Spam Fighting]]'''</span>
 +
 +
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&nbsp;''at''&nbsp;cs.ox.ac.uk) if you need this.
 +
 +
'''The Semantic Web is no place for spam!'''
 +
</div>
 +
 +
<!-- Better no news than outdated ones:
 +
<span style="font-size: 130%; color: #005a9c; "> '''News''' </span>
 +
 +
<div style="padding: 0em 1em 1em 0em; font-size: 90%">
 +
{{:News}}
 +
</div>-->
 +
|style="vertical-align: top; padding: 0.5em; width: 300px; "|
 +
{| style="width: 100%; background: #E4F8B6; "
 +
! style="text-align: left; background: #86ba0c; color: white; padding: 0.2em; font-size: 130%;" | '''Getting started'''
 +
|-
 +
|
 +
* [[Semantic Web|Introduction to the Semantic Web]]
 +
* [[Getting started|Getting started]]
 +
|}<br />
 +
 +
{| style="width: 100%; background: #fdddbb; "
 +
! style="text-align: left; background: #ef7c00; color: white; padding: 0.2em; font-size: 130%;" | '''Community'''
 +
|-
 +
|
 +
* [[Community portals]]
 +
* [[Events]]
 +
* [[People]]
 +
|}<br />
 +
 +
{| style="width: 100%; background: #f5cfe9; "
 +
! style="text-align: left; background: #bd1789; color: white; padding: 0.2em; font-size: 130%;" | '''Technology'''
 +
|-
 +
|
 +
* [[Semantic Web standards]]
 +
* [[Tools]]
 +
* [[Ontology | Ontologies]]
 +
|}<br/>
 +
 +
{| style="width: 100%; background: #bfd6e6; "
 +
! style="text-align: left; background: #005a9c; color: white; padding: 0.2em; font-size: 130%;" | '''Popular Vocabularies'''
 +
|-
 +
|
 +
* People + Organisations
 +
** [[FOAF]], [[HCard]], [[Relationship_Ontology | Relationship]], [[Resume_Ontology | Resume]]
 +
* Places
 +
** [[Geonames]], [[Basic_Geo_Vocabulary | Geo]]
 +
* Events
 +
** [[HCalendar | RDFCalendar]]
 +
* Social Media
 +
** [[SIOC]], [[Review_Vocabulary | Review]]
 +
* Topics + Tags
 +
** [[SKOS]], [[MOAT]], [[HolyGoat]]
 +
* eCommerce
 +
** [[GoodRelations]], [[Creative_Commons_metadata | CC Licensing]]
 +
* More...
 +
** [[Scovo]], [[DOAP]], ...
 +
|}
 +
|}<br/>
 +
 +
 +
== Списки ==
 +
 +
<nowiki>{{#ask: [[Учебное заведение::БГУИР]]
 +
|?Creation date
 +
|?Last editor is
 +
|?Modification date
 +
|?Группа
 +
|?Статус
 +
|?Предмет
 +
|?Учебное заведение
 +
|?слушает курс
 +
}}</nowiki>
 +
 +
{{#ask: [[Учебное заведение::БГУИР]]
 +
|?Creation date
 +
|?Last editor is
 +
|?Modification date
 +
|?Группа
 +
|?Статус
 +
|?Предмет
 +
|?Учебное заведение
 +
|?слушает курс
 +
}}
 +
 +
[[слушает курс::ПЦУСБ]].
 +
 +
{{#set:Группа=013201|Статус=студент|Предмет=ПЦУСБ|Учебное заведение=БГУИР}}
 +
 +
 +
== NEW ==

Текущая версия на 12:28, 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.

Статья

Ссылки

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

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)

NEW

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


  Дата созданияЭто свойство является специальным для данного сайта. Последний редакторЭто свойство является специальным для данного сайта. Дата последней правкиЭто свойство является специальным для данного сайта.
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:
{{#ask: [[:+]] [[Category:Semantic Web tool]] | ?version | ?release date = | sort = release date | order = descending | format = list | limit = 5 | searchlabel = <!-- Hide standard "further results" link --> }} view all tools …


Task Force Spam Fighting

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!

Getting started


Community


Technology


Popular Vocabularies



Списки

{{#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 Студент ПЦУСБ БГУИР ПЦУСБ

ПЦУСБ.



NEW