Суворова Е.А., Шейнин Ю.Е. Проектирование цифровых систем на VHDL (2003), страница 32

его значение не может быть модифицировано внутри процедуры. Аналогичный результат будет, если перед именем параметра поставить ключевое слово оопвеапе. Для облегчения понимания программы эти дублирующиеся описания могут использоваться одновременно. Если значение объекта модифицируется в ходе выполнения процедуры, то его вид определяется как оие. Аналогичного результата можно достигнуть, ПОСтаВИВ ПЕрЕд ИМЕНЕМ ПараМЕтра КЛЮЧЕВОЕ СЛОВО иагааЬ1е. ФаКтИЧЕСКИЕ значения таких параметров не могут быть ни константами, ни выражениями, а должны быть переменными.

Пример приведен в листинге 3.41. Лввтинг 3,43 Вгосеаиге асИи(а, Ь: ап нпгс)32 геяи1С: оие иогс)32) 1в иаг1аЬ1е яппи нпгс)32; гаг1аЬ1е саггу: Ьае:='0'; Ьея1и гог 1пс)ех ап вит'геуегве гапде 1оор яит(1пс)ех) := а(1пс(ех) мог Ь(1пс)ех) мог саггу; сапу := (а(1пс)ех) апо Ь(1пс)ех)) ог (саггу азиз (а(1пс)ех) мог Ы1пс)ех) ) ); геви1с:= залп; епа ргосевиге асИи; Глава 3 з54 Если параметр является и входным, и выходным, то для него следует указывать вид аписе. Фактические значения параметров аписе не могут быть константами.

При вызове процедуры, соответствующему формальному параметру вида 1поие присваивается значение параметра фактического. В ходе выполнения этой процедуры значение формального параметра может модифицироваться. По окончании выполнения процедуры параметру присваивается последнее значение, присвоенное ему в ходе выполнения тела процедуры. Пример приведен в листинге 3.42. ззистинг 3.42з ртосезтига педатзуе (аз апоит ззотс)32) з.е иатааЫе сагту 1пз Ьззе з='1'з чатааЪ1а сатту оищ Ытз Ьед1п а з= пот а; Лог зпс)ех ап а'теуетае запде 1оор сатту оит з= а(зпцех) апзз сатту зп; а(1пс(ех) з= а(зпт)ех) хот сатту 1п; сатту зп := сатту оит; епз) 1оор; апд ргосезтите педатзуе; При вызове процедуры, параметры которой имеют значения по умолчанию, для использования этих значений, в списке фактических параметров указывается ключевое слово орел.

Если такой параметр последний в списке формальных параметров, то в списке фактических параметров он может быть опушен. Например, пусть имеется процедура, имеющая следующий заголовок: ргосеЖзга зпстепзепс (аз апоие еотс)32; Ьуз ап еотд32 з=х" 0000 0001" ) 1е, тогда вызов процедуры может иметь следующий вид: зпстезаепт(сопит); 1пстезпепт(соипс, Ьу=>орезз) Эти два вызова эквивалентны. В обоих случаях значение соипт будет увели- чиваться на !. ьпсгевепс (осипе, к"0000 0004")з В этом случае значение сопит будет увеличиваться на 4.

базовые конструкции моделей на языке ) )Н0(. 155 Сигналы в качестве параметров процедуры. Формальный параметр процедуры может быть сигналом. В этом случае ПЕрЕд ЕГО ИМЕНЕМ дОЛжНО ОбяэатЕЛЬНО ПрИСутетВОВатЬ КЛЮЧЕВОЕ СЛОВО в?дпа1. Такой параметр также может использоваться в видах йп, опе и ?попе. Для параметров — констант и переменных — передача параметров в/из процедуры осушествляется по значению. В отличие от них, при вызове процедуры с параметром-сигналом происходит передача параметра не по значению, а по ссылке (иначе говоря — по имени). Иными словами, значение параметра-сигнала не копируется в тело процедуры, а соответствующее ему в теле процедуры обозначение формального параметра ассоциируется с сигналом, указанным фактическим параметром, и находящимся вне тела процедуры.

Поэтому в ходе выполнения процедуры значение сигнала может иеияться не только в результате выполняемых в процедуре действий, но и в результате действий, выполняемых параллельно с ней (другими процессами, параллельными операторами). В процедуре кахсдый раз при обращении к параметру-сигналу происходит обрашение к вызвавшему ее процессу (для получения текушего состояния сигнала, указанного фактическим параметром). В результате, в отличие от параметра-переменной, используется не значение параметра-сигнала на момент вызова процедуры, а текушее значение сигнала в каждый момент его использования в теле процедуры.

Пример приведен в листинге 3.43. Листинг 3.43 вгсьйееоепге Ьеьа т?оига1 оЕ гесе?уег йв в?дтш1 гесоссегес) с)аСас Ьйь; вйдпа1 гесоссегес) с1осуп Ьйвз ргооеапге тесемке раскег (вйдпа1 гх с)ага: йп Ьйе; вйдтса1 гх с1ос)с: йп Ьйес с)аСа Ьс??ег: опг расиеС аггау) йв ?адйп Еог йпс)ех йп раскес аггау'гапде 1оор вайс ипвй1 гх с1ос)с='1'; с)аса Ьиг?ег(?пс)ех):= гх с)аса; еп(? 1оор; впй ргооесйпге гесе?уе рас)сес; Ьадтп рас)сеС аввесвЬ1егс ргооевв йв Глава 3 ззав1аЪзе расхеез раскес аз сауз Ьев1а сесезуе раскее [сесоуехей йаеа, тесоззесей с1оск, расхее! еззй рассеяв раскее аввеазЬ1етз еай авсЬ1сеосззве Ьеьап'.оша1з В ходе выполнения процесса раскас авве ь1ес происходит обращение к процедуре сесегуе раскас. После вызова процедуры управление от процесса переходит ней.

