Циклы. Оператор Loop языка VHDL.

Loop – последовательный оператор для выполнения набора последовательных операторов. Операторы повторения loop позволяют сокращенно записывать совокупность однотипных действий.

Простейшая форма оператора loop имеет вид:

[метка:] loop

последовательные операторы

end loop [метка];

Циклы loop могут быть вложенными. Оператор loop сам по себе организует бесконечный цикл. Тело цикла будет выполняться неограниченное число раз, если выполнение цикла не будет прервано другими, специальными управляющими операторами.

Для того чтобы организовать цикл, который бы не был бесконечным, используют оператор exit. Он имеет следующий синтаксис:

Exit [ loop метка] [ when условие];

Если условие when не указано, то выполнение оператора однозначно приводит к завершению цикла; в противном случае цикл завершается только при выполнении условия, стоящего после when. Если не указана метка цикла, то оператор exit осуществляет выход из того цикла, в котором он непосредственно находится. Указание метки после ключевого слова exit позволяет использовать этот оператор для завершения сразу нескольких вложенных друг в друга циклов.

Пример:

L1: loop

L2: loop

exit L1 when condition_1; (выход из внутреннего и внешнего циклов)

exit when condition_2; (выход из внутреннего цикла)

end loop L2;

exit when condition_3; (выход из внешнего цикла)

end loop L1;

Для того чтобы на очередной итерации цикла не выполнять всю последовательность действий, включенных в тело цикла, может использоваться оператор next:

next [ loop метка] [ when условие];

Этот оператор отличается от оператора exit тем, что он прерывает не выполнение цикла, а только эту итерацию. После выполнения next прекращается выполнение текущей итерации и происходит переход на следующую итерацию цикла. Этот оператор также может быть снабжен условием выполнения, однако, в отличие от оператора exit (который прерывает выполнение, если условие истинно), next прерывает выполнение, если условие ложно.

Циклы с условием. Оператор цикла WHILE языка VHDL.

Оператор с ключевым словом while обязательно содержит в теле цикла операторы, изменяющие описанное в итерационной схеме условие. Операторы цикла повторяются, пока при вычислении условия не получается значения false. Условие проверяется каждый раз перед исполнением тела цикла. Если перед началом очередной итерации условие истинно, то она выполняется, в противном случае цикл завершается. Такой цикл имеет следующий синтаксис:

[метка:] while условие loop

последовательные операторы

end loop [ метка];

При подобной организации цикла предполагается, что в процессе его выполнения объекты, входящие в условие заголовка цикла, могут изменить свое значение в теле цикла.

while data="0000" loop

data <=data_in;

end loop;

Операторы управления сбором информации о ходе моделирования языка VHDL.

Оператор assert.

При отладке модели полезно контролировать значения, которые принимают объекты, и заносить информацию, получаемую в ходе работы модели, в отчет о проведенном моделировании. Для этого в программу на языке VHDL вводятся специальные операторы, управляющие сбором и сохранением информации о прогоняемой модели.

Для этих целей используется оператор assert, который имеет следующий синтаксис:

assert логическое выражение [report выражение1] [severity выражение2]

Если логическое выражение, стоящее в операторе assert, принимает в ходе моделирования значение false, моделирующая программа немедленно выдает уведомление об этом. Выражение, стоящее в секции report (если она имеется), при этом заносится в отчет. Это выражение может содержать текстовые строки, в качестве которых могут быть использованы атрибуты объектов, приводящие их значения к текстовому типу. Выражение, стоящее в секции severity, позволяет определить уровень ошибки. Оно должно принимать одно из значений, принадлежащих типу severity_level, определение которого выглядит следующим образом:

type severity_level is (note, warning, error, failure);

Например:

assert free_mem<=low_limit report "memory is small" severity warning;

Значение note соответствует ситуации, когда необходимо просто поместить информативное сообщение в отчет. Значение warning соответствует ситуации, когда в ходе выполнения модели возникло нечто, не характерное для нее. Уровень error используется, когда возникшая ситуация свидетельствует об ошибке. Уровень failure свидетельствует о нарушении целостности.

Оператор report

Если информация должна заноситься в отчет при любых условиях, то используется оператор report безусловного занесения информации в отчет. Он имеет следующий синтаксис:

report выражение1 [severity выражение2];