Hey, I am working atm at a SOPC-Builder Port. Lil Question: the clk_i entry needs to geht 24Mhz. How fast should be the wishbone clk? also 24Mhz?