1 |
2 |
dragos_don |
|
2 |
|
|
Executing 'make TEST_TYPE=improved_test.v >> improved_test.log 2>&1'
|
3 |
|
|
|
4 |
|
|
v ../rtl/dut.v ../rtl/selector.v ../rtl/alu.v ../rtl/dmux.v ../verif_env/bfms/clk_gen.v ../verif_env/bfms/res_bfm.v ../verif_env/bfms/data_in_bfm.v ../verif_env/monitors/clk_monitor.v ../verif_env/monitors/res_monitor.v ../verif_env/monitors/stb_monitor.v ../verif_env/monitors/sel_monitor.v ../verif_env/monitors/data_valid_in_monitor.v ../verif_env/monitors/data_in_monitor.v ../verif_env/monitors/data_out_monitor.v ../verif_env/monitors/parity_monitor.v ../verif_env/monitors/valid_monitor.v ../verif_env/collectors/input_collector.v ../verif_env/collectors/output_collector.v ../verif_env/checker/checker.v ../tests/improved_test.v
|
5 |
|
|
|
6 |
|
|
Compiling source file "../rtl/dut.v"
|
7 |
|
|
Compiling source file "../rtl/selector.v"
|
8 |
|
|
Compiling source file "../rtl/alu.v"
|
9 |
|
|
Compiling source file "../rtl/dmux.v"
|
10 |
|
|
Compiling source file "../verif_env/bfms/clk_gen.v"
|
11 |
|
|
Compiling source file "../verif_env/bfms/res_bfm.v"
|
12 |
|
|
Compiling source file "../verif_env/bfms/data_in_bfm.v"
|
13 |
|
|
Compiling source file "../verif_env/monitors/clk_monitor.v"
|
14 |
|
|
Compiling source file "../verif_env/monitors/res_monitor.v"
|
15 |
|
|
Compiling source file "../verif_env/monitors/stb_monitor.v"
|
16 |
|
|
Compiling source file "../verif_env/monitors/sel_monitor.v"
|
17 |
|
|
Compiling source file "../verif_env/monitors/data_valid_in_monitor.v"
|
18 |
|
|
Compiling source file "../verif_env/monitors/data_in_monitor.v"
|
19 |
|
|
Compiling source file "../verif_env/monitors/data_out_monitor.v"
|
20 |
|
|
Compiling source file "../verif_env/monitors/parity_monitor.v"
|
21 |
|
|
Compiling source file "../verif_env/monitors/valid_monitor.v"
|
22 |
|
|
Compiling source file "../verif_env/collectors/input_collector.v"
|
23 |
|
|
Compiling source file "../verif_env/collectors/output_collector.v"
|
24 |
|
|
Compiling source file "../verif_env/checker/checker.v"
|
25 |
|
|
Compiling source file "../tests/improved_test.v"
|
26 |
|
|
Highest level modules:
|
27 |
|
|
proj_improved_test
|
28 |
|
|
|
29 |
|
|
Transaction no: 0
|
30 |
|
|
OPERATION {} (Concatenation): alu_memory[0]=00001101, alu_memory[1]=10001101, alu_result=0000110110001101
|
31 |
|
|
Transaction no: 1
|
32 |
|
|
Relational operator
|
33 |
|
|
OPERATION < (Less than): alu_memory[0]=01110110, alu_memory[1]=00111101, alu_result=0000000000000000
|
34 |
|
|
Transaction no: 2
|
35 |
|
|
Relational operator
|
36 |
|
|
OPERATION < (Less than): alu_memory[0]=11000101, alu_memory[1]=10101010, alu_result=0000000000000000
|
37 |
|
|
Transaction no: 3
|
38 |
|
|
Reduction operator
|
39 |
|
|
OPERATION ^~ (Reduction xnor (1st operator symbol)): alu_memory[0]=11110010, alu_result=0000000000000000
|
40 |
|
|
Transaction no: 4
|
41 |
|
|
Replication operator
|
42 |
|
|
OPERATION { { } } (Replication): alu_memory[0]=10111101 - replicated twice: alu_result=1011110110111101
|
43 |
|
|
Transaction no: 5
|
44 |
|
|
Conditional operator
|
45 |
|
|
OPERATION ?: (Conditional): alu_memory[0]=10000000, alu_memory[1]=00100000, alu_memory[2]=10101010, alu_result=0000000000100000
|
46 |
|
|
Transaction no: 6
|
47 |
|
|
Relational operator
|
48 |
|
|
OPERATION <= (Less than or equal): alu_memory[0]=01010011, alu_memory[1]=01101011, alu_result=0000000000000001
|
49 |
|
|
Transaction no: 7
|
50 |
|
|
Replication operator
|
51 |
|
|
OPERATION { { } } (Replication): alu_memory[0]=11001111 - replicated twice: alu_result=1100111111001111
|
52 |
|
|
Transaction no: 8
|
53 |
|
|
Arithmetic operator
|
54 |
|
|
OPERATION / (Divide): alu_memory[0]=11110010, alu_memory[1]=10001010, alu_result=0000000000000001
|
55 |
|
|
Transaction no: 9
|
56 |
|
|
Bitwise operator
|
57 |
|
|
OPERATION | (Bitwise or): alu_memory[0]=11101011, alu_memory[1]=10110110, alu_result=0000000011111111
|
58 |
|
|
L167 "../verif_env/bfms/data_in_bfm.v": $finish at simulation time 730
|