yosys/techlibs/greenpak4/cells_sim.v

26 lines
583 B
Coq
Raw Normal View History

module GP_DFF(input D, CLK, nRSTZ, nSETZ, output reg Q);
2015-09-16 02:28:37 -05:00
always @(posedge CLK, negedge nRSTZ, negedge nSETZ) begin
if (!nRSTZ)
Q <= 1'b0;
else if (!nSETZ)
Q <= 1'b1;
else
Q <= D;
end
endmodule
module GP_2LUT(input IN0, IN1, output OUT);
2015-09-16 02:28:37 -05:00
parameter [3:0] INIT = 0;
assign OUT = INIT[{IN1, IN0}];
endmodule
module GP_3LUT(input IN0, IN1, IN2, output OUT);
2015-09-16 02:28:37 -05:00
parameter [7:0] INIT = 0;
assign OUT = INIT[{IN2, IN1, IN0}];
endmodule
module GP_4LUT(input IN0, IN1, IN2, IN3, output OUT);
2015-09-16 02:28:37 -05:00
parameter [15:0] INIT = 0;
assign OUT = INIT[{IN3, IN2, IN1, IN0}];
endmodule