#! /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_0x55c07fb12c40 .scope module, "knightRiderTB" "knightRiderTB" 2 1;
 .timescale 0 0;
v0x55c07fb24010_0 .var "clk", 0 0;
v0x55c07fb240e0_0 .net "leds", 7 0, v0x55c07fb23ef0_0;  1 drivers
S_0x55c07fb12dd0 .scope module, "uut" "knightRider" 2 6, 3 1 0, S_0x55c07fb12c40;
 .timescale 0 0;
    .port_info 0 /INPUT 1 "clk";
    .port_info 1 /OUTPUT 8 "leds";
v0x55c07fad87f0_0 .net "clk", 0 0, v0x55c07fb24010_0;  1 drivers
v0x55c07fad8c00_0 .var "direction", 0 0;
v0x55c07fb23ef0_0 .var "leds", 7 0;
E_0x55c07fad7810 .event posedge, v0x55c07fad87f0_0;
    .scope S_0x55c07fb12dd0;
T_0 ;
    %pushi/vec4 7, 0, 8;
    %store/vec4 v0x55c07fb23ef0_0, 0, 8;
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0x55c07fad8c00_0, 0, 1;
    %end;
    .thread T_0;
    .scope S_0x55c07fb12dd0;
T_1 ;
    %wait E_0x55c07fad7810;
    %load/vec4 v0x55c07fad8c00_0;
    %pad/u 32;
    %cmpi/e 0, 0, 32;
    %jmp/0xz  T_1.0, 4;
    %load/vec4 v0x55c07fb23ef0_0;
    %cmpi/e 224, 0, 8;
    %jmp/0xz  T_1.2, 4;
    %pushi/vec4 1, 0, 1;
    %assign/vec4 v0x55c07fad8c00_0, 0;
    %load/vec4 v0x55c07fb23ef0_0;
    %ix/load 4, 1, 0;
    %flag_set/imm 4, 0;
    %shiftr 4;
    %assign/vec4 v0x55c07fb23ef0_0, 0;
    %jmp T_1.3;
T_1.2 ;
    %load/vec4 v0x55c07fb23ef0_0;
    %ix/load 4, 1, 0;
    %flag_set/imm 4, 0;
    %shiftl 4;
    %assign/vec4 v0x55c07fb23ef0_0, 0;
T_1.3 ;
    %jmp T_1.1;
T_1.0 ;
    %load/vec4 v0x55c07fb23ef0_0;
    %cmpi/e 7, 0, 8;
    %jmp/0xz  T_1.4, 4;
    %pushi/vec4 0, 0, 1;
    %assign/vec4 v0x55c07fad8c00_0, 0;
    %load/vec4 v0x55c07fb23ef0_0;
    %ix/load 4, 1, 0;
    %flag_set/imm 4, 0;
    %shiftl 4;
    %assign/vec4 v0x55c07fb23ef0_0, 0;
    %jmp T_1.5;
T_1.4 ;
    %load/vec4 v0x55c07fb23ef0_0;
    %ix/load 4, 1, 0;
    %flag_set/imm 4, 0;
    %shiftr 4;
    %assign/vec4 v0x55c07fb23ef0_0, 0;
T_1.5 ;
T_1.1 ;
    %jmp T_1;
    .thread T_1;
    .scope S_0x55c07fb12c40;
T_2 ;
    %load/vec4 v0x55c07fb24010_0;
    %inv;
    %store/vec4 v0x55c07fb24010_0, 0, 1;
    %delay 2, 0;
    %jmp T_2;
    .thread T_2;
    .scope S_0x55c07fb12c40;
T_3 ;
    %vpi_call 2 16 "$dumpfile", "knightRider.vcd" {0 0 0};
    %vpi_call 2 17 "$dumpvars" {0 0 0};
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0x55c07fb24010_0, 0, 1;
    %delay 50, 0;
    %vpi_call 2 19 "$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>";
    "knightRiderTB.v";
    "knightRider.v";
