Кодирование бута не работает, включает моделирование

Question

Я пишу экодирование стенда для множителя массива. Это один из модуля:

module add_input (M,pos,neg,C);
parameter n=8;

input  [n-1:0]M;
input  pos,neg;

output [2*n-1:0]C;
reg [2*n-1:0]C;

integer k;

always @ (*)
begin
 for (k=0;k<=n-1;k=k+1)
 begin
   C[k]=(pos& (M[k]))|((~M[k])&neg);
 end
   C[2*n-1:n]={n{C[n-1]}};
end

endmodule

Симуляция Testbench для этого модуля в порядке:

занятая кошка http://img39.imageshack.us/img39/3444/74546414.jpg !

Однако, когда я помещаю этот модуль в конструкцию верхнего уровня, я не вижу вывода модуля add_input. Действительно интересно, почему, отлаживал это всю ночь.

Код:

module Array_Mutiplier (M,Q,outcome, t_pos, t_neg,t_Y1);
parameter n=8;
parameter m=16;
input [n-1:0]M,Q;
output [m-1:0]outcome;

//-----------------------------------------------------------
output [n-1:0] t_pos, t_neg;
output [m-1:0] t_Y1;
//-----------------------------------------------------------
//first part, got the booth code
wire [n-1:0]negative,positive;
booth_encode BE(Q,positive,negative);

//get the Y for the full adder
wire [m-1:0]Y1;
add_input row_1 (M,positive[0],negative[0],Y1);
wire [2*n-1:0]Y2;
add_input row_2 (M,positive[1],negative[1],Y2);
wire [2*n-1:0]Y3;
add_input row_3 (M,positive[2],negative[2],Y3);
wire [2*n-1:0]Y4;
add_input row_4 (M,positive[3],negative[3],Y4);
wire [2*n-1:0]Y5;
add_input row_5 (M,positive[4],negative[4],Y5);
wire [2*n-1:0]Y6;
add_input row_6 (M,positive[5],negative[5],Y6);
wire [2*n-1:0]Y7;
add_input row_7 (M,positive[6],negative[6],Y7);
wire [2*n-1:0]Y8;
add_input row_8 (M,positive[7],negative[7],Y8);


assign t_pos=positive;
assign t_neg=negative;
assign t_Y1=Y1;

endmodule

занятая кошка http://img855.imageshack.us/img855/3361/28395154.png !

Основываясь на моделировании, вы можете видеть, что энкодер стенда работает должным образом, но почему вывод T_Y1 всегда 0?

Answer 1

Из вашей 2 -й формы волны T_POS [0] и T_NEG [0] оба равны нулю, что означает, что положительные [0] и отрицательные [0] также являются нулевыми. Внутри вашего экземпляра ROW_1 POS и NEG равны нулю, что означает, что все биты C [7: 0] равны нулю ((pos& (M[k]))|((~M[k])&neg) оценивает 0). Поскольку C [7] = 0, это означает C [15: 8] = 0, и, следовательно, C [15: 0] = 0 и Y1 и T_Y1 также равны нулю.