付録 A 文法一覧 7 72 実体・アトリビュート名 [ ( ) ] 使用可能な場所 : 信号代入文 , 同時処理信号代入文 , 変数代入文 , タイプ定義 , インターフェース・リスト , 式 , 静的式 静的式とは , 信号名 , 値 , 数値など文脈によらす判断できる式である . ・ block_configuration 文 機能 論理合成 第 7 章 7.8 節不可 (architecture 選択のみ可 ) 文法 : for プロック定義 { se } {block co れ f 土 g Ⅱて at 土 on 文ー component co れ f 土 gu て at 土 on 文 } ・れ d fo て一 プロック定義 architecture 名ー block ラベルー generate ラレ 使用可能な場所 : configuration 宣言, block—configuration 文 , component—configuration 文 ・ block 文 機能 論理合成 architecture の内部プロック ( ネスト可能 ) 可能 ( ガード式は不可 ) 文法 : ラレ名 : block [ ( ガード式 ) ] プロック・ヘッダ { 宣取 } begin { 同取 } end block [ ラベル名 プロック・ヘッダ [ generic 文 [generic map 文扨 ] [ po て t 文 [ て t map 文冂 ] 宣言文 : アーキテクチャー宣言文と同じ 同一 : アーキテクチャー本体と同じ
使用可能な場所 : architecture 本体 , block 本体 block 文は , アーキテクチャ内にサププロック定義する . process 文と異なり , 内部は同時処理される . ・ case 文 機能 論理合成 第 2 章 2.4 節可能 文法 : case 式 is end case; ー : : = 式ー不一一ー others 注 : when others は最後の行に 1 回のみ使用可能 使用可能な場所 : process 本体 , subprogram 本体 , ・ component_configuration 文 機能論理合成 第 7 章 7.8 節不可 if 文 , case 文 , 100P 文 文法 : fo てインスタンス・リスト コンポーネント名 {use2E} {block_configuration 文ー component configuration 文 } ・れ d fo て一 インスタンス・リスト ラベル名しラレ名 } ー others ー a11 block—configuration 文 , 使用可能な場所 : configuration 宣言, component—configuration 文
ノ 76 付録 A 文法一覧 ・ file 宣言 機能論理合成 第 7 章 7.5 節不可 : file ファイル皴 out : サプタイプ指示子 物ファイル名物 宣言可能な場所 : architecture 宣言部 , entity 宣言部 , process 宣言部 , package bOdy 文 , subprogram 宣言部 , package 旦 , block 宣言部 ・ generate 文 機能 論理合成 第 7 章 7.4 節可能 : ラレ名 : for ジェネレート変数 { 同一 } end generate [ ラベル名 I; ラベル名 : if generate { 同時 } end generate [ ラベル名 土れ不一 generate 使用可能な場所 : architecture 本体 , block 本体 , generate 文 ・ generic 文 機能 論理合成 第 4 章 4.7 節データ・タイプ integer の場合のみ可能 宀旨部 block 宣言部 使用可能な場所 : entity 旦ロ , [in] サプタイプ指示子 はれ ] サプタイ旨示子 信ポート名しポート名 } ・ : generic( ポート名しポート名 } [ : = ネ直 ]
ノ付録 A 文法一覧 ・ component 宣言 侖理合成 機能 第 1 章 1.4 節可能 : component コンポー ネント名 [ ジェネリック文 ] [ ポート文 ] end component ー 部 0 部 宣 部 な ヒヒ ム月 可 宣 ・ component_instance 文 機能 論理合成 第 1 章 1.4 節可能 文法 : ラベル名 : コンポーネント名 [ generic map 文 ] [ port map 文 使用可能な場所 : architecture 本体 , block 本体 , generate 文 ・ configuration 亘言 機能 論理合成 第 7 章 7.8 節不可 (architecture 選択のみ可 ) 文法 : 00 れ f 土 g て at 土 0 れコンフィグレーション名 of 工ンティティ名 土 5 ー attribute 定義 } block conf 土 gu て a セ土 0 れ文 end [ コンフィグレーション名 ] ・ configuration 定義 機能 論理合成 第 7 章 7.8 節無視される 文法 : for インスタンス・リスト use 結合指示子一 コンポーネント名 使用可能な場所 : architecture 宣言部 , block 宣言口に
783 ・ use 文節 機能 論理合成 可視となりうる宣言を直接可視にする可能 : 3 ・ { セレクト名しセレクト名 } ー セレクト名 = 実体 { . 実体 } 使用可育皀な場所 : design_unit,configuration 宣言 , architecture 宣言部 , block 宣言部 , block_configuration 文 , component_configuration 文 ・ variable 宣言 機能 侖理合成 第 4 章 4.1 節可能 : variable 名し名 } : サプタイ旨示子 宣言可能な場所 : process 宣言部 , subproguram 本体 ・ wait 文 機能 侖理合成 第 3 章 3.4 節 until のみ可能 , その他は無視される 文法 : wait [ 0 れ信号名し信号名 } ] れ t 土 1 ] [ fo て式 使用可能な場所 : process 文 , procedure 本体 , if 文 , case 文 , 10 叩文
780 付録 A 文法一覧 使用可能な場所 : architecture 本体 , block 文本体 , process 文本体 , subprogram 本体 ・ signal 宣言 機能 論理合成 第 4 章 4.1 節可能 : 0 れ al 信号名 { , 信号名 } : サプタイプ指示子 [registerlbus) [ : 尋直 ]; register,bus を指定するとガード付き信号となる ( 切断可能な信号 ). register は切断されたとき値を保持する . bus は保持しない . ガード付き信号は予約語 "null" を代入するか , ガード式によって切断される . 宣言可能な場所 : architecture 宣言部 , entity 宣言部 , package 亘言 ・ subprogram 宣言 機能論理合成 第 5 章 5.1 節可能 文法 :procedure プロシージャ名 [ ( 入出力パラメータ・リスト ) ] ん nction ファンクション名 [ ( 入力パラメータ・リスト ) ] ret n テータ・タイプ名 ; 入出力パラメータ = [ 3 土 gnal ー a て土 abl ・一 constant] ポート名 { , ポート名 } [ ] サプタイプ指示子 [ 3 ] [ : 一直 宣言可能な場所 : architecture 宣言部 , entity 宣言部 , process 宣言部 package 旦言 , package b0dY 文 , subprogram 宣言部 , block 宣言部
・ assert 文 機能 第 4 章 4.7 節無視される : assert [report 出力メッセージ ] [severity レベル レレ NO でを一 WARNING ー ERROR ー FAILURE 使用可能な場所 : entity 本体 , architecture 本体 , process 本体 , subprogram 本体 , block 本体 , if 文 , case 文 , 100P 文 侖理合成 ニ = ・ attribute 宣ー 論理合成 機能 第 7 章 7.6 節不可 ( 一部論理合成の属性として使用 ) : attribute 好 : サプタイ方言 言可能な場所 : architecture 宣言部 , entity 宣言部 , process 宣言部 亠三二・立 subprogram 旦ロに packageuä , ・ attribute 定義 論理合成 機能 第 7 章 7.6 節不可 ( 一部論理合成の属性として使用 ) : attribute アトリビュート名 of オプジェクト名 : クラス is 式ー ー label entity ー architecture ー conf 土 g て at 土 0 れ ー function ー package ー type ー subtype ー procedure constant ー signal ー variable ー component クラス 宣言可能な場所 : architecture 宣言。に , entity 宣言部 , process 宣言部 subprogram 宣言部 , block 宣言部 packageE3- , ・ attribute 名称 論理合成 機能 第 7 章 7.6 節不可 (event,stable のみ可 )
775 ・ constant 宣 = 機能 論理合成 第 4 章 4.1 節可能 文法 : constant 名し名 } : サプタイプ指示子 [ : = 磁直 宣言可能な場所 : architecture 宣言部 , entity 宣言部 , process 宣言部 , package 旦言 , package b0dY 文 , subprogram 宣言部 , block 宣言部 ・ disconnection 定義 論理合成 機能 ガード付きドライバの暗黙的切断時間の定義不可 文法 : disconnect ガード信号定義 after 暗 言可能な場所 : architecture 宣言口に , entity 宣ロ部 , package 旦 , block 宣高部 disconnection は , ガード付き信号 ( 切断可能な信号 ) が切断される時間を定義する . ・ entity 宣言 機能 論理合成 第 1 章 1.2 節可能 : entity 工ンティティ名 is [ ge れ e て土 c 文扨 [ て t 文冂 ー宣言部 { 宣言文 } begin { アサート文ーパッシプな procedure 呼び出し一バッシプなプロセス文 } end [ 工ンティティ名物 ー subprogram 本体ー type 旦日 宣言文 subprogram 旦 subtypeAäー constantAäー signal 旦 ー f 土 le 旦言ー ー attributeAä al 土 as 旦 ー attribute 定義ー use 文ー conf 土 gu て at 土 0 れ定義文 ー disconnection 定義
ノ 79 ・ port map 文 機能 論理合成 第 1 章 1.4 節可能 文法 : て t map ( [ フォーマル = 》 ] 実体し [ フォーマル = 》 ] 実体 } ) = ポート名ータイ換関数名 ( ポート名 ) フォーマル 実体 = 式ー gnal 名ー open ータイ関数名 ( 実体 ) 使用可能な場所 : component_instance 文 , block 宣言部 , 第 2 章 2.1 節可能 論理合成 機能 ・ process 文 configuration 結合指示子 文法 : ラレ名 宣取 p て 00 ・ 33 [ ( センシティビティ ・リスト ) ] { 宣取 } b ・ 0 土れ ー宣言部 一本体 ・れ d proc ・ 33 [ ラベル名 ー attributeAä ー f 土 1 ・且日一 al 土 as 館 a て土 able 且 ー subtypeAE ー constantAZ ー 3 咫 bp て 00 て a 国且員一 3 bp て 00 て a 国本体ー type 且日 ー attribute 定義ー咫 3 ・文 響 a 址文ー p て 0 。・ d て・呼び出し一 assert 文 ー 1%#ftÄ文一変数文ー土 f 文ー case 文 ー 1 。。 p 文ーれ減 1 文 使用可能な場所 : architecture 本体 , block 本体 , generate 文 同時処理 procedure 呼び出しは , : プロシージャ名 [ ( インターフェース・リスト 第 5 章 5.6 節可能 機能論理合成 ・ procedure 呼び出し ラベルを付けることが可能
235 索 引 アルファベット順 abs access ・・ ACTIVE ・ after alias 新 . a ル・ and ・ archi tecture ・・ assert ・ attribute base BEHAVIOR ・・ bit ・・ bit vector ・ block ・ boolean ・ b0dy buffer ・ case : 文 ・・・ 37 , 45 , 46 , 173 character ・・ ・・・ 85 ・・・ 24 , 73 , 174 component ・ configuration ・・・ 73 , 166 , 174 ・・・ 73 , 81 , 95 , 112 , 116 , 126 , 175 constant ・・ CONV INTEGER ・・ ・・・ 88 , 107 CONV STD LOGIC VECTOR ・・ ・・・ 88 , 107 , 119 CONV UNSIGNED ・ ・・・ 119 else elsif ・ endfile entity ・・ ERROR ・・ event ・ exit ・ FAILURE ・・ file for for-loop 文 for-generate 文 function ・ ・・・ 40 ・・・ 162 ・・・ 18 , 175 ・・・ 105 ・・・ 54 , 116 , 186 ・・・ 159 , 178 ・・・ 44 ・・・ 182 ・・・ 186 ・・・ 79 , 104 , 106 , 112 ・・・ 170 ・・・ 21 , 95 ・・・ 21 , 23 , 44 ・・・ 21 , 170 ・・・ 99 , 182 ・・・ 105 , 171 ・・・ 99 , 163 , 171 ・・・ 105 ・・・ 161 , 176 , 182 ・・・ 51 , 173 , 174 ・・・ 37 , 50 , 68 , 177 ・・・ 68 , 159 , 176 ・・・ 111 , 180 回回国 ・・・ 185 ・・・ 187 ・・・ 22 , 53 , 85 , 161 , 164 ・・・ 85 , 108 , 161 , 164 ・・・ 172 ・・・ 22 , 41 , 53 , 85 , 164 ・・・ 112 , 178 ・・・ 19 , 20 , 62 , 178 ・・・ 104 , 176 , 177 ・・・ 176 ・・・ 184 ・・ 116 , 185 ・・・ 162 IEEE ・・ if 文 if-generate 文 inout ・ integer ・ last event ・・ last value ・・ left length library ・・ 100P 文 10W ・ LRM ・・ ・・・ 15 , 20 , 32 , 93 ・・・ 37 , 40 , 158 , 177 ・・・ 159 , 176 ・・・ 18 , 19 , 112 , 126 , 161 , 178 ・・・ 19 , 20 , 126 , 178 ・・・ 33 , 43 , 53 , 85 , 88 , 99 , 137 , 164 ・・・ 186 ・・・ 186 ・・・ 116 , 128 , 185 ・・・ 116 , 119 , 185 ・・・ 20 , 92 , 177 ・・・ 177 ・・・ 116 , 185 ・・・ 15 DELAYED disconnection downto ・・ don't care 出力 ・・・ 186 ・・・ 175 ・・・ 26 , 42 , 182 ・・・ 47 , 153