52 lines
667 B
Coq
52 lines
667 B
Coq
|
module ddr3l (
|
||
|
|
output reset,
|
||
|
|
output odt,
|
||
|
|
output a0,
|
||
|
|
output a1,
|
||
|
|
output a2,
|
||
|
|
output a3,
|
||
|
|
output a4,
|
||
|
|
output a5,
|
||
|
|
output a6,
|
||
|
|
output a7,
|
||
|
|
output a8,
|
||
|
|
output a9,
|
||
|
|
output a10,
|
||
|
|
output a11,
|
||
|
|
output a12,
|
||
|
|
output a13,
|
||
|
|
output ba0,
|
||
|
|
output ba1,
|
||
|
|
output ba2,
|
||
|
|
output cs,
|
||
|
|
output ras,
|
||
|
|
output cas,
|
||
|
|
output we,
|
||
|
|
output cke0,
|
||
|
|
output clk0_p,
|
||
|
|
output clk0_n,
|
||
|
|
output dm0,
|
||
|
|
output dm1,
|
||
|
|
inout dq0,
|
||
|
|
inout dq1,
|
||
|
|
inout dq2,
|
||
|
|
inout dq3,
|
||
|
|
inout dq4,
|
||
|
|
inout dq5,
|
||
|
|
inout dq6,
|
||
|
|
inout dq7,
|
||
|
|
inout dq8,
|
||
|
|
inout dq9,
|
||
|
|
inout dq10,
|
||
|
|
inout dq11,
|
||
|
|
inout dq12,
|
||
|
|
inout dq13,
|
||
|
|
inout dq14,
|
||
|
|
inout dq15,
|
||
|
|
inout dqs0_p,
|
||
|
|
inout dqs0_n,
|
||
|
|
inout dqs1_p,
|
||
|
|
inout dqs1_n,
|
||
|
|
);
|
||
|
|
endmodule
|