| /* | |
| * yosys -- Yosys Open SYnthesis Suite | |
| * | |
| * Copyright (C) 2012 Clifford Wolf <clifford@clifford.at> | |
| * | |
| * Permission to use, copy, modify, and/or distribute this software for any | |
| * purpose with or without fee is hereby granted, provided that the above | |
| * copyright notice and this permission notice appear in all copies. | |
| * | |
| * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES | |
| * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF | |
| * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR | |
| * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES | |
| * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN | |
| * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF | |
| * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. | |
| * | |
| */ | |
| // > c60k28 (Viacheslav, VT) [at] yandex [dot] com | |
| // > Intel FPGA technology mapping. User must first simulate the generated \ | |
| // > netlist before going to test it on board. | |
| // > Changelog: 1) The missing power_up parameter in the techmap introduces a problem in Quartus mapper. Fixed. | |
| // 2) Cyclone V 7-input LUT function was wrong implemented. Removed abc option to map this function \ | |
| // and added the explanation in this file instead. Such function needs to be implemented. | |
| // Normal mode DFF negedge clk, negedge reset | |
| module \$_DFF_N_ (input D, C, output Q); | |
| parameter WYSIWYG="TRUE"; | |
| parameter power_up=1'bx; | |
| dffeas #(.is_wysiwyg(WYSIWYG), .power_up(power_up)) _TECHMAP_REPLACE_ (.d(D), .q(Q), .clk(C), .clrn(1'b1), .prn(1'b1), .ena(1'b1), .asdata(1'b0), .aload(1'b0), .sclr(1'b0), .sload(1'b0)); | |
| endmodule | |
| // Normal mode DFF | |
| module \$_DFF_P_ (input D, C, output Q); | |
| parameter WYSIWYG="TRUE"; | |
| parameter power_up=1'bx; | |
| dffeas #(.is_wysiwyg(WYSIWYG), .power_up(power_up)) _TECHMAP_REPLACE_ (.d(D), .q(Q), .clk(C), .clrn(1'b1), .prn(1'b1), .ena(1'b1), .asdata(1'b0), .aload(1'b0), .sclr(1'b0), .sload(1'b0)); | |
| endmodule | |
| // Async Active Low Reset DFF | |
| module \$_DFF_PN0_ (input D, C, R, output Q); | |
| parameter WYSIWYG="TRUE"; | |
| parameter power_up=1'bx; | |
| dffeas #(.is_wysiwyg(WYSIWYG), .power_up("power_up")) _TECHMAP_REPLACE_ (.d(D), .q(Q), .clk(C), .clrn(R), .prn(1'b1), .ena(1'b1), .asdata(1'b0), .aload(1'b0), .sclr(1'b0), .sload(1'b0)); | |
| endmodule | |
| // Async Active High Reset DFF | |
| module \$_DFF_PP0_ (input D, C, R, output Q); | |
| parameter WYSIWYG="TRUE"; | |
| parameter power_up=1'bx; | |
| wire R_i = ~ R; | |
| dffeas #(.is_wysiwyg(WYSIWYG), .power_up(power_up)) _TECHMAP_REPLACE_ (.d(D), .q(Q), .clk(C), .clrn(R_i), .prn(1'b1), .ena(1'b1), .asdata(1'b0), .aload(1'b0), .sclr(1'b0), .sload(1'b0)); | |
| endmodule | |
| module \$__DFFE_PP0 (input D, C, E, R, output Q); | |
| parameter WYSIWYG="TRUE"; | |
| parameter power_up=1'bx; | |
| wire E_i = ~ E; | |
| dffeas #(.is_wysiwyg(WYSIWYG), .power_up(power_up)) _TECHMAP_REPLACE_ (.d(D), .q(Q), .clk(C), .clrn(R), .prn(1'b1), .ena(1'b1), .asdata(1'b0), .aload(1'b0), .sclr(E_i), .sload(1'b0)); | |
| endmodule | |
| // Input buffer map | |
| module \$__inpad (input I, output O); | |
| cyclonev_io_ibuf _TECHMAP_REPLACE_ (.o(O), .i(I), .ibar(1'b0)); | |
| endmodule | |
| // Output buffer map | |
| module \$__outpad (input I, output O); | |
| cyclonev_io_obuf _TECHMAP_REPLACE_ (.o(O), .i(I), .oe(1'b1)); | |
| endmodule | |
| // LUT Map | |
| module \$lut (A, Y); | |
| parameter WIDTH = 0; | |
| parameter LUT = 0; | |
| input [WIDTH-1:0] A; | |
| output Y; | |
| wire VCC; | |
| wire GND; | |
| assign {VCC,GND} = {1'b1,1'b0}; | |
| generate | |
| if (WIDTH == 1) begin | |
| assign Y = ~A[0]; // Not need to spend 1 logic cell for such an easy function | |
| end | |
| else | |
| if (WIDTH == 2) begin | |
| cyclonev_lcell_comb #(.lut_mask({16{LUT}}), .shared_arith("off"), .extended_lut("off")) | |
| _TECHMAP_REPLACE_ | |
| (.combout(Y), | |
| .dataa(A[0]), | |
| .datab(A[1]), | |
| .datac(VCC), | |
| .datad(VCC), | |
| .datae(VCC), | |
| .dataf(VCC), | |
| .datag(VCC)); | |
| end | |
| else | |
| if(WIDTH == 3) begin | |
| cyclonev_lcell_comb #(.lut_mask({8{LUT}}), .shared_arith("off"), .extended_lut("off")) | |
| _TECHMAP_REPLACE_ | |
| (.combout(Y), | |
| .dataa(A[0]), | |
| .datab(A[1]), | |
| .datac(A[2]), | |
| .datad(VCC), | |
| .datae(VCC), | |
| .dataf(VCC), | |
| .datag(VCC)); | |
| end | |
| else | |
| if(WIDTH == 4) begin | |
| cyclonev_lcell_comb #(.lut_mask({4{LUT}}), .shared_arith("off"), .extended_lut("off")) | |
| _TECHMAP_REPLACE_ | |
| (.combout(Y), | |
| .dataa(A[0]), | |
| .datab(A[1]), | |
| .datac(A[2]), | |
| .datad(A[3]), | |
| .datae(VCC), | |
| .dataf(VCC), | |
| .datag(VCC)); | |
| end | |
| else | |
| if(WIDTH == 5) begin | |
| cyclonev_lcell_comb #(.lut_mask({2{LUT}}), .shared_arith("off"), .extended_lut("off")) | |
| _TECHMAP_REPLACE_ | |
| (.combout(Y), | |
| .dataa(A[0]), | |
| .datab(A[1]), | |
| .datac(A[2]), | |
| .datad(A[3]), | |
| .datae(A[4]), | |
| .dataf(VCC), | |
| .datag(VCC)); | |
| end | |
| else | |
| if(WIDTH == 6) begin | |
| cyclonev_lcell_comb #(.lut_mask(LUT), .shared_arith("off"), .extended_lut("off")) | |
| _TECHMAP_REPLACE_ | |
| (.combout(Y), | |
| .dataa(A[0]), | |
| .datab(A[1]), | |
| .datac(A[2]), | |
| .datad(A[3]), | |
| .datae(A[4]), | |
| .dataf(A[5]), | |
| .datag(VCC)); | |
| end | |
| /*else | |
| if(WIDTH == 7) begin | |
| TODO: There's not a just 7-input function on Cyclone V, see the following note: | |
| **Extended LUT Mode** | |
| Use extended LUT mode to implement a specific set of 7-input functions. The set must | |
| be a 2-to-1 multiplexer fed by two arbitrary 5-input functions sharing four inputs. | |
| [source](Device Interfaces and Integration Basics for Cyclone V Devices). | |
| end*/ | |
| else | |
| wire _TECHMAP_FAIL_ = 1; | |
| endgenerate | |
| endmodule // lut | |