Участник:ANA/Библиотека - История изменений

ANA: /* NEW */

2013-12-25T08:28:23Z

‎NEW

ANA: /* NEW */

2013-12-25T06:16:57Z

‎NEW

ANA: /* NEW */

2013-12-25T04:33:20Z

‎NEW

ANA: /* NEW */

2013-12-25T04:27:44Z

‎NEW

ANA: /* NEW */

2013-12-24T19:09:56Z

‎NEW

ANA: /* Ссылки */

2013-12-07T20:25:21Z

‎Ссылки

ANA в 06:12, 28 августа 2013

2013-08-28T06:12:56Z

ANA в 14:23, 27 августа 2013

2013-08-27T14:23:41Z

ANA: Новая страница: «*{{книга | автор = Bruce Wile, John Goss, Wolfgang Roesner | название = Comprehensive Functional Verification. The Complete Industry Cycle (Syst…»

2013-08-27T14:21:27Z

Новая страница: «*{{книга | автор = Bruce Wile, John Goss, Wolfgang Roesner | название = Comprehensive Functional Verification. The Complete Industry Cycle (Syst…»

Новая страница

*{{книга
| автор = Bruce Wile, John Goss, Wolfgang Roesner
| название = Comprehensive Functional Verification. The Complete Industry Cycle (Systems on Silicon)
| ссылка =
| заглавие =
| оригинал =
| ответственный =
| страницы =
| место =
| город = USA
| издательство = Elsevier
| издание =
| том =
| страниц = 676
| pages =
| allpages =
| серия =
| тираж =
| isbn = 0-12-751803-7
| год = 2005
}}
:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча.

← Предыдущая		Версия 08:28, 25 декабря 2013
Строка 280:		Строка 280:
	\|}		\|}
	\|}<br/>		\|}<br/>
		+
		+
		+	== Списки ==
		+
		+	<nowiki>{{#ask: [[Учебное заведение::БГУИР]]
		+	\|?Creation date
		+	\|?Last editor is
		+	\|?Modification date
		+	\|?Группа
		+	\|?Статус
		+	\|?Предмет
		+	\|?Учебное заведение
		+	\|?слушает курс
		+	}}</nowiki>
		+
		+	{{#ask: [[Учебное заведение::БГУИР]]
		+	\|?Creation date
		+	\|?Last editor is
		+	\|?Modification date
		+	\|?Группа
		+	\|?Статус
		+	\|?Предмет
		+	\|?Учебное заведение
		+	\|?слушает курс
		+	}}
		+
		+	[[слушает курс::ПЦУСБ]].
		+
		+	{{#set:Группа=013201\|Статус=студент\|Предмет=ПЦУСБ\|Учебное заведение=БГУИР}}
		+
		+
		+	== NEW ==

← Предыдущая		Версия 06:16, 25 декабря 2013
Строка 169:		Строка 169:
	\|?Last editor is		\|?Last editor is
	\|?Modification date}}		\|?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>   <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=,
		+	\| headers=hide
		+	\| sort=end date
		+	\| searchlabel= <!-- Hide standard "further results" link -->
		+	}}</nowiki>  <small>[[Upcoming events\|''view all events …'']]</small></div>
		+
		+	<span style="font-size: 130%; color: #005a9c;"> '''Tools'''</span>   <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 …'']]</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 ''at'' 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/>

@@ Строка 162: / Строка 162: @@
 * {{#ask: [[Категория:Группы]] }}
 {{#ask: [[Категория:Группы]] |format=ol}}
-* {{#ask: [[Категория:Группы]] [[Категория:Группы:2013 год]] }}

← Предыдущая		Версия 04:27, 25 декабря 2013
Строка 160:		Строка 160:

	== NEW ==		== NEW ==
		+
		+	* {{#ask: [[Категория:Группы]] }}
		+	{{#ask: [[Категория:Группы]] \|format=ol}}
		+	* {{#ask: [[Категория:Группы]] [[Категория:Группы:2013 год]] }}

← Предыдущая		Версия 19:09, 24 декабря 2013
Строка 145:		Строка 145:


		+
		+	== Пример красивой таблички ==
		+
		+	<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 ==		== NEW ==

← Предыдущая		Версия 20:25, 7 декабря 2013
Строка 51:		Строка 51:
	=== Ссылки ===		=== Ссылки ===
	* [http://blogs.mentor.com/verificationhorizons/blog/2013/08/19/part-10-the-2012-wilson-research-group-functional-verification-study/ Обзор популярности HDL для верификации].		* [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) Всякая обвязка по мелочи. Типа собирать статистику,
		+	моргать статусными диодами.
		+
		+
		+
		+
		+	== NEW ==

@@ Строка 1: / Строка 1: @@
 == Функциональная верификация ==
 *{{книга
 | автор = Bruce Wile, John Goss, Wolfgang Roesner
@@ Строка 21: / Строка 24: @@
 | год = 2005
 }}
-:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча.
+:: В книге описан процесс верификации. Даны примеры верификации калькулятора от тестового плана до тестбенча. Описан язык PSL.
 * {{книга
@@ Строка 44: / Строка 47: @@
 | год = 2010
 }}