Function k7_dfi_ctrl_verilog 

pub fn k7_dfi_ctrl_verilog() -> String

ddr2_dfi_ctrl as the K7 bench builds, synthesises and drives it: the LOGOS DFI 1:2 controller at the K7 part’s rules, burst length 4.