//////////////////////////////////////////////////////////////////////////////////
//该程序完成通过多路选择器MUX完成总线读写的功能。
module MuxBus(input request1,input request2,input request3,input request4,input[:] unit0_out,input[:] unit1_out,
input[:] unit2_out,input[:] unit3_out,
output[:] unit0_in, output[:] unit1_in, output[:] unit2_in, output[:] unit3_in);
reg[:] sel;
reg[:] bus;
always@(request1,request2,request3,request4)
begin
casex({request1,request2,request3,request4})//注意这里要想使用这种优先级编码译码器，用的是casex，而不是case
'b0001:sel=2'b00; //casex表示不关心x,z,?这三种符号
'b001x:sel=2'b01;
'b01xx:sel=2'b10;
default:sel='b11; endcase
end
always@(sel,unit0_out,unit1_out,unit2_out,unit3_out)
begin
case(sel)
'b00:bus=unit0_out;
'b01:bus=unit1_out;
'b10:bus=unit2_out;
'b11:bus=unit3_out;
endcase
end
//仔细分析就知道下述代码从逻辑上和上述代码有冲突，sel作为选择信号，不可能选择了某个器件后，同时对总线进行读和写的操作，
//总线某一时刻只能处于读状态或者写状态。如果对总线进行读或者写，需要读写控制信号
/*always@(sel,bus)
begin
case(sel)
2'b00:unit0_in=bus; //同时，这样的代码书写产生了锁存器单元，比如sel=2'b01时，unit0,2,3_in这三个器件只能保持它原来的值。
2'b01:unit1_in=bus;
2'b10:unit2_in=bus;
2'b11:unit3_in=bus;
endcase
end
*/ //不产生锁存的条件在于对同一个变量满足所有的情况，并不单单是case后面的变量，写出了所有情况即可，要注意不同变量存在时导致的锁存
assign unit0_in=bus;
assign unit1_in=bus;
assign unit2_in=bus;
assign unit3_in=bus;
endmodule