第二部  回路記述編 第3章 文法概略と基本記述スタイル 3.1 文法を少々 3.1.1~3.1.3.

Slides:



Advertisements
Similar presentations
2.5 プログラムの構成要素 (1)文字セット ① ASCII ( American Standard Code for Interchange ) JIS コードと同じ ② EBCDIC ( Extended Binary Coded Decimal for Information Code ) 1.
Advertisements

計算機工学特論A 10/17  テキスト内容 1.1~1.4.
VLSI設計論第4回 アキュムレータマシンと 仮遅延シミュレーション
プログラミング言語としてのR 情報知能学科 白井 英俊.
5.3 各種カウンタ 平木.
Verilog HDL 12月21日(月).
プログラミング基礎I(再) 山元進.
第2回:Javaの変数と型の宣言 プログラミングII 2007年10月2日.
VLSI設計論第2回 組み合わせ回路の記述と 論理シミュレーション
4.2.2 4to1セレクタ.
システム開発実験No.7        解 説       “論理式の簡略化方法”.
プログラムはなぜ動くのか.
プログラミング演習Ⅰ 課題2 10進数と2進数 2回目.
ML 演習 第 7 回 新井淳也、中村宇佑、前田俊行 2011/05/31.
2005年11月2日(木) 計算機工学論A 修士1年 No, 堀江準.
計算機工学特論A 第4回 論理合成 山越研究室 増山 知東 2007年11月7日 .
ハードウェア記述言語による 論理回路設計とFPGAへの実装 2
第7回 条件による繰り返し.
岩村雅一 知能情報工学演習I 第8回(後半第2回) 岩村雅一
第6回 よく使われる組合せ回路 瀬戸 重要な組合せ回路を理解し、設計できるようにする 7セグディスプレイ用デコーダ 加算回路・減算回路
OpenMPハードウェア動作合成システムの検証(Ⅰ)
プログラムの制御構造 選択・繰り返し.
第10回関数 Ⅱ (ローカル変数とスコープ).
アルゴリズムとプログラミング (Algorithms and Programming)
プログラミング演習I 2003年5月7日(第4回) 木村巌.
岩村雅一 知能情報工学演習I 第8回(C言語第2回) 岩村雅一
ソフトウェア制作論 平成30年10月3日.
第7回 条件による繰り返し.
第7回 プログラミングⅡ 第7回
復習 前回の関数のまとめ(1) 関数はmain()関数または他の関数から呼び出されて実行される.
Ibaraki Univ. Dept of Electrical & Electronic Eng.
ディジタル回路の設計と CADによるシステム設計
計算機構成 第2回 ALUと組み合わせ回路の記述
計算機構成 第3回 データパス:計算をするところ テキスト14‐19、29‐35
計算機構成 第4回 アキュムレータマシン テキスト第3章
VLSI設計論第3回 順序回路の記述と論理合成
コンパイラ 2011年10月20日
オブジェクト指向言語論 第六回 知能情報学部 新田直也.
プログラミング言語論 第六回 理工学部 情報システム工学科 新田直也.
基本情報技術概論(第2回) 埼玉大学 理工学研究科 堀山 貴史
復習 2次元配列 4列 j = 0 j = 1 j = 2 j = 3 i = 0 i = 1 i = 2 3行
地域情報学 C言語プログラミング 第2回 変数・配列、型変換、入力 2017年10月20日
計算機工学特論 スライド 電気電子工学専攻 修士1年 弓仲研究室 河西良介
オブジェクト指向言語論 第三回 知能情報学部 新田直也.
プログラミング論 ポインタ
計算機アーキテクチャ1 (計算機構成論(再)) 第二回 命令の種類と形式
C言語講座 制御(選択) 2006年 計算技術研究会.
情報処理Ⅱ 2005年10月28日(金).
プログラミング基礎a 第3回 C言語によるプログラミング入門 データ入力
オブジェクト指向言語論 第二回 知能情報学部 新田直也.
情報実習I (第1回) 木曜4・5限 担当:北川 晃.
コンパイラ 2012年10月11日
岩村雅一 知能情報工学演習I 第8回(後半第2回) 岩村雅一
岩村雅一 知能情報工学演習I 第8回(C言語第2回) 岩村雅一
プログラミング入門2 第6回 関数 情報工学科 篠埜 功.
情報処理Ⅱ 第2回 2004年10月12日(火).
情報処理Ⅱ 2005年11月25日(金).
プログラミング入門2 第5回 配列 変数宣言、初期化について
第4回 配列.
情報処理Ⅱ 小テスト 2005年2月1日(火).
プログラミング基礎a 第3回 C言語によるプログラミング入門 データ入力
JavaScript    プログラミング入門 2-3 式と演算子 2006/10/12 神津 健太.
復習 いろいろな変数型(2) char 1バイト → 英数字1文字を入れるのにぴったり アスキーコード → 付録 int
情報処理Ⅱ 第3回 2004年10月19日(火).
C言語講座 四則演算  if ,  switch 制御文.
情報処理Ⅱ 2006年10月27日(金).
第5回 配列.
岩村雅一 知能情報工学演習I 第7回(後半第1回) 岩村雅一
オブジェクト指向言語論 第六回 知能情報学部 新田直也.
ファーストイヤー・セミナーⅡ 第10回 if文による選択処理(2).
Presentation transcript:

