WSL上でIcarus Verilogをソースからインストール

UbuntuのパッケージでインストールしたIcarus Verilogではassertを使えないので、ソースからビルドする。

sudo apt install autoconf gperf build-essential flex bison

cd iverilog

sh autoconf.sh

./configure

make

sudo make install

以下のテストベンチが通ればOK。

code:sh

$ iverilog -g 2012 -s AND_TESTBENCH and.sv && ./a.out

テストベンチのソースはこちら。

code:and.sv

module NAND(

input in1, in2,

output out

);

assign out = ~(in1 & in2);

endmodule

module AND(

input in1, in2,

output out

);

wire nand1_out;

NAND nand1(in1, in2, nand1_out);

assign out = ~nand1_out;

endmodule

module AND_TESTBENCH();

reg in1, in2;

wire out;

AND dut(in1, in2, out);

initial begin

assert(out == 0) $display("PASSED"); else $display("FAILED");

assert(out == 0) $display("PASSED"); else $display("FAILED");

assert(out == 0) $display("PASSED"); else $display("FAILED");

assert(out == 1) $display("PASSED"); else $display("FAILED");

end

endmodule