79 lines
2.0 KiB
Verilog
79 lines
2.0 KiB
Verilog
//-----------------------------------------------------
|
|
// Design Name : MUX2
|
|
// File Name : mux2.v
|
|
// Function : Standard cell (static gate) implementation
|
|
// of 2-input multiplexers
|
|
// Coder : Xifan Tang
|
|
//-----------------------------------------------------
|
|
|
|
module MUX2(
|
|
// iVerilog is buggy on the 'input A' declaration when deposit initial
|
|
// values
|
|
input [0:0] A, // Data input 0
|
|
input [0:0] B, // Data input 1
|
|
input [0:0] S0, // Select port
|
|
output [0:0] Y // Data output
|
|
);
|
|
|
|
assign Y = S0 ? B : A;
|
|
|
|
// Note:
|
|
// MUX2 appears will appear in LUTs, routing multiplexers,
|
|
// being a component in combinational loops
|
|
// To help convergence in simulation
|
|
// i.e., to avoid the X (undetermined) signals,
|
|
// the following timing constraints and signal initialization
|
|
// has to be added!
|
|
|
|
`ifdef ENABLE_TIMING
|
|
// ------ BEGIN Pin-to-pin Timing constraints -----
|
|
specify
|
|
(A => Y) = (0.001, 0.001);
|
|
(B => Y) = (0.001, 0.001);
|
|
(S0 => Y) = (0.001, 0.001);
|
|
endspecify
|
|
// ------ END Pin-to-pin Timing constraints -----
|
|
`endif
|
|
|
|
`ifdef ENABLE_SIGNAL_INITIALIZATION
|
|
// ------ BEGIN driver initialization -----
|
|
initial begin
|
|
`ifdef ENABLE_FORMAL_VERIFICATION
|
|
$deposit(A, 1'b0);
|
|
$deposit(B, 1'b0);
|
|
$deposit(S0, 1'b0);
|
|
`else
|
|
$deposit(A, $random);
|
|
$deposit(B, $random);
|
|
$deposit(S0, $random);
|
|
`endif
|
|
|
|
end
|
|
// ------ END driver initialization -----
|
|
`endif
|
|
|
|
endmodule
|
|
|
|
//-----------------------------------------------------
|
|
// Design Name : CARRY_MUX2
|
|
// File Name : mux2.v
|
|
// Function : Standard cell (static gate) implementation
|
|
// of 2-input multiplexers to be used by carry logic
|
|
// Coder : Xifan Tang
|
|
//-----------------------------------------------------
|
|
|
|
module CARRY_MUX2(
|
|
input [0:0] A, // Data input 0
|
|
input [0:0] B, // Data input 1
|
|
input [0:0] S0, // Select port
|
|
output [0:0] Y // Data output
|
|
);
|
|
|
|
assign Y = S0 ? B : A;
|
|
|
|
// Note:
|
|
// MUX2 appears in the datapath logic driven by carry-in and LUT outputs
|
|
// where initial values and signal deposit are not required
|
|
|
|
endmodule
|