ПЦУСБ/Лабораторная работа 3 - История изменений

ANA: /* Задание */

2014-03-06T09:59:04Z

‎Задание

ANA: /* Вариант 3 */

2014-02-06T15:14:49Z

‎Вариант 3

ANA: /* Вариант 1 */ - исправлена таблица переходов

2014-02-06T08:10:53Z

‎Вариант 1: - исправлена таблица переходов

ANA: /* Вариант 3 */ - исправлена таблица переходов

2014-02-06T08:07:25Z

‎Вариант 3: - исправлена таблица переходов

ANA: /* Задание */

2013-12-10T10:50:25Z

‎Задание

ANA: /* Вариант 1 */

2013-12-10T08:43:11Z

‎Вариант 1

ANA: /* Задание */

2013-12-06T11:29:20Z

‎Задание

ANA: /* Пример описания графа в Graphviz */

2013-11-14T18:43:39Z

‎Пример описания графа в Graphviz

ANA: /* Задание */

2013-11-14T18:35:26Z

‎Задание

ANA: /* Варианты заданий */

2013-11-05T18:53:32Z

‎Варианты заданий

@@ Строка 22: / Строка 22: @@
 ## Исходные тексты двух VHDL моделей и тестбенча
 ## Отчет о покрытии кода и автомата (граф и текстовый отчет о покрытии состояний и переходов, полученный в ModelSim)
-##* {{Сн|Выбрать в меню ''Tools → Coverage Report -> Text Report...''}}
+##* {{Сн|Выбрать в меню ''Tools → Coverage Report → Text Report...''}}
 ## Временные диаграммы, включающие входные воздействия, внутренние состояния обоих автоматов, выходы двух автоматов и сигнал Ok (результат сравнения выходов двух моделей).

@@ Строка 135: / Строка 135: @@
 | a<sub>4</sub>/w<sub>5</sub>
 | a<sub>2</sub>/w<sub>3</sub>
-| a<sub>4</sub>/w<sub>3</sub>
+| a<sub>2</sub>/w<sub>3</sub>
 | a<sub>3</sub>/w<sub>3</sub>
 |-

@@ Строка 47: / Строка 47: @@
 |-
 | z<sub>1</sub>
-| a<sub><s>3</s>{{Сн|2}}</sub>/w<sub><s>4</s>{{Сн|1}}</sub>
+| a<sub>2</sub>/w<sub>1</sub>
 | a<sub>2</sub>/w<sub>1</sub>
 | a<sub>1</sub>/w<sub>2</sub>
@@ Строка 54: / Строка 54: @@
 | z<sub>2</sub>
 | a<sub>4</sub>/w<sub>5</sub>
 | a<sub>3</sub>/w<sub>3</sub>
 |-
 | z<sub>3</sub>
-| a<sub>3</sub>/w<sub>5</sub>
+| a<sub>3</sub>/w<sub>2</sub>
-| a<sub>3</sub>/w<sub>4</sub>
+| a<sub>3</sub>/w<sub>3</sub>
 | a<sub>1</sub>/w<sub>4</sub>
-| a<sub>3</sub>/w<sub>1</sub>
+| a<sub>3</sub>/w<sub>5</sub>
 |}
 </center>

@@ Строка 127: / Строка 127: @@
 |-
 | z<sub>1</sub>
-| a<sub>4</sub>/w<sub>4</sub>
+| a<sub>3</sub>/w<sub>4</sub>
 | a<sub>2</sub>/w<sub>1</sub>
 | a<sub>1</sub>/w<sub>2</sub>
-| a<sub>4</sub>/w<sub>4</sub>
+| a<sub>1</sub>/w<sub>4</sub>
 |-
 | z<sub>2</sub>
 | a<sub>4</sub>/w<sub>5</sub>
-| a<sub>1</sub>/w<sub>3</sub>
+| a<sub>2</sub>/w<sub>3</sub>
-| a<sub>3</sub>/w<sub>4</sub>
+| a<sub>4</sub>/w<sub>3</sub>
 | a<sub>3</sub>/w<sub>3</sub>
 |-
 | z<sub>3</sub>
-| a<sub>1</sub>/w<sub>2</sub>
+| a<sub>3</sub>/w<sub>5</sub>
-| a<sub>2</sub>/w<sub>4</sub>
+| a<sub>3</sub>/w<sub>4</sub>
 | a<sub>1</sub>/w<sub>4</sub>
-| a<sub>4</sub>/w<sub>1</sub>
+| a<sub>3</sub>/w<sub>1</sub>
 |}
 </center>
 === Вариант 4 ===

@@ Строка 22: / Строка 22: @@
 ## Исходные тексты двух VHDL моделей и тестбенча
 ## Отчет о покрытии кода и автомата (граф и текстовый отчет о покрытии состояний и переходов, полученный в ModelSim)
 ## Временные диаграммы, включающие входные воздействия, внутренние состояния обоих автоматов, выходы двух автоматов и сигнал Ok (результат сравнения выходов двух моделей).

@@ Строка 13: / Строка 13: @@
 #: при этом использовать для описания таблицы переходов в модели разные операторы (if, case, when..else).
 # Реализовать тесбенч, проверяющий эквивалентность работы двух моделей. При этом тестбенч должен проверять все возможные состояния и переходы автомата. Проконтролировать это позволяют средства ModelSim.
 # Подготовить отчет, включающий:
 ## Титульный лист

@@ Строка 1091: / Строка 1091: @@
 |}
 </center>
 == Пример описания графа в Graphviz ==

@@ Строка 7: / Строка 7: @@
 # По заданному табличному описанию автомата:
 #* Построить граф переходов (для этого удобно использовать Graphviz и [http://graphviz-dev.appspot.com/ on-line сервис])
-#* Определить бинарные значения (коды) для входных состояний, внутренних состояний и выходных состояний. Использовать для этого тип кода, заданный в задании.
+#* Определить бинарные значения (коды) для входных состояний, внутренних состояний и выходных состояний. Использовать для этого тип кода, заданный по «собственному произволу».
 #* Описать два варианта VHDL-модели автомата:
 #** реализовать внутренние состояния через пользовательский перечислимый тип
 #** реализовать внутренние состояния через выбранный бинарный код
 #: при этом использовать для описания таблицы переходов в модели разные операторы (if, case, when..else).
 # Реализовать тесбенч, проверяющий эквивалентность работы двух моделей. При этом тестбенч должен проверять все возможные состояния и переходы автомата. Проконтролировать это позволяют средства ModelSim.
@@ Строка 19: / Строка 19: @@
 ## Таблицы с выбранными кодами для входных состояний, внутренних состояний и выходных состояний
 ## Исходные тексты двух VHDL моделей и тестбенча
-## Отчет о покрытии кода и автомата
+## Отчет о покрытии кода и автомата (граф и текстовый отчет о покрытии состояний и переходов, полученный в ModelSim)
 ## Временные диаграммы, включающие входные воздействия, внутренние состояния обоих автоматов, выходы двух автоматов и сигнал Ok (результат сравнения выходов двух моделей).
 == Варианты заданий ==

← Предыдущая		Версия 18:53, 5 ноября 2013
Строка 24:		Строка 24:

	== Варианты заданий ==		== Варианты заданий ==
		+
		+	{{Info\|Вариант заданий соответствует номеру по списку.}}

	=== Вариант 1 ===		=== Вариант 1 ===