第二部  回路記述編 第3章 文法概略と基本記述スタイル 3.1 文法を少々 3.1.1~3.1.3

3.1 文法を少々 3.1.1 モジュール構造 回路を記述する構造がモジュールです 「モジュール」は予約語の 3.1 文法を少々     3.1.1 モジュール構造 回路を記述する構造がモジュールです 「モジュール」は予約語の moduleとendmoduleで囲まれ回路表現から シミュレーション用の入力まで、すべてがこ の中で記述される。 moduleに続き、モジュール名、ポート・リスト、 を記述する。 「ポート・リスト」とは、出力、入力の端子名を 例拳したものです。 module モジュール名 (ポート・リスト) ; ポート宣言 ネット宣言 レジスタ宣言 パラメータ宣言 回路記述    assign文  組み合わせ回路の記述    function always文 順序回路の記述    下位モジュール呼び出し endmodule 図3.1 モジュール構造

モジュール名やポート・リスト名などの識別子には英数字と_(アンダ・スコア)が使え、大文字小文字を区別します。 ポート宣言例 input ck,res;              // 入力 input [7:0] bus1, bus2; // 入力、バス信号  output busy;               // 出力 input [15:0] dbus;           // 双方出力 (b) ネット宣言例 wire enb1;                // バス信号 wire [7:0] bus; (c) レジスタ宣言例 reg ff1, ff2; reg [3:0] cnt4;             // 4ビット・レジスタ reg [7:0] mem [0:255];       //  256バイト・メモリ  (d) パラメータ宣言例 parameter STEP=1000;        //  1クロック周期 parameter HALT =2’b00, INIT=2’b01,ACTION=2’b10:  //  ステート parameter MEMSIZE=1024; reg [7:0] mem [0:MEMSIZE-1]; // パラメータ使用例 図3.2 各種宣言例 宣言部分構成  ポート・リストに対応したポート・リスト宣言  モジュール内部で用いる信号を定義する   ネット宣言とレジスタ宣言  定数を定義するパラメータ宣言 回路記述部分構成 組み合わせ回路  assign文  function  順序回路  always文  別のモジュールを接続する  下位モジュール呼び出し

3.1.2 論理値と数値表現 論理値 Verilog HDLで扱える論理値は 3.1.2  論理値と数値表現  論理値   Verilog HDLで扱える論理値は   ‘0’, ‘1’, ‘x’(不定値), ‘z’(ハイ・インピーダンス)   の4値です。8値の信号強度   supply, strong, pull, large, weak, medium, small, highz   を付加できます。信号強度を指定しなければ、strong となります。シミュレーションのときだけ用いる。  定数の表現   <ビット幅> <基数><数値>   <ビット幅>は、定数のビット幅を表現する10進数、省略すると32ビットとして扱われる。   <基数>は、何進数の数値かを表す、次の4種類がある。   b, B :2進数,  o, O :8進数  d, D :10進数,  x, X :16進数   これも省略可能で、省略時は10進数として扱われる。   <数値>は、定数の値を示す、基数に応じた数値を扱える。   8進数なら0~7とx,z、16進なら0~9、a~f(A~F)とx,z、10進はx,z扱えない。   表3.1 定数の例

