From ffd768ce865e330a631c56d63c6f472e9ad85511 Mon Sep 17 00:00:00 2001 From: Ahmed Irfan Date: Fri, 3 Jan 2014 10:52:44 +0100 Subject: btor --- techlibs/common/pmux2mux.v | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 techlibs/common/pmux2mux.v (limited to 'techlibs/common') diff --git a/techlibs/common/pmux2mux.v b/techlibs/common/pmux2mux.v new file mode 100644 index 000000000..72e97c080 --- /dev/null +++ b/techlibs/common/pmux2mux.v @@ -0,0 +1,22 @@ +module \$pmux (A, B, S, Y); + +wire [1023:0] _TECHMAP_DO_ = "proc; clean"; + +parameter WIDTH = 1; +parameter S_WIDTH = 1; + +input [WIDTH-1:0] A; +input [WIDTH*S_WIDTH-1:0] B; +input [S_WIDTH-1:0] S; +output reg [WIDTH-1:0] Y; + +integer i; + +always @* begin + Y <= A; + for (i = 0; i < S_WIDTH; i=i+1) + if (S[i]) + Y <= B[WIDTH*i +: WIDTH]; +end + +endmodule -- cgit v1.2.3