Однако когда выполнение процедуры доходит до оператора ззаье, управление вновь передается отложенному процессу. Процесс продолжает оставаться отложенным, но при этом он становится чувствителен к изменению сигнала, который указан в операторе ззазе. Как только значение этого сигнала станет отличным от ! (что задано оператором ззаье оаеа1 са с1оск='1'), ВЫПОЛНЕНИЕ ПрОцЕдурЫ ПрОдОЛжИтея. СЛЕдуЮщИИ ОПЕратОр процедуры, в котором происходит присваивание объекту значения сигнала, также производит обращение к процессу, вызвавшему процедуру. В результате, в операторе используется текущее значение сигнала, которое может отличаться от того, которое было на момент вызова процедуры. В операторе присваивания йаса ьззггес[ззайех! з= зх йаса; происходит присваивание переменной (элементу массива) значения сигнала. Обратите внимание на форму оператора присваивания (еь а не <=, Форма используемого оператора присваивания определяется объектом, который стоит в левой части выражения.

Если используется формальный параметр-сигнал вида осе, то изменение значения этого параметра в процедуре влечет за собой изменение значения соответствующего ему фактического параметра-сигнала в вызвавшем процедуру процессе (так, как если бы изменение этого сигнала происходило непосредственно в процессе). Каждый процесс, который работает с конкретным сигналом, должен иметь единственный источник, драйвер для этого сигнала.

Для каждого сигнала процесс имеет один и только один драйвер. Однако каждый процесс, который работает с определенным сигналом, имеет свой собственный драйвер для него. Транзакции работают с сигналами посредством этих драйверов. Транзакция, сгенерированная в результате действия процедуры, работает с драйвером сигнала того процесса, который ее вызвал (3]. Формальные параметры-сигналы также могут иметь вид 1аоее. В этом случае в качестве фактического параметра должен выступать сигнал, внешний к объекту моделирования, а не описанный внутри него.

Это связано с тем, что в противном случае возможна неоднозначность при определении текущего значения сигнала, описанного таким образом (например, если процедура была неоднократно вызвана несколькими процессами внутри одного объекта мо- Базовые конструкции моделей на языке ИН01 (57 делирования, в результате чего драйверы сигнала у разных процессов полу- чили различные значения). Операторы параллельного вызова процедур Операторы параллельного вызова процедур имеют тот же синтаксис, что и операторы последовательного вызова. Однако они имеют статус процессов и, следовательно, отличаются от последовательных вызовов процедур тем, что размещаются не внутри процессов, а наряду с ними, в архитектурном теле объекта моделирования.

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

Кроме того, если в системе имеется несколько процессов, реализующих одни и те же действия (например, контрольные), то эти процессы целесообразно реализовать в виде процедуры, параллельно вызываемой в соответствующих местах. Функции Другим видом подпрограмм в языке ЧНО]. являются функции. Функции открывают широкие возможности по определению новых операторов. Описание функции имеет много общего с описанием процедуры. Оно имеет следующий синтаксис: [раке ] Ааазпее] дспссьоп ЫепСШет [(ратазаееет 1пеетгасе 11ве)] ееспкп Суре катк з.в (ви)зртоятаа( оес1атас1че 1сев] Ьеядп (вес)пепе1а1 аеаееп1епе] епд (яппсе1оп] [ЫепсН1ет] з В отличие от процедуры, функция должна обязательно возвращать результат, тип которого определяется в описании после ключевого слова сеепзп. Список формальных параметров функции имеет тот же самый синтаксис, что и список формальных параметров процедуры.

На формальные параметры функции накладываются следующие ограничения: [] формальные параметры не могут принадлежать к классу переменных; П если класс не определен в явном виде, то предполагается, что это константа; [] формальные параметры должны иметь вид Глава 3 В ходе выполнения функции модификация ее формальных параметров невозможна. Модификация формальных параметров функции могла бы привести к серьезным проблемам при вычислении значения выражения, в котором эта функция используется (например, если в вычисляемое выражение входят также и объекты, используемые в качестве фактических параметров этой функции). Пример функции, конвертирующей значение битового вектора в натуральное число, приведен в листинге 3.44.

Листинг ЗА4 йшзое1оп Ьч со пассга1 (?чз йп Ьье чессог) гвепгп пагпга1 йв чаг1аЬ1е геви1гз паеига1 з=с; Ьвд1п йог зпдех йп Ьч'гапде 1оор геви1сз=гевп1С*2+Ьзс'ров (Ьч(зпс)ех) ); епа 1оор; геепгп гевп1с; епзт йппогйоп Ьч Ея павпга1з Пример использования функции может иметь также и следующий вид: гуре гот аггау (паепга1 гапде О ео гот вйяе-И ой Ььс чессог (О ео ззогс) в).яе-1); чагйаЬ1в гот оаеаз гот аггау; я)аса<=гот с)аса(ьч со паевга1(ас)с)геев)) айевг тассевв; Вызов функции обязательно является частью выражения.

В остальном вызов функции имеет синтаксис, аналогичный вызову процедуры. Функция обязательно должна возвращать какое-то значение. Следовательно, она не может завершаться просто по выполнению оператора епс) тела функции, поскольку в этом случае значение функции не будет определено. Тело функции должно содержать как минимум один оператор гаевгп, а возможно, и больше.