69 lines
2.0 KiB
Plaintext
69 lines
2.0 KiB
Plaintext
#! /usr/bin/vvp
|
|
:ivl_version "11.0 (stable)";
|
|
:ivl_delay_selection "TYPICAL";
|
|
:vpi_time_precision + 0;
|
|
:vpi_module "/usr/lib/x86_64-linux-gnu/ivl/system.vpi";
|
|
:vpi_module "/usr/lib/x86_64-linux-gnu/ivl/vhdl_sys.vpi";
|
|
:vpi_module "/usr/lib/x86_64-linux-gnu/ivl/vhdl_textio.vpi";
|
|
:vpi_module "/usr/lib/x86_64-linux-gnu/ivl/v2005_math.vpi";
|
|
:vpi_module "/usr/lib/x86_64-linux-gnu/ivl/va_math.vpi";
|
|
S_0x55ec01128cc0 .scope module, "seqBlinkTB" "seqBlinkTB" 2 1;
|
|
.timescale 0 0;
|
|
v0x55ec01139850_0 .var "clock", 0 0;
|
|
v0x55ec01139920_0 .net "leds", 3 0, v0x55ec01139650_0; 1 drivers
|
|
S_0x55ec01128e50 .scope module, "uut" "seqBlink" 2 6, 3 1 0, S_0x55ec01128cc0;
|
|
.timescale 0 0;
|
|
.port_info 0 /INPUT 1 "clock";
|
|
.port_info 1 /OUTPUT 4 "leds";
|
|
v0x55ec010f07f0_0 .net "clock", 0 0, v0x55ec01139850_0; 1 drivers
|
|
v0x55ec010f0c00_0 .var "count", 1 0;
|
|
v0x55ec01139650_0 .var "leds", 3 0;
|
|
v0x55ec01139710_0 .var "start", 3 0;
|
|
E_0x55ec01127bc0 .event posedge, v0x55ec010f07f0_0;
|
|
.scope S_0x55ec01128e50;
|
|
T_0 ;
|
|
%pushi/vec4 0, 0, 2;
|
|
%store/vec4 v0x55ec010f0c00_0, 0, 2;
|
|
%pushi/vec4 1, 0, 4;
|
|
%store/vec4 v0x55ec01139710_0, 0, 4;
|
|
%end;
|
|
.thread T_0;
|
|
.scope S_0x55ec01128e50;
|
|
T_1 ;
|
|
%wait E_0x55ec01127bc0;
|
|
%load/vec4 v0x55ec010f0c00_0;
|
|
%addi 1, 0, 2;
|
|
%assign/vec4 v0x55ec010f0c00_0, 0;
|
|
%load/vec4 v0x55ec01139710_0;
|
|
%ix/getv 4, v0x55ec010f0c00_0;
|
|
%shiftl 4;
|
|
%assign/vec4 v0x55ec01139650_0, 0;
|
|
%jmp T_1;
|
|
.thread T_1;
|
|
.scope S_0x55ec01128cc0;
|
|
T_2 ;
|
|
%pushi/vec4 0, 0, 1;
|
|
%store/vec4 v0x55ec01139850_0, 0, 1;
|
|
T_2.0 ;
|
|
%delay 5, 0;
|
|
%load/vec4 v0x55ec01139850_0;
|
|
%inv;
|
|
%store/vec4 v0x55ec01139850_0, 0, 1;
|
|
%jmp T_2.0;
|
|
%end;
|
|
.thread T_2;
|
|
.scope S_0x55ec01128cc0;
|
|
T_3 ;
|
|
%vpi_call 2 16 "$dumpfile", "lab5v.vcd" {0 0 0};
|
|
%vpi_call 2 17 "$dumpvars" {0 0 0};
|
|
%delay 100, 0;
|
|
%vpi_call 2 21 "$finish" {0 0 0};
|
|
%end;
|
|
.thread T_3;
|
|
# The file index is used to find the file name in the following table.
|
|
:file_names 4;
|
|
"N/A";
|
|
"<interactive>";
|
|
"seqBlinkTB.v";
|
|
"seqBlink.v";
|