119 lines
2.2 KiB
Coq
119 lines
2.2 KiB
Coq
// Name: mux.v
|
|
// Module:
|
|
// Input:
|
|
// Output:
|
|
//
|
|
// Notes: Common definitions
|
|
//
|
|
//
|
|
// Revision History:
|
|
//
|
|
// Version Date Who email note
|
|
//------------------------------------------------------------------------------------------
|
|
// 1.0 Sep 02, 2014 Kaushik Patra kpatra@sjsu.edu Initial creation
|
|
//------------------------------------------------------------------------------------------
|
|
//
|
|
// 32-bit mux
|
|
module MUX32_32x1(Y, I0, I1, I2, I3, I4, I5, I6, I7,
|
|
I8, I9, I10, I11, I12, I13, I14, I15,
|
|
I16, I17, I18, I19, I20, I21, I22, I23,
|
|
I24, I25, I26, I27, I28, I29, I30, I31, S);
|
|
// output list
|
|
output [31:0] Y;
|
|
//input list
|
|
input [31:0] I0, I1, I2, I3, I4, I5, I6, I7;
|
|
input [31:0] I8, I9, I10, I11, I12, I13, I14, I15;
|
|
input [31:0] I16, I17, I18, I19, I20, I21, I22, I23;
|
|
input [31:0] I24, I25, I26, I27, I28, I29, I30, I31;
|
|
input [4:0] S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|
|
|
|
// 32-bit 16x1 mux
|
|
module MUX32_16x1(Y, I0, I1, I2, I3, I4, I5, I6, I7,
|
|
I8, I9, I10, I11, I12, I13, I14, I15, S);
|
|
// output list
|
|
output [31:0] Y;
|
|
//input list
|
|
input [31:0] I0;
|
|
input [31:0] I1;
|
|
input [31:0] I2;
|
|
input [31:0] I3;
|
|
input [31:0] I4;
|
|
input [31:0] I5;
|
|
input [31:0] I6;
|
|
input [31:0] I7;
|
|
input [31:0] I8;
|
|
input [31:0] I9;
|
|
input [31:0] I10;
|
|
input [31:0] I11;
|
|
input [31:0] I12;
|
|
input [31:0] I13;
|
|
input [31:0] I14;
|
|
input [31:0] I15;
|
|
input [3:0] S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|
|
|
|
// 32-bit 8x1 mux
|
|
module MUX32_8x1(Y, I0, I1, I2, I3, I4, I5, I6, I7, S);
|
|
// output list
|
|
output [31:0] Y;
|
|
//input list
|
|
input [31:0] I0;
|
|
input [31:0] I1;
|
|
input [31:0] I2;
|
|
input [31:0] I3;
|
|
input [31:0] I4;
|
|
input [31:0] I5;
|
|
input [31:0] I6;
|
|
input [31:0] I7;
|
|
input [2:0] S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|
|
|
|
// 32-bit 4x1 mux
|
|
module MUX32_4x1(Y, I0, I1, I2, I3, S);
|
|
// output list
|
|
output [31:0] Y;
|
|
//input list
|
|
input [31:0] I0;
|
|
input [31:0] I1;
|
|
input [31:0] I2;
|
|
input [31:0] I3;
|
|
input [1:0] S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|
|
|
|
// 32-bit mux
|
|
module MUX32_2x1(Y, I0, I1, S);
|
|
// output list
|
|
output [31:0] Y;
|
|
//input list
|
|
input [31:0] I0;
|
|
input [31:0] I1;
|
|
input S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|
|
|
|
// 1-bit mux
|
|
module MUX1_2x1(Y,I0, I1, S);
|
|
//output list
|
|
output Y;
|
|
//input list
|
|
input I0, I1, S;
|
|
|
|
// TBD
|
|
|
|
endmodule
|