-
Notifications
You must be signed in to change notification settings - Fork 1
/
dsn
86 lines (86 loc) · 2.33 KB
/
dsn
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
#! /usr/local/bin/vvp
:ivl_version "0.9.7 " "(v0_9_7)";
:vpi_time_precision + 0;
:vpi_module "system";
:vpi_module "v2005_math";
:vpi_module "va_math";
S_0x5558cee53030 .scope module, "test" "test" 2 1;
.timescale 0 0;
v0x5558cee76720_0 .var "clk", 0 0;
v0x5558cee767f0_0 .var "reset", 0 0;
v0x5558cee768a0_0 .net "value", 7 0, v0x5558cee765e0_0; 1 drivers
S_0x5558cee53120 .scope module, "c1" "counter" 2 21, 3 1, S_0x5558cee53030;
.timescale 0 0;
P_0x5558cee52d58 .param/l "WIDTH" 3 3, +C4<01000>;
v0x5558cee53210_0 .net "clk", 0 0, v0x5558cee76720_0; 1 drivers
v0x5558cee765e0_0 .var "out", 7 0;
v0x5558cee76680_0 .net "reset", 0 0, v0x5558cee767f0_0; 1 drivers
E_0x5558cee55d80 .event edge, v0x5558cee76680_0;
E_0x5558cee55db0 .event posedge, v0x5558cee53210_0;
.scope S_0x5558cee53120;
T_0 ;
%wait E_0x5558cee55db0;
%load/v 8, v0x5558cee765e0_0, 8;
%mov 16, 0, 24;
%addi 8, 1, 32;
%ix/load 0, 8, 0;
%assign/v0 v0x5558cee765e0_0, 0, 8;
%jmp T_0;
.thread T_0;
.scope S_0x5558cee53120;
T_1 ;
%wait E_0x5558cee55d80;
%load/v 8, v0x5558cee76680_0, 1;
%jmp/0xz T_1.0, 8;
%cassign/v v0x5558cee765e0_0, 0, 8;
%jmp T_1.1;
T_1.0 ;
%deassign v0x5558cee765e0_0, 0, 8;
T_1.1 ;
%jmp T_1;
.thread T_1, $push;
.scope S_0x5558cee53030;
T_2 ;
%set/v v0x5558cee767f0_0, 0, 1;
%end;
.thread T_2;
.scope S_0x5558cee53030;
T_3 ;
%vpi_call 2 6 "$dumpfile", "test.vcd";
%vpi_call 2 7 "$dumpvars", 1'sb0, S_0x5558cee53030;
%delay 17, 0;
%set/v v0x5558cee767f0_0, 1, 1;
%delay 11, 0;
%set/v v0x5558cee767f0_0, 0, 1;
%delay 29, 0;
%set/v v0x5558cee767f0_0, 1, 1;
%delay 5, 0;
%set/v v0x5558cee767f0_0, 0, 1;
%delay 513, 0;
%vpi_call 2 13 "$finish";
%end;
.thread T_3;
.scope S_0x5558cee53030;
T_4 ;
%set/v v0x5558cee76720_0, 0, 1;
%end;
.thread T_4;
.scope S_0x5558cee53030;
T_5 ;
%delay 1, 0;
%load/v 8, v0x5558cee76720_0, 1;
%inv 8, 1;
%set/v v0x5558cee76720_0, 8, 1;
%jmp T_5;
.thread T_5;
.scope S_0x5558cee53030;
T_6 ;
%vpi_call 2 24 "$monitor", "At time %t, value = %h (%0d)", $time, v0x5558cee768a0_0, v0x5558cee768a0_0;
%end;
.thread T_6;
# The file index is used to find the file name in the following table.
:file_names 4;
"N/A";
"<interactive>";
"counter_tb.v";
"counter.v";