39 lines
1.5 KiB
Coq
39 lines
1.5 KiB
Coq
|
module toplevel_pll(REFERENCECLK,
|
||
|
|
PLLOUTCORE,
|
||
|
|
PLLOUTGLOBAL,
|
||
|
|
RESET);
|
||
|
|
|
||
|
|
input REFERENCECLK;
|
||
|
|
input RESET; /* To initialize the simulation properly, the RESET signal (Active Low) must be asserted at the beginning of the simulation */
|
||
|
|
output PLLOUTCORE;
|
||
|
|
output PLLOUTGLOBAL;
|
||
|
|
|
||
|
|
SB_PLL40_CORE toplevel_pll_inst(.REFERENCECLK(REFERENCECLK),
|
||
|
|
.PLLOUTCORE(PLLOUTCORE),
|
||
|
|
.PLLOUTGLOBAL(PLLOUTGLOBAL),
|
||
|
|
.EXTFEEDBACK(),
|
||
|
|
.DYNAMICDELAY(),
|
||
|
|
.RESETB(RESET),
|
||
|
|
.BYPASS(1'b0),
|
||
|
|
.LATCHINPUTVALUE(),
|
||
|
|
.LOCK(),
|
||
|
|
.SDI(),
|
||
|
|
.SDO(),
|
||
|
|
.SCLK());
|
||
|
|
|
||
|
|
//\\ Fin=100, Fout=12;
|
||
|
|
defparam toplevel_pll_inst.DIVR = 4'b0010;
|
||
|
|
defparam toplevel_pll_inst.DIVF = 7'b0010110;
|
||
|
|
defparam toplevel_pll_inst.DIVQ = 3'b110;
|
||
|
|
defparam toplevel_pll_inst.FILTER_RANGE = 3'b011;
|
||
|
|
defparam toplevel_pll_inst.FEEDBACK_PATH = "SIMPLE";
|
||
|
|
defparam toplevel_pll_inst.DELAY_ADJUSTMENT_MODE_FEEDBACK = "FIXED";
|
||
|
|
defparam toplevel_pll_inst.FDA_FEEDBACK = 4'b0000;
|
||
|
|
defparam toplevel_pll_inst.DELAY_ADJUSTMENT_MODE_RELATIVE = "FIXED";
|
||
|
|
defparam toplevel_pll_inst.FDA_RELATIVE = 4'b0000;
|
||
|
|
defparam toplevel_pll_inst.SHIFTREG_DIV_MODE = 2'b00;
|
||
|
|
defparam toplevel_pll_inst.PLLOUT_SELECT = "GENCLK";
|
||
|
|
defparam toplevel_pll_inst.ENABLE_ICEGATE = 1'b0;
|
||
|
|
|
||
|
|
endmodule
|