verilog 语言[N:0]和[0:N]定义变量方法、比较大小以及不定值x用于if语句中的处理

为了搞清楚verilog [N:0]和[0:N]两种定义变量的区别，以及测试代码对不定值x的处理（x是有时当作1处理，有时当作0处理，还是既不做0也不做1处理？）写了如下的测试代码

1. `alert('module HL_order;

2.         reg [4:0] A;

3.         reg [0:4] B;

4.         reg [4:0] data;

5.         reg C;

6. initial

7.   begin

8.     #10 A=5'b11101;

9.     #10 B=5'b11101;

10.     #10 data=11100;

11.     #10 A<=data;//test assignment of MSB & LSB

12.     #10 B<=data;//test assignment of MSB & LSB

13.     //#10 A<=A+2'b01;//test compare value

14.     #10 C=A>B?1:0;

15.     #10 C=A==B?1:0;

16.     #10 B=B+2'b01;

17.     #10 B=B+2'b01;

18.     #10 A[4:0]=B[0:4];  //test assignment of MSB & LSB

19.     #10 A=5'b1110x;//text variable x

20.     #10 if(A==5'b11101) A=5'b11111;

21.         else if(A==5'b11100) A=5'b00000;

22.         else if(A==5'b1110x) A=5'b11100;

23.     #10 if(B==5'b11110) B<=5'b00000;

24.     end

25. endmodule

')`

代码仿真结果如下图所示：

 

总结：1.A[4:0]和B[0:4]赋值时（例子中11100）得到的结果为：

               A[4]=1,A[3]=1,A[2]=1,A[1]=0,A[0]=0        B[0]=1,B[1]=1,B[2]=1,B[3]=0,B[4]=0   

            2.此时比较大小得到A[4:0]=11100和B[0:4]=11100，比较大小得到A=B；（即A[4]和B[0]作为数据的最高位比较，次高位分别为A[3]和B[1]）

            3.不定值x在用于判断时不是当作不确定的或者0或者1处理，而是当作一个第三种情况（仿真结果显示x不能用于if语句中进行判断赋值）

            4 A[4:0]<=B[4:0]这样赋值时提示出错信息：Bounds of part-select into 'B' are reversed.