Хош сделать хорошо- сделай сам:
Вот времянки записи и чтения процессора из Xilinxoвой корки, т.е. самые правильные.
Запись:

Чтение:

На выходных постараюсь сложить всю инфу в кучу.
Я в курсе, что есть AXI4-IPIF, но чтобы разобраться надо работать на самом нижнем уровне. IPIF может оказаться излишним.