3.1.3 データ型 信号(変数)の型宣言 (1) レジスタ型(reg宣言したもの):ラッチやフリップフロップ(FF,値を保存する) 3.1.3  データ型  信号(変数)の型宣言 (1) レジスタ型(reg宣言したもの):ラッチやフリップフロップ(FF,値を保存する) (2) ネット型(wire宣言したもの):配線部分(値を保持しない) いずれの型も、参照する場合の制限はない。式の右辺で用いたり、functionの 引き数に用いることができる。しかし、代入する場合に次のように制約がある。  レジスタ型信号への代入は、always文、task,functionの中だけ  ネット型信号への代入は、assign文の中だけ これらに反した代入は、文法エラーとなる。

 型宣言の省略 図3.3(a)の信号は、省略するのが一般的です、ポート宣言した信号は、デフォルトでネット型です、入力/出力にかかわらず、ネット型であれば型宣言を省略できる。 図3.3(b)の例ではtempを未宣言で用いることができる。しかし、多ビットのネット信号の場合はネット宣言忘れると1ビット信号として扱われてしまう、文法エラーにはなりませんが、シミュレータが「ポートのビット数が一致しない」という警告メッセージを出力する。 (a) ポート信号 module DFF ( CK, D, Q ) ; input CK, D ; output Q ; reg Q ; always @ (posedge CK) Q<= D ; endmodule wire CK, D ; 省略可 (b) フリミティブ・ゲートやモジュール    呼び出しのときの1ビット信号 module RSFF ( SB, RB, Q ) ; input SB, RB ; output Q ; nand na1 ( Q, SB, temp ) ; nand na2 ( temp, Q, RB ) ; endmodule Wire temp ;   省略可  図3.3  ネット宣言を省略できる例

文法的には値を保持するレジスタ型、値を保持しないネット型と明確な区別 があるが、回路記述の中では混乱することもある、例をあげて、使い分けを  ネット型とレジスタ型の使い分け 文法的には値を保持するレジスタ型、値を保持しないネット型と明確な区別 があるが、回路記述の中では混乱することもある、例をあげて、使い分けを 説明する。 dout din dio ポート信号にも型がある、ポートの種 類によって図3.4(a)のような使い分け がある、これ以外の組み合わせ、例え ば入力ポートをレジスタ型で宣言する と文法エラーになる。 module sample ( . . . ) ; input din ; wrie din ; //入力はネット型 output dout ; reg dout ; //出力はネット型がレジスタ型 inout dio ; wire dio ; //双方向はネット型 図3.4 ネット型とレジスタ型 (a) ポート番号

ブロック間の接続信号は、図3.4(b)のようにネット型で宣言し接続する、レジスタがたで 宣言してしまうと、出力側のブロックを接続した部分で文法エラーになる、入力側のブロ ックの接続は、文法上可能です、テストベンチにおいて、検証対象に信号を接続して入 力を変化させるときなどにこの方法を使う。 (b) ブロック間接続信号 CK D Q FF1 dout din dbus wire dbus ; × reg dbus ; Top BLK_A BLK_B module Top ( . . . ) ; . . . Reg [15:0] dbus ; // wire [15:0] dbusならOK BLK_A A( .dout(dbus), . . . ) ; // 出力にregは接続できない BLK_B B( .din(dbus), . . . ) ; // 入力側へのreg接続可 endmodule

弓仲研 修士一年 畦元 隼

3.1.4 多ビット信号

宣言時におけるビット幅指定 ビット幅をもった信号を用いるためには、信号の宣言時に[MSB:LSB]の形式でビット幅と範囲を指定するまた   多ビット信号は、「符号なし整数」として扱われる 例 input [3:0] a,b; 4ビットの入力aとb wire [7:0] dbus; 8ビットのネット信号 reg [15:8] adder_hi; 8ビットのレジスト信号 reg [7:0] adder_lo; 8ビットのレジスト信号 但し、ビット指定は一つの宣言に一回しか許されない 例 ○→ wire [3:0] cnt4; wire [7:0] cnt8; ○→ reg busy; reg [2:0] status; ×→ wire [3:0] cnt4, [7:0] cnt8; ×→ reg busy, [2:0] status;

多ビット信号のビット選択 多ビット信号を1ビット単位でアクセスするときは以下のようにする 任意のビット指定 例 assign MSB = dbus[7]; MSBにdbusの7ビット目の値を入れる assign LSB = dbus[0]; MSBにdbusの0ビット目の値を入れる 1ビットだけ代入することもできる 例 assign dbus[4] = half_carry; dbusの4ビット目にhalf_carryの値を入れる

多ビット信号の部分選択 多ビット信号をある範囲でアクセスするときは、 部分的に代入も出来る 例 例 wire [3:0] Hi_digit; Hi_digitは4ビット幅 assign Hi_digit = adder_hi [15:12]; Hi_digitにadder_hiの 12ビット目から15ビット目 までの値を代入 部分的に代入も出来る 例 wire [3:0] Lo_digit; Lo_digitは4ビット幅 assign dbus[3:0] = Lo_digit; dbusの0ビット目から3ビット目 にLo_digitの値を代入 ここで、範囲外にアクセスしたときには不定(x)となり範囲外に代入すると文法エラーとなる

