Verilog-ARMv4/counter_test.vvp at master · cairhart/Verilog-ARMv4 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
#! /usr/local/bin/vvp
:ivl_version "11.0 (devel)" "(s20150603-590-g6887c31)";
:ivl_delay_selection "TYPICAL";
:vpi_time_precision + 0;
:vpi_module "system";
:vpi_module "vhdl_sys";
:vpi_module "vhdl_textio";
:vpi_module "v2005_math";
:vpi_module "va_math";
S_0xf2fb90 .scope module, "test" "test" 2 1;
 .timescale 0 0;
v0xf79730_0 .var "clk", 0 0;
v0xf79800_0 .var "reset", 0 0;
v0xf798d0_0 .net "value", 7 0, v0xf79500_0;  1 drivers
S_0xf2fd20 .scope module, "c1" "counter" 2 18, 3 1 0, S_0xf2fb90;
 .timescale 0 0;
    .port_info 0 /OUTPUT 8 "out";
    .port_info 1 /INPUT 1 "clk";
    .port_info 2 /INPUT 1 "reset";
P_0xf67660 .param/l "WIDTH" 0 3 3, +C4<00000000000000000000000000001000>;
v0xf67fa0_0 .net "clk", 0 0, v0xf79730_0;  1 drivers
v0xf79500_0 .var "out", 7 0;
v0xf795e0_0 .net "reset", 0 0, v0xf79800_0;  1 drivers
E_0xf68b20 .event edge, v0xf795e0_0;
E_0xf689e0 .event posedge, v0xf67fa0_0;
    .scope S_0xf2fd20;
T_0 ;
    %wait E_0xf689e0;
    %load/vec4 v0xf79500_0;
    %addi 1, 0, 8;
    %assign/vec4 v0xf79500_0, 0;
    %jmp T_0;
    .thread T_0;
    .scope S_0xf2fd20;
T_1 ;
    %wait E_0xf68b20;
    %load/vec4 v0xf795e0_0;
    %flag_set/vec4 8;
    %jmp/0xz  T_1.0, 8;
    %pushi/vec4 0, 0, 8;
    %cassign/vec4 v0xf79500_0;
    %jmp T_1.1;
T_1.0 ;
    %deassign v0xf79500_0, 0, 8;
T_1.1 ;
    %jmp T_1;
    .thread T_1, $push;
    .scope S_0xf2fb90;
T_2 ;
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0xf79800_0, 0, 1;
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0xf79730_0, 0, 1;
    %end;
    .thread T_2;
    .scope S_0xf2fb90;
T_3 ;
    %delay 17, 0;
    %pushi/vec4 1, 0, 1;
    %store/vec4 v0xf79800_0, 0, 1;
    %delay 11, 0;
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0xf79800_0, 0, 1;
    %delay 29, 0;
    %pushi/vec4 1, 0, 1;
    %store/vec4 v0xf79800_0, 0, 1;
    %delay 11, 0;
    %pushi/vec4 0, 0, 1;
    %store/vec4 v0xf79800_0, 0, 1;
    %delay 100, 0;
    %vpi_call 2 10 "$stop" {0 0 0};
    %end;
    .thread T_3;
    .scope S_0xf2fb90;
T_4 ;
    %delay 5, 0;
    %load/vec4 v0xf79730_0;
    %nor/r;
    %store/vec4 v0xf79730_0, 0, 1;
    %jmp T_4;
    .thread T_4;
    .scope S_0xf2fb90;
T_5 ;
    %vpi_call 2 21 "$monitor", "At time %t, value = %h (%0d)", $time, v0xf798d0_0, v0xf798d0_0 {0 0 0};
    %end;
    .thread T_5;
# The file index is used to find the file name in the following table.
:file_names 4;
    "N/A";
    "<interactive>";
    "counter_test.v";
    "counter.v";