I tried it a "Zedboard HDMI Display Controller Tutorial for Vivado" using vivado 2014.1, the following error has occurred.
Please tell me the workaround.
"[BD 41-1343] Reset pin / zed_hdmi_display/v_tc_0/resetn (associated clock / zed_hdmi_display/v_tc_0/clk)
is connected to reset source / zed_hdmi_display / proc_sys_reset / peripheral_aresetn
u00A0 (synchronous to clock source / processing_system7_0/FCLK_CLK1).
This may prevent design from meeting timing.
Please add proc_sys_reset module to create a reset, that is synchronous to
the associated clock source / clk_wiz_0/clk_out1. "