レジスタ配列(メモリ) レジスタ型の信号は、配列を作ることが出来る 例 reg [7:0] men [0:255]; menは8ビット×256ワード、つまり256バイトのメモリになる、 これをレジスタ配置と呼ぶ レジスタ配置については、ビット選択や部分選択が行えない必ずワード単位のアクセスとなる 例 men [100]; レジスタ配置menの100番地の内容 ビット選択や部分選択を行うためには、一時的なネット信号を用いる 例 wire [7:0] temp; Assign temp = men[100]; tempとしてmen[100]を定義する temp [7] ・・・ men[100]の最上位ビット temp [3:0] ・・・ men[100]の下位4ビット

「ベクタ信号(ビット幅を持った信号)の一次元配列」 と考えることが出来る レジスタ配置は 「ベクタ信号(ビット幅を持った信号)の一次元配列」 と考えることが出来る Verilog HDLでは、プログラム言語のように2次元/3次元などの 多次元配列を作ることが出来ない また、スカラ信号(1ビットの信号)の一次元配列も可能 例 Reg men_1 [0:15]; 1ビット×16ワードつまり全体で16ビットのレジスタとなる 但し、レジスタ配列なので、そのままでは部分選択は出来ない

3.1.5 演算子と演算優先順位

演算子 C言語との共通点と相違点 共通点 Verilog HDLで扱える演算は、基本的に C言語のものと同一である === : x(不定値)、z(ハイインピーダンス)は==などではすべて偽と       されてしまうためx、zも比較するのに用いられる !== : ===同様の理由で用いられる

Verilog HDL固有の連接演算やリダクション演算がある。 相違点 Verilog HDL固有の連接演算やリダクション演算がある。 また、C言語で用いられる++(インクリメント)演算や、   --(デクリメント)演算はない。 代入は演算扱いではないので などと出来ない。 ×→ a = b = c =1`b0; 補足 if (regA = 4`h5) ~ 代入は演算扱いされないので このような間違いもエラーとして吐かれる

演算の優先順位 高 各演算子の優先順位は表のようになっている ! ~ & ~& | ~| ^ ~^ + - * / % 最上位の演算子は単項演算子で各項の頭に付ける演算子なっている 「論理否定」    「リダクション演算子」「符号の演算」   が最優先 ! ~ & ~& | ~| ^ ~^ + - * / % + - << >> < <= > >= & ^ ~^ | && ?: - in , ! adderなど 低

3.1.6 等号演算と関係 ①演算2項の等号演算/関係演算 2項の値の一致・不一致を判定する等号演算では、演算子==、!=を使用する。 3.1.6 等号演算と関係 ①演算2項の等号演算/関係演算 2項の値の一致・不一致を判定する等号演算では、演算子==、!=を使用する。 2項の大小を比較する関係関数は、演算子<、>を使用する。(=と組み合わせることができる。) ※基本的な演算内容はC言語と同じ。 例:assign match = ( regA == regB ) ;    regAとregBが一致していれば’1’(真)、    不一致なら’0’(偽)の値を返す。

3.1.6 等号演算と関係 ②2項に不定値かハイ・インピーダンス値が含まれる場合 3.1.6 等号演算と関係 ②2項に不定値かハイ・インピーダンス値が含まれる場合 比較する2項のどちらかに‘x’(不定値)、’z’(ハイ・インピーダンス値)が含まれると、比較対象外なので「偽」として扱われる。 直接比較したい場合は===(一致)、!==(不一致)を用いる。(ただし、論理合成対象外) ※不定値:値が代入されていないもの。  ハイ・インピーダンス値:出力信号線を電気的に切り離した状態。(高抵抗により遮断される。) 例:if ( regA == 4’hx ) ; if ( regA === 4’hx ) ;

3.1.7 連接演算 ①連接演算を代入文の右辺で使用 addr_hiとaddr_loは8ビットのレジスタ信号とする。 3.1.7 連接演算 ①連接演算を代入文の右辺で使用 wire  [15:0] addr_bus ; assign addr_bus = { addr_hi, addr_lo } ; addr_hiとaddr_loは8ビットのレジスタ信号とする。 addr_busはaddr_hiとaddr_loを連接して16ビットの信号になる。 連接演算の左側が重いビットとして扱われる。 連接演算では何項でも連接できる。 一般の演算と同様に、代入文の右辺ばかりでなく、モジュール呼び出しのポートやファンクションの引き数にも使用できる。 ※ポートリスト:入力・出力の端子名を列挙したもの。

