请问一个verilog 的case statement的非常奇怪的问题

hancheng1166

鄙人最近正在研究mips processor.用verilog写，之前一直在用vhdl的，但是最近发现一个问题，下面我贴一下代码

1. always @(*)
   
2.         begin
   
3.                 casex({aluop_ex, funct})
   
4.                         6'b000??? : alu_ctrl <= 0000;
   
5.                         6'b010000 : alu_ctrl <= 0000;
   
6.                         6'b010001 : alu_ctrl <= 0001;
   
7.                         6'b010010 : alu_ctrl <= 0010;
   
8.                         6'b010011 : alu_ctrl <= 0011;
   
9.                         6'b010100 : alu_ctrl <= 0100;
   
10.                         6'b010101 : alu_ctrl <= 0101;
    
11.                         6'b010110 : alu_ctrl <= 0110;
    
12.                         6'b010111 : alu_ctrl <= 0111;
    
13.                         6'b011000 : alu_ctrl <= 1000;
    
14.                         6'b011001 : alu_ctrl <= 1001;
    
15.                         6'b100??? : alu_ctrl <= 1010;
    
16.                         6'b110??? : alu_ctrl <= 1011;
    
17.                         6'b111??? : alu_ctrl <= 1100;
    
18.                         default          : alu_ctrl <= 1111;
    
19.                 endcase
    
20.         end
    

复制代码

下面是testbench....我在每个延迟10ns的时候控制aluop_ex跟funct的输入的值，就是上面case语句从上到下的值。然后在仿真结果上得到相应的时间也就是alu_ctrl前面的数字，同时得到alu_ctrl的值。

1. initial begin
   
2.                 // Initialize Inputs
   
3.                 funct = 0;
   
4.                 aluop_ex = 0;
   
5.                 #10
   
6.                 funct = 0;
   
7.                 aluop_ex = 2;
   
8.                 #10
   
9.                 funct = 1;
   
10.                 aluop_ex = 2;
    
11.                 #10
    
12.                 funct = 2;
    
13.                 aluop_ex = 2;
    
14.                 #10
    
15.                 funct = 3;
    
16.                 aluop_ex = 2;
    
17.                 #10
    
18.                 funct = 4;
    
19.                 aluop_ex = 2;
    
20.                 #10
    
21.                 funct = 5;
    
22.                 aluop_ex = 2;
    
23.                 #10
    
24.                 funct = 6;
    
25.                 aluop_ex = 2;
    
26.                 #10
    
27.                 funct = 7;
    
28.                 aluop_ex = 2;
    
29.                 #10
    
30.                 funct = 0;
    
31.                 aluop_ex = 3;
    
32.                 #10
    
33.                 funct = 3;
    
34.                 aluop_ex = 4;
    
35.                 #10
    
36.                 funct = 1;
    
37.                 aluop_ex = 5;
    
38.                 #10
    
39.                 funct = 2;
    
40.                 aluop_ex = 6;
    
41.                 #10
    
42.                 funct = 0;
    
43.                 aluop_ex = 7;
    
44.                 // Wait 100 ns for global reset to finish
    
45.                 #700;
    
46.        $stop;
    
47.                 // Add stimulus here
    
48. 
    
49.         end
    
50.         
    
51.         initial begin
    
52.                
    
53.                         $monitor($time, "alu_ctrl=%b", alu_ctrl);
    
54.         end
    
55.       
    

复制代码

下面是结果，我用Isim 仿真的：

1. 
   
2.                    0alu_ctrl=0000
   
3.                   20alu_ctrl=0001
   
4.                   30alu_ctrl=1010
   
5.                   40alu_ctrl=1011
   
6.                   50alu_ctrl=0100
   
7.                   60alu_ctrl=0101
   
8.                   70alu_ctrl=1110
   
9.                   80alu_ctrl=1111
   
10.                   90alu_ctrl=1000
    
11.                  100alu_ctrl=0010
    
12.                  110alu_ctrl=0111
    
13.                  120alu_ctrl=0011
    
14.                  130alu_ctrl=1100
    

复制代码

奇怪的结果我用bolder 标识出来了。
但结果应该是：
30alu_ctrl=0010
40alu_ctrl=0011
70alu_ctrl=0110
80alu_ctrl=0111
我用别的simulator 也试过了，比如iverilog结果是一样的。一开始我以为是Bug的问题，但现在觉得可能是我语句哪里有不对的地方、
有知道的大神请指点一下~~
非常感谢~！

glk47

您实在是写的太不清楚了

aluop_ex 和 funct 各是几位？

“30alu_ctrl=0010” 又是啥意思？

hancheng1166

回复 2# glk47


   不好意思，aluop_ex跟funct各是3位，然后alu_ctrl前面的数字指的是时间比如前面的30指的是第30ns

小小舟

这个是随aluop_ex跟funct的值变化的，而不是时间。ps：我也是菜鸟 仅供参考

hancheng1166

回复 4# 小小舟


   我可能没说清楚，我没有贴出我testbench~我在testbench上面控制哪一个时间输入aluop_ex跟funct的值，然后在这一时间 就会输出对应的aluctrl。

小小舟

回复 5# hancheng1166


    要不你把testbench也贴出来吧？

flyingsheep

组合逻辑电路为什么要用非阻塞赋值语句呢

hancheng1166

回复 6# 小小舟


   你好，testbench已经在上面编辑出来了

hancheng1166

回复 7# flyingsheep


   即使不用非阻塞幅值结果也是一样的

hancheng1166

回复 10# chen851112


   不用了，跟你解释我代码的时间我已经处理完了。

           anyway, thx for your time.