第2章
ハードウェア記述言語 Veryl
CPU (Central Proccessing Unit, 中央演算処理装置)は、コンピュータを構成する主要な部品の1つであり、電気で動くとても複雑な回路で構成されています。
本書では「ハードウェア記述言語」によってCPUをの回路を記述します。回路を記述するといっても、いったい何をどうやって記述するのでしょうか?
まずは、論理回路を構成する方法から考えます。
2.1 ハードウェア記述言語
2.1.1 論理回路の構成
論理回路とは、デジタル(例えば0と1だけ)なデータを利用して、データを加工、保持する回路のことです。論理回路は、組み合わせ回路と順序回路に分類できます。
組み合わせ回路とは、入力に対して、一意に出力の決まる回路[2]のことです。例えば、1ビット同士の加算をする回路は図2.1、表2.1のように表されます。この回路は半加算器と呼ばれていて、1ビットのXとYを入力として受けとり、1ビットの和Sと桁上げCを出力します。入力(X、Y)が決まると出力(C、S)が一意に決まるため、半加算器は組み合わせ回路です。
![半加算器 (MIL記法の回路図)](images/03-veryl/halfadder.png)
図2.1: 半加算器 (MIL記法の回路図)
表2.1: 半加算器 (真理値表)
X | Y | C | S |
---|---|---|---|
0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 |
1 | 0 | 0 | 1 |
1 | 1 | 1 | 0 |
順序回路とは、入力と回路自身の状態によって一意に出力の決まる回路[2]です。例えば、入力が1になるたびにカウントアップして値を表示するカウンタを考えます(図2.2)。カウントアップするためには、今のカウンタの値(状態)を保持する必要があります。そのため、このカウンタは入力と状態によって一意に出力の決まる順序回路です。
1ビットの値はフリップフロップ(flip-flop, FF)という回路によって保持できます。フリップフロップをN個並列に並べると、Nビットの値を保持できます。フリップフロップを並列に並べた記憶装置のことをレジスタ(register, 置数器)と呼びます。基本的に、レジスタの値はリセット信号(reset signal, reset)によって初期化し、クロック信号(clock signal, clock)に同期したタイミングで変更します。
![カウンタ (順序回路の例)](images/03-veryl/downcounter.png)
図2.2: カウンタ (順序回路の例)
論理回路を設計するには、真理値表を作成し、それを実現する論理演算を構成します。入力数や状態数が数十個ならどうにか人力で設計できるかもしれませんが、数千、数万の入力や状態があるとき、手作業で設計するのはほとんど不可能です。これを設計するために、ハードウェア記述言語を利用します。
2.1.2 ハードウェア記述言語
ハードウェア記述言語(Hardware Description Language, HDL)とは、デジタル回路を設計するための言語です。例えばHDLであるSystemVerilogを利用すると、半加算器はリスト2.1のように記述できます。
module HalfAdder( input logic x, // 入力値X input logic y, // 入力値Y output logic c, // 出力値C output logic s // 出力値S ); assign c = x & y; // &はAND演算 assign s = x ^ y; // ^はXOR演算 endmodule
半加算器(HalfAdder)モジュールは、入力としてxとyを受け取り、出力cとsにxとyを使った演算を割り当てています。
また、レジスタを利用した回路をリスト2.2のように記述できます。レジスタの値を、リセット信号rst
が0
になったタイミングで0
に初期化し、クロック信号clk
が1
になったタイミングでカウントアップします。
module Counter( input logic clk, // クロック信号 input logic rst // リセット信号 ); // 32ビットのレジスタの定義 logic [31:0] count; always_ff @(posedge clk, negedge rst) begin if (!rst) begin // rstが0になったとき、countを0に初期化する count <= 0; end else begin // clkが1になったとき、countの値をカウントアップする count <= count + 1; end end endmodule
HDLを使用した論理回路の設計は、レジスタの値と入力値を使った組み合わせ回路と、その結果をレジスタに格納する操作の記述によって行えます。このような、レジスタからレジスタに、組み合わせ回路を通したデータを転送する抽象度のことをレジスタ転送レベル(Register Transfer Level, RTL)と呼びます。
HDLで記述されたRTLを実際の回路のデータに変換することを合成と呼びます。合成するソフトウェアのことを合成系と呼びます。
2.1.3 Veryl
メジャーなHDLといえば、Verilog HDL、SystemVerilog, VHDLなどが挙げられます。
Verilog HDL(Verilog)とVHDLは1980年代に開発された言語であり、最近のプログラミング言語と比べると機能が少なく、冗長な記述が必要です。SystemVerilogはVerilogのスーパーセットです。言語機能が増えて便利になっていますが、スーパーセットであることから、あまり推奨されない古い書き方が可能だったり、バグの原因となるような良くない仕様*1を受け継いでいます。
[*1] 例えば、未定義の変数が1ビット幅の信号線として解釈される仕様があります
本書では、CPUの実装にVerylというHDLを使用します。Verylは2022年12月に公開された言語です。Verylの抽象度は、Verilogと同じくレジスタ転送レベルです。Verylの文法や機能は、VerilogやSystemVerilogに似通ったものになっています。しかし、if式やcase式、クロックとリセットの抽象化、ジェネリクスなどの痒い所に手が届く機能が提供されており、高い生産性を発揮します。
Verylのソースコードはコンパイラ(トランスパイラ)によって、自然で読みやすいSystemVerilogのソースコードに変換されます。そのため、Verylは旧来のSystemVerilogの環境と共存でき、SystemVerilogの資産を利用できます。
注意
本書は2024/11/3時点のVeryl(バージョン0.13.2)を、本書で利用する範囲の文法と機能を解説しています。Verylはまだ開発中(安定版がリリースされていない)状態の言語であるため、破壊的変更が入り、記載しているコードが使えなくなる可能性があります。
2.2 Verylの基本文法、機能
それでは、Verylの書き方を学んでいきましょう。Verylのドキュメントはhttps://doc.veryl-lang.org/book/ja/に存在します。また、Veryl Playgroundでは、VerylのSystemVerilogへのトランスパイルをウェブブラウザ上でお試しできます。
2.2.1 コメント
Verylでは次のようにコメントを記述できます(リスト2.3)。
// 1行のコメント /* 範囲コメント */ /* 範囲コメントは改行してもOK */
2.2.2 値、リテラル
論理回路では、デジタルな値を扱います。デジタルな値は0
と1
の二値(2-state)で表現されますが、一般的なハードウェア記述言語では、0
と1
にx
とz
を加えた四値(4-state)が利用されます(表2.2)。
表2.2: 4-stateの値
値 | 意味 | 真偽 |
---|---|---|
0 | 0 | 偽 |
1 | 1 | 真 |
x | 不定値 | 偽 |
z | ハイインピーダンス | 偽 |
不定値(unknown value, x
)とは、0
か1
のどちらか分からない値です。不定値は、未初期化のレジスタの値の表現に利用されたり、不定値との演算の結果として生成されます。ハイインピーダンス(high-inpedance, z
)とは、どのレジスタや信号とも接続されていないことを表す値です。物理的なハードウェア上では、全ての値は0
か1
の二値として解釈されますが、信号の状態としてハイインピーダンスを持ちます。不定値はシミュレーションのときに利用します。
1ビットの四値を表現するための型はlogicです。Nビットのlogic型はlogic<N>
と記述できます。1ビットの二値を表現する型はbitです。基本的に、レジスタや信号の定義にbit型は利用せず、logic型を利用します。
logic型とbit型は、デフォルトで符号が無い型として扱われます。符号付き型として扱いたいときは、型名の前にsignedキーワードを追加します(リスト2.4)。
signed logic<4> // 4ビットの符号付きlogic型 signed bit<2> // 2ビットの符号付きbit型
32ビットと64ビットのbit型を表す型が定義されています(表2.3)。
表2.3: 整数型
型名 | 等価な型 |
---|---|
u32 | bit<32> |
u64 | bit<64> |
i32 | signed bit<32> |
i64 | signed bit<64> |
数値はリスト2.5のように記述できます。
4'b0101 // 4ビットの数値 (2進数表記) 4'bxxzz // 4ビットの数値 (2進数表記) 12'o34xz // 12ビットの数値 (8進数表記) 32'h89abcdef // 32ビットの数値 (16進数表記) 123 // 10進数の数値 32'd12345 // 32ビットの数値 (10進数表記) // 数値リテラルの好きな場所に_を挿入できる 1_2_34_567 // xとzは大文字でも良い 4'bxXzZ // 全ビット0、1、x、zにする '0 '1 'x 'z // 指定したビット幅だけ0、1、x、zにする 8'0 // 8ビット0 8'1 // 8ビット1 8'x // 8ビットx 8'z // 8ビットz // 幅を指定しない場合、幅が自動で推定される 'hffff // 16ビット 'h1fff // 13ビット (13'b1_1111_1111_1111)
文字列はstring型で表現できます。文字列の値はリスト2.6のように記述できます。
"Hello World!" // 文字列リテラル "abcdef\nabc" // エスケープシーケンスを含む文字列リテラル
2.2.3 module
論理回路はモジュール(Module)というコンポーネントで構成されます。例えば、半加算器のモジュールは次のように定義できます(リスト2.7).
module HalfAdder ( x: input logic, // 1ビットのlogic型の入力 y: input logic, // 1ビットのlogic型の入力 s: output logic, // 1ビットのlogic型の出力 c: output logic, // 1ビットのlogic型の出力 ) { always_comb { s = x ^ y; // sにx XOR yを代入 c = x & y; // cにx AND yを代入 } }
HalfAdderモジュールには、入力変数としてx
とy
、出力変数としてs
とc
が宣言されています。入出力の変数のことを接続ポート、または単にポートと呼びます。
入力ポートを定義するとき、モジュール名の後の括弧の中に、変数名 : input 型名
と記述します。出力ポートを宣言するときはinput
の代わりにoutput
と記述します。複数のポートを宣言するとき、宣言の末尾にカンマ(,
)を記述します。
変数のブロッキング代入
HalfAdderモジュールでは、always_combブロックの中で出力変数s
とc
に値を代入しています。変数への代入は変数名 = 式;
で行います。always_combブロック内での代入のことを、ブロッキング代入(blocking assignment)と呼びます。
通常のプログラミング言語での代入とは、スタック領域やレジスタに存在する変数に値を格納することです。これに対してalways_combブロック内での代入は、式が評価(計算)された値が変数に1度だけ代入されるのではなく、変数の値は常に式の計算結果になります。
具体例で考えます。例えばalways_combブロックの中で、1ビットの変数x
に1ビットの変数y
を代入します(リスト2.8)。
always_comb { x = y; }
y
の値が時間経過により0
→1
→0
→1
→0
と変化したとします。このとき、x
の値はy
が変わるのと同時に変化します(図2.3)。図2.3は、時間を横軸、x
とy
の値を線の高低で表しています。図2.3のような図を波形図(waveform)、または単に波形と呼びます。
x
にy
ではなくa + b
を代入すると、a
かb
の変化をトリガーにx
の値が変化します。
![xはyの値の変化に追従する](images/03-veryl/assign_wave.png)
図2.3: xはyの値の変化に追従する
always_combブロックには複数の代入文を記述できます。このとき、代入文は上から順番に実行(逐次実行)されます。
always_comb { s = X; a = s; // a = X s = Y; b = a; // b = Y }
例えばリスト2.9では、a
にはX
が代入されますが、b
にはY
が代入されます。変数a
とb
とs
は、変数X
かY
の変化をトリガーに値が更新されます。
1つの変数にしかブロッキング代入しないとき、assign文でもブロッキング代入できます(リスト2.10)。
// assign 変数名 = 式; assign a = b + 100;
always_combブロック内での代入と同じように、リスト2.10ではb
の変化をトリガーにa
の値が変化します。
ブロッキング代入は論理回路の状態(レジスタ)を変更しません。そのため、ブロッキング代入文は組み合わせ回路になります。
変数の宣言
モジュールの中では、var文によって新しく変数を宣言できます(リスト2.11)。
// var 変数名 : 型名; var value : logic<32>;
var文で宣言した変数に対してブロッキング代入できます。
let文を使うと、変数の宣言とブロッキング代入を同時に行えます(リスト2.12)。
// let 変数名 : 型名 = 式; let value : logic<32> = 100 + a;
レジスタの定義と代入
変数を宣言するとき、変数に式がブロッキング代入されない場合、変数はレジスタとして解釈できます(リスト2.13)。
// var レジスタ名 : 型名; var reg_value : logic<32>; // reg_valueにブロッキング代入しない
本書ではレジスタのことを変数、または変数のことをレジスタと呼ぶことがあります。
レジスタの値はクロック信号に同期したタイミングで変更し、リセット信号に同期したタイミングで初期化します(図2.4)。本書では、クロック信号が立ち上がる(0
から1
に変わる)タイミングでレジスタの値を変更し、リセット信号が立ち下がる(1
から0
に変わる)タイミングでレジスタの値を初期化することとします。
![レジスタ(value)の値はクロック信号(clk)が立ち上がるタイミングで変わる](images/03-veryl/register_wave.png)
図2.4: レジスタ(value)の値はクロック信号(clk)が立ち上がるタイミングで変わる
レジスタの値は、always_ffブロックで初期化、変更します(リスト2.14)。always_ffブロックには、値の変更タイミングのためのクロック信号とリセット信号を指定します。
// レジスタの定義 var value : logic<32>; // always_ff(クロック信号, リセット信号) always_ff(clk, rst) { if_reset { // リセット信号のタイミングで0に初期化する value = 0; } else { // クロック信号のタイミングでカウントアップする value = value + 1; } }
if_reset文の中の文は、リセット信号のタイミングで実行されます。if_reset文にelse文を付けることで、クロック信号のタイミングで処理を実行できます。レジスタの値をリセットしない場合、リセット信号とif_reset文を省略できます。逆に、リセット信号を指定する場合は必ずif_reset文を書かなければいけません。
クロック信号はclock型、リセット信号はreset型で定義します。モジュールのポートに1組のクロック信号とリセット信号が定義されているとき、always_ffブロックのクロック信号とリセット信号の指定を省略できます(リスト2.15)。
module ModuleA( clk: input clock, rst: input reset, ){ // always_ff(clk, rst)と等しい always_ff {} }
レジスタの値は、同じタイミングで動くalways_ffブロックの中の全ての代入文の右辺を評価した後に変更されます(リスト2.16)。この代入はブロッキング代入と違って逐次実行されないので、ノンブロッキング代入(non-blocking assignment)と呼びます。
2つ以上のalways_ffブロックで、1つの同じレジスタの値を変更することはできません。
// 全ての代入文の右辺を評価した後に、AとBが変更される // その結果、AとBの値が入れ替わる always_ff(clk, rst) { A = B; } always_ff(clk, rst) { B = A; }
リスト2.16のA
とB
の代入文は、1つのalways_ffブロックにまとめて記述できます(リスト2.17)。この場合もリスト2.16と同様に、A
とB
の代入文の右辺を評価した後に、レジスタの値が変更されます。
always_ff { // AとBの値を入れ替える A = B; B = A; }
本書ではブロッキング代入とノンブロッキング代入を区別せず、どちらも代入と呼ぶことがあります。
変数への代入方法と動作を表2.4にまとめます。大変間違えやすいため、気を付けてください。
表2.4: 変数への代入方法と動作の違い
代入場所 | 代入文の名称 | 更新タイミング |
---|---|---|
always_comb | ブロッキング代入 | ブロック内の式で参照されている変数が更新されたとき。 上から順に実行される。 |
always_ff | ノンブロッキング代入 | クロック信号、リセット信号のタイミング。 同じタイミングで実行される全ての代入文の右辺を評価した後 にレジスタの値が変更される。 |
モジュールのインスタンス化
あるモジュールを利用したいとき、モジュールをインスタンス化(instantiate)することにより、モジュールの実体を宣言できます。
モジュールは、instキーワードによってインスタンス化できます(リスト2.18)。
module ModuleA { // モジュールと接続するための変数の宣言 let x : logic = 0; let y : logic = 1; var s : logic; var c : logic; // inst インスタンス名 : モジュール名(ポートとの接続); inst ha1 : HalfAdder( x: x, // ポートxに変数xを接続する y: y, s, // ポート名と変数名が同じとき、ポート名の指定を省略できる c, ); }
インスタンス名が違えば、同一のモジュールを2つ以上インスタンス化できます。
パラメータ、定数
モジュールには、インスタンス化するときに変更可能な定数(パラメータ)を用意できます。
モジュールのパラメータは、ポート宣言の前の#()
の中でparamキーワードによって宣言できます(リスト2.19)。
module ModuleA #( // param パラメータ名 : 型名 = デフォルト値 param WIDTH : u32 = 100, // u32型のパラメータ param DATA_TYPE : type = logic, // type型のパラメータには型を指定できる ) ( // ポートの宣言 ) {}
モジュールをインスタンス化するとき、ポートの割り当てと同じようにパラメータの値を割り当てられます(リスト2.20)。
inst ma : ModuleA #( // パラメータの割り当て WIDTH: 10, DATA_TYPE: logic<10> ) ( /* ポートの接続 */ );
パラメータに指定する値は、合成時に確定する値(定数)である必要があります。
モジュール内では、変更不可能なパラメータ(定数)を定義できます。定数を定義するにはconstキーワードを使用します(リスト2.21)。
// const 定数名 : 型名 = 式; // 式に変数が含まれてはいけない const SECRET : u32 = 42;
2.2.4 ユーザー定義型
構造体型
構造体(struct)とは、複数のデータから構成される型です。例えば、リスト2.22のように記述すると、logic<32>
とlogic<16>
の2つのデータから構成される型を定義できます。
// struct 型名 { フィールドの定義 } struct MyPair { // 名前 : 型 word: logic<32>, half: logic<16>, }
構造体の要素(フィールド, field)には.
を介してアクセスできます(リスト2.23)。
// 構造体型の変数の宣言 var pair: MyPair; // フィールドにアクセスする let w : logic<32> = pair.word; // フィールドに値を割り当てる always_comb { pair.word = 12345; }
列挙型
複数の値の候補から値を選択できる型を作りたいとき、列挙型(enumerable type)を利用できます。列挙型の値の候補のことをバリアント(variant)と呼びます。
例えば、A、B、C、Dのいずれかのバリアントをとる型は次のように定義できます(リスト2.24)。
// enum 型名 : logic<バリアント数を保持できるだけのビット数> { バリアントの定義 } enum abcd : logic<2> { // バリアント名 : バリアントを表す値, A = 2'd0, B = 2'd1, C = 2'd2, D = 2'd3, }
enum型の値は型名::バリアント名
で利用できます(リスト2.25)。
// enum型の変数の定義 let v : abcd = abcd::A;
バリアントを表す値や、バリアントを保持できるだけのビット数は省略できます(リスト2.26)。
enum abcd { A, B, C, D }
配列
<>
を使用することで、多次元の型を定義できます(リスト2.27)。<>
を使用して構成される型の要素は、連続した領域に並ぶことが保証されます(図2.5)。
logic<N> // Nビットのlogic型 logic<A, B> // BビットのlogicがA個並ぶ型
![<>の型の要素は連続した領域に並ぶ (例 : v[1][0]とv[0][3]が隣り合う)](images/03-veryl/packed_array.png)
図2.5: <>の型の要素は連続した領域に並ぶ (例 : v[1][0]とv[0][3]が隣り合う)
[]
を使用することでも、多次元の型を定義できます(リスト2.28)。ただし、[]
を使用して構成される型の要素は、連続した領域に並ぶことが保証されません。
// 型名[個数] で、"型名"型が"個数"個の配列になる logic[32] // 要素数が32のlogicの配列型 logic[4, 8] // logicが8個の配列が4個ある配列型
型に別名をつける
typeキーワードを使うと、型に別名を付けられます(リスト2.29)。
// type 名前 = 型; type ptr = logic<32>; type ptr_array = ptr<32>;
2.2.5 式、文、宣言
ビット選択
![ビット選択](images/03-veryl/bitsel.png)
図2.6: ビット選択
変数の任意のビットを切り出すには[]
を使用します(図2.6)。範囲の選択には[:]
を使用します。最上位ビット(most significant bit, MSB)はmsbキーワード、最下位ビット(least significant bit, LSB)はlsbキーワードで指定できます。選択する場所の指定には式を使えます。
よく使われる範囲の選択には、別の書き方が用意されています(リスト2.30)。
v[s +: w] // = v[s+w-1 : s ] v[s -: w] // = v[s : s-w+1] v[i step w] // = v[i*(w+1) : i*w ] = v[i*w +: w]
演算子
Verylでは、表2.5の演算子を使用できます。ほとんどの演算子と優先度は通常のプログラミング言語と同じですが、ビット演算の種類が多かったり、x
とz
を考慮した演算があるなどの違いがあります。
SystemVerilogとの差異を説明すると、++
、--
、:=
、:/
、<=
(代入)、?:
(三項演算子)が無く、<
と>
がそれぞれ<:
と>:
に変更されています。また、inside
と{{}}
の形式が変更され、if式、case式、switch式が追加されています。
単項、二項演算子の使用例は次の通りです(リスト2.31)。
// 単項算術演算 a = +1; a = -1; // 正負を反転させる // 単項論理演算 a = !1; // 否定 (真偽を反転させる) a = ~1; // ビット反転 (0を1、1を0にする) // 単項集約演算 // // 集約: 左のビットから順に1ビットずつビット演算する // 例: k = 3'b110のとき、&k = 0 // &k = 1 & 1 & 0 // まず、k[msb]とk[1]をANDして1を得る。 // 次に、その結果とk[0]をANDして0を得る。 // この値が&kの結果になる。 a = &1; // AND a = |1; // OR a = ^1; // XOR a = ~&1; // NAND a = ~|1; // NOR a = ~^1; // XNOR a = ^~1; // XNOR // 二項算術演算 a = k ** p; // kのp乗 a = 1 * 1; // かけ算 a = 1 / 1; // 割り算 a = 1 % 1; // 剰余 a = 1 + 1; // 足し算 a = 1 - 1; // 引き算 // シフト演算 // 注意 : 右オペランド(シフト数)は符号無しの数として扱われる a = k << n; // kをnビット左シフトする。空いたビットは0で埋める a = k <<< n; // <<と同じ a = k >> n; // kをnビット右シフトする。空いたビットは0で埋める a = k >>> n; // kが符号無しのとき>>と同じ。符号付きのとき、空いたビットはMSBで埋める // 比較演算 a = n <: m; // nはm未満 a = n <= m; // nはm以下 a = n >: m; // nはmよりも大きい (mを含まない) a = n >= m; // nはm以上 (mを含む) a = n == m; // nはmと等しい (xかzを含む場合、x) a = n != m; // nはmと等しくない (xかzを含む場合、x) a = n === m; // nはmと等しい (xとzを含めて完全に一致) a = n !== m; // nはmと等しくない (xとzを含めて完全に一致) a = n ==? m; // ===と同じ。ただし、mに含まれるx,zはワイルドカードになる a = n !=? m; // !(==?)と同じ // ビット演算 (ビット単位, bitwise) a = 1 & 1; // ビット単位AND a = 1 ^ 1; // ビット単位XOR a = 1 ~^ 1; // ビット単位XNOR a = 1 ^~ 1; // ビット単位XNOR a = 1 | 1; // ビット単位OR // 二項論理演算 a = x && y; // xとyの両方が真のとき真 a = x || y; // xまたはyが真のとき真
表2.5: 演算子と優先度 [3]
演算子 | 結合性 | 優先順位 |
---|---|---|
() [] :: . | 左 | 高い |
+ - ! ~ & ~& | ~| ^ ~^ ^~ (単項) | 左 | |
** | 左 | |
* / % | 左 | |
+ - (二項) | 左 | |
<< >> <<< >>> | 左 | |
<: <= >: >= | 左 | |
== != === !== ==? !=? | 左 | |
& (二項) | 左 | |
^ ~^ ^~ (二項) | 左 | |
| (二項) | 左 | |
&& | 左 | |
|| | 左 | |
= += -= *= /= %= &= ^= |= <<= >>= <<<= >>>= | なし | |
{} inside outside if case switch | なし | 低い |
if、switch、case
条件によって動作や値を変えたいとき、if文を使用します (リスト2.32)。if文は式にできます。if式は必ず値を返す必要があり、elseが必須です。
var v : logic<32>; always_comb { if WIDTH == 0 { // WIDTH == 0のとき v = 0; } else if WIDTH == 1 { // WIDTH != 0かつWIDTH == 1のとき v = 1; } else { // WIDTH != 0かつWIDTH != 1のとき v = if WIDTH == 3 { // ifは式にもなる 3 } else { // if式はelseが必須 4 }; } }
always_combブロック内で変数に代入するとき、if文の全ての場合で代入する必要があることに注意してください(v
は常に代入されています)。
リスト2.32と同じ意味の文をswitch文で書けます(リスト2.33)。どの条件にも当てはまらないときの動作はdefaultで指定します。switchは式にできます。switch式は必ず値を返す必要があり、defaultが必須です。
var v : logic<32>; always_comb { switch { // WIDTH == 0のとき WIDTH == 0: { v = 0; } // WIDTH != 0かつWIDTH == 1のとき WIDTH == 1: v = 1; // 要素が1つの文のとき、{}は省略できる // WIDTH != 0かつWIDTH != 1のとき default: // switch式 v = switch { WIDTH == 3: 3, // カンマで区切る default : 4, // switch式はdefaultが必須 }; } }
リスト2.32のように1つの要素(WIDTH
)の一致のみが条件のとき、同じ意味の文をcase文で書けます(リスト2.34)。式にできたり、式にdefaultが必須なのはswitch文と同様です。
var v: logic<32>; always_comb { case WIDTH { // WIDTH == 0のとき 0: { v = 0; } // WIDTH != 0かつWIDTH == 1のとき 1: v = 1; // 要素が1つの文のとき、{}は省略できる // WIDTH != 0かつWIDTH != 1のとき default: // case式 v = case WIDTH { 3: 3, // カンマで区切る default : 4, // case式はdefaultが必須 }; } }
連結、repeat
ビット列や文字列を連結したいとき、{}
を使用できます(リスト2.35)。+
では連結できない(値の足し算になる)ことに注意してください。同じビット列、文字列を繰り返して連結したいときはrepeatキーワードを使用します(リスト2.36)。
{12'h123, 32'habcd0123} // 44'h123_abcde0123になる {"Hello", " ", "World!"} // "Hello World!"になる
// {繰り返したい要素 repeat 繰り返す回数} {4'0011 repeat 3, 4'b1111} // 16'b0011_0011_0011_1111になる {"Happy" repeat 3} // "HappyHappyHappy"になる
for
for文はループを実現するための文です。for文はリスト2.37のように記述できます。例えばループ変数が0から31になるまで(32回)繰り返すなら、範囲に0..32
、または0..=31
と記述します。範囲には定数のみ指定できます。
// for ループ変数名: 型 in 範囲 { 処理 } for i: u32 in 0..32 { ... }
break文を使うとループから抜け出せます。例えばリスト2.38ではx
の値は256になります。
var x: u32; always_comb { x = 0; for _: u32 in 0..1024 { if x == 256 { break; } x += 1; } }
inside、outside
値がある範囲に含まれているかという条件を記述したいとき、inside式を利用できます。inside 式 {範囲}
で、式の結果が範囲内にあるかという条件を記述できます(リスト2.39)。逆に、範囲外にあるという条件はoutside式で記述できます。
inside n {0..10} // nが0以上10未満のとき1 inside n {0..=10} // nが0以上10以下のとき1 inside n {0, 1, 3} // nが0、1、3のいずれかのとき1 inside n {0, 2..10} // nが0、または2以上10未満のとき1 // outsideはinsideの逆 outside n {0..10} // nが0未満、または10より大きいとき1 outside n {0, 1, 3} // nが0、1、3以外の値のとき1
function
何度も記述する操作や計算は、関数(function)を使うことでまとめて記述できます(リスト2.40)。関数は値を引数で受け取り、return文で値を返します。値を返さないとき、戻り値の型の指定を省略できます。
引数には向きを指定できます。functionの実行を開始するとき、input
として指定されている実引数の値が仮引数にコピーされます。functionの実行が終了するとき、output
として指定されている仮引数の値が実引数の変数にコピーされます。outputを使用することで、変数に値を割り当てることができます。
// べき乗を返す関数 function get_power( a : input u32, b : input u32, ) -> u32 { return a ** b; } val v1 : logic<32>; val v2 : logic<32>; always_comb { v1 = get_power(2, 10); // v1 = 1024 v2 = get_power(3, 3); // v2 = 27 } // a + 1をbに代入する関数 function assign_plus1( a : input logic<32>, b : output logic<32>, ) { // 戻り値はないので省略 b = a + 1; } val v3 : logic<32>; always_comb { assign_plus1(v1, v3); // v3 = v1 + 1 }
2.2.6 interface
モジュールに何個もポートが存在するとき、ポートの接続は非常に手間のかかる作業になります。例えばリスト2.41では、向きが対になっているポートがModuleAとModuleBに定義されており、これを一つ一つ接続しています。
module ModuleA ( req_a: output logic, req_b: output logic, req_c: output logic, ){} module ModuleB ( resp_a: input logic, resp_b: input logic, resp_c: input logic, ){} module Top{ var a: logic; var b: logic; var c: logic; inst ma : ModuleA ( req_a:a, req_b:b, req_c:c, ); inst mb : ModuleB ( resp_a:a, resp_b:b, resp_c:c, ); }
モジュール間のポートの接続を簡単に行うために、インターフェース(interface)という機能が用意されています。リスト2.41のModuleAとModuleBを相互接続するようなインターフェースは次のように定義できます(リスト2.42)。
// interface インターフェース名 { } interface iff_ab { var a : logic; var b : logic; var c : logic; modport req { a: input, b: input, c: input, } modport resp { a: output, b: output, c: output, } }
iff_abインターフェースを利用すると、リスト2.41を簡潔に記述できます(リスト2.43)。
module ModuleA ( req : modport iff_ab::req, ){} module ModuleB ( resp : modport iff_ab::resp, ){} module Top{ // インターフェースのインスタンス化 inst iab : iff_ab; inst ma : ModuleA (req: iab); inst mb : ModuleB (resp: iab); }
インターフェースはポートの宣言と接続を抽象化します。インターフェース内に変数を定義すると、modport文によってポートと向きを宣言できます。モジュールでのポートの宣言は、ポート名 : modport インターフェース名::modport名
と記述できます。modportで宣言されたポートにインターフェースのインスタンスを渡すことにより、ポートの接続を一気に行えます。
モジュールと同じように、インターフェースにはパラメータを宣言できます(リスト2.44)。
// interface インターフェース名 #( パラメータの定義 ) { } interface iff_params # ( param PARAM_A : u32 = 100, param PARAM_B : u64 = 200, ){ }
インターフェース内には関数の定義やalways_combブロック、always_ffブロックなどの文を記述できます。
2.2.7 package
複数のモジュールやインターフェースにまたがって使用したいパラメータや型、関数はパッケージ(package)に定義できます(リスト2.45)。
package PackageA { const WIDTH : u32 = 1234; type foo = logic<WIDTH>; function bar () -> u32 { return 1234; } }
パッケージに定義した要素には、パッケージ名::要素名
でアクセスできます(リスト2.46)。
module ModuleA { const W : u32 = PackageA::WIDTH; var value1 : PackageA::foo; let value2 : u32 = PackageA::bar(); }
import文を使用すると、要素へのアクセス時にパッケージ名の指定を省略できます(リスト2.47)。
import PackageA::WIDTH; // 特定の要素をimportする import PackageA::*; // 全ての要素をimportする
2.2.8 ジェネリクス
関数やモジュール、インターフェース、パッケージ、構造体はジェネリクス(generics)によってパラメータ化できます。
例えば、要素に任意の型TやWビットのデータを持つ構造体は、次のようにジェネリックパラメータ(generic parameter)を使うことで定義できます(リスト2.48)。ジェネリックパラメータに渡される値は、ジェネリクスの定義位置からアクセスできる定数である必要があります。
module ModuleA { // ::<>でジェネリックパラメータを定義する // constで数値を受け取る struct StructA::<W: const> { A: logic<W>, } // 複数のジェネリックパラメータを定義できる // typeで型を受け取る // デフォルト値を設定できる struct StructB::<W: const, T: type, D:const = 100> { A: logic<W>, B: T, C: logic<D> } // ::<>でジェネリックパラメータを指定する type A = StructA::<16>; type B = StructB::<17, A>; type C = StructB::<18, B, 19>; }
2.2.9 その他の機能、文
initial、final
initialブロックの中の文はシミュレーションの開始時に実行されます。finalブロックの中の文はシミュレーションの終了時に実行されます(リスト2.49)。
module ModuleA { initial { // シミュレーション開始時に実行される } final { // シミュレーション終了時に実行される } }
SystemVerilogとの連携
SystemVerilogのモジュールやパッケージ、インターフェースを利用できます。SystemVerilogのリソースにアクセスするには$sv::
を使用します(リスト2.50)。
module ModuleA { // SystemVerilogでsvpackageとして // 定義されているパッケージを利用する let x = $sv::svpackage::X; let y = $sv::svpackage::Y; var s: logic; var c: logic; // SystemVerilogでHalfAdderとして // 定義されているモジュールをインスタンス化する inst ha : $sv::HalfAdder( x, y, s, c ); // SystemVerilogでsvinterfaceとして // 定義されているインターフェースをインスタンス化する inst c: $sv::svinterface; }
SystemVerilogのソースコードを直接埋め込み、展開できます(リスト2.51)。
// SystemVerilog記述を直接埋め込む embed (inline) sv{{{ module ModuleA( output logic a ); assign a = 0; endmodule }}} // SystemVerilogのソースファイルを展開する // パスは相対パス include(inline, "filename.sv");
システム関数、システムタスク
SystemVerilogに標準で用意されている関数(システム関数、システムタスク)を利用できます。システム関数(system function)とシステムタスク(system task)の名前は$
から始まります。本書で利用するシステム関数とシステムタスクを表2.6に列挙します。
表2.6: 本書で使用するシステム関数、システムタスク
関数名 | 機能 | 戻り値 |
---|---|---|
$clog2 | 値のlog2のceilを求める | 数値 |
$size | 配列のサイズを求める | 数値 |
$bits | 値の幅を求める | 数値 |
$signed | 値を符号付きとして扱う | 符号付きの値 |
$readmemh | レジスタにファイルのデータを代入する | なし |
$display | 文字列を出力する | なし |
$error | エラー出力する | なし |
$finish | シミュレーションを終了する | なし |
それぞれの使用例は次の通りです(リスト2.52)。システム関数やシステムタスクを利用するときは、通常の関数呼び出しのように使用します。
const w1 : u32 = $clog2(32); // 5 const w2 : u32 = $clog2(35); // 6 var array : logic<4,8>; const s1 : u32 = $size(array); // 4 const s2 : u32 = $bits(array); // 32 var uvalue : u32; let svalue : i32 = $signed(uvalue) + 1; initial { $readmemh("file.hex", array); $display("Hello World!"); $error("Error!"); $finish(); }
アトリビュート
アトリビュートを使うと、宣言に注釈をつけられます。例えばリスト2.53は、リスト2.54にトランスパイルされます。
#[sv("keep=\"true\"")] var aaa : logic; #[ifdef(IS_DEBUG)] var bbb : logic; #[ifndef(TEST)] var ccc : logic;
(* keep="true" *) logic aaa; `ifdef IS_DEBUG logic bbb; `endif `ifndef TEST logic ccc; `endif
#[sv()]
は、宣言にSystemVerilogの属性を付けられます。属性は使用するときに説明します。#[ifdef(マクロ名)]
をつけられた宣言は、マクロが存在するときにのみ定義されるようになります。#[ifndef(マクロ名)]
はその逆で、マクロが存在しないときにのみ定義されるようになります。
アトリビュートはポートやパラメータ、ブロック、モジュール、インターフェース、パッケージなど、どの宣言にも付けることができます。
標準ライブラリ
Verylには、よく使うモジュールなどが標準ライブラリとして準備されています。標準ライブラリはhttps://std.veryl-lang.org/で確認できます。
本書では標準ライブラリを使用していないため、説明は割愛します。