3.1.7 連接演算 ②連接演算を代入文の左辺で使用 a,b,sumは各4ビットなので、場合によって結果が5ビットになる。 3.1.7 連接演算 ②連接演算を代入文の左辺で使用 wire  [3:0] a, b, sum; wire  carry; assign { carry, sum } = a + b ; a,b,sumは各4ビットなので、場合によって結果が5ビットになる。 carryとsumを連接した5ビットに加算回路を代入することで、carryには桁上げ信号が、sumには加算結果が代入される。 Verilog HDLでは、ビット幅が異なる変数の演算や代入が許される。 この場合、左辺が5ビットなので、右辺のa+bはMSB側に0を付けた5ビットとして演算される。 また、代入の左辺のビット幅が右辺よりも小さい場合、MSBが欠落して代入される。 代入の左辺で用いることができるのが連接演算の最大のメリット。

3.1.7 連接演算 ③繰り返しを記述する連接演算 2ビットの“10”を4回繰り返し、8ビットの“10101010”を表現。 3.1.7 連接演算 ③繰り返しを記述する連接演算 { 4{ 2’b10 } } ・・・ 8’b10101010 2ビットの“10”を4回繰り返し、8ビットの“10101010”を表現。 wire [15:0] word ; wire [31:0] double ; assign double = { { 16{word[15]} }, word } ; 16ビット信号wordを32ビット信号doubleに代入する際に、 wordの符号ビットであるword[15]を16回繰り返し、 doubleの上位16ビットに代入。

3.1.8 リダクション演算 リダクション関数:項の先頭に演算子を付ける単項演算。 3.1.8 リダクション演算 リダクション関数:項の先頭に演算子を付ける単項演算。 ※演算子は&、~、^、|を組み合わせたもので、ビット幅を持った信号内の全ビットに作用し、演算結果は1ビットの値になる。 8ビットのレジスタcntの全てのビットが‘1’の時に値が‘1’になる。 cntの各ビットのEX-ORをとったもの。 assign all_one = cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] ; assign parity = cnt[7] ^ cnt[6] ^ cnt[5] ^ cnt[4] ^ cnt[3] ^ cnt[2] ^ cnt[1] ^ cnt[0] ; reg [7:0] cnt ; assign all_one = & cnt ; assign parity = ^ cnt ; ↓リダクション関数を使った場合

3.1.9 回路記述に必要な構文 ☆8ビット加算回路のfunctionの定義 ☆functionの呼び出し 3.1.9 回路記述に必要な構文 ☆8ビット加算回路のfunctionの定義 function [7:0] sum; input [7:0] a, b; sum = a + b; endfunction ビット幅 ファンクション名 宣言 ステートメント ☆functionの呼び出し wire [7:0] result, in0, in1; assign result = sum( in0, in1 ) ; 式 functionの呼び出しは「式」の中で行う。 したがって、代入文の右辺や下位モジュールの接続、他の関数の引き数などに用いる。 ※引き数:①仮引き数・・・functionの定義などで使われる仮の入力信号      ②実引き数・・・functionなどの呼び出し時に実際に与えられる信号

if文 2方向の分岐を記述する構文。 ステートメントに属するため、「always文」 ? 2方向の分岐を記述する構文。 ステートメントに属するため、「always文」  「initial文」「function」「task」の中だけで記述できる。 ① ② function [7:0] select; input s; input [7:0] in0, in1; begin if ( s==1’b0 ) select = in0; else select = in1; end endfunction assign dout = select( sel, d0, d1 ); module sel2to1 ( d0, d1, dsel1, dout ); input [7:0] d0, d1; input sel; output [7:0] dout; 式 ステートメント2 ステートメント1 直前のifに対応(なくてもよい) ↑モジュール直下では使えないためNG if ( sel==1’b0 ) dout = d0; else dout = d1; endmodule

case文 多方向の分岐を記述する構文。 caseに続いてカッコ内に記述した式の値が ケースアイテムに記述した式の値と一致した先を実行。 ? 多方向の分岐を記述する構文。 caseに続いてカッコ内に記述した式の値が  ケースアイテムに記述した式の値と一致した先を実行。 ① ② ③ function [7:0] select; input s; input [7:0] in0, in1; begin case ( s ) 1’b0: select = in0; 1’b1: select = in1; default: select = 8’hxx; endcase end endfunction assign dout = select( sel, d0, d1 ); 式 ステートメント3 ステートメント1 ケースアイテム ステートメント2