...
Setting F32C BRAM size in Vivado IPI Address Editor.
Debug session in Vivado Labtools, when CPU Reset is asserted Instruction address bus freezes, but after release there seems to be no reset, F32C Core tries to continue from last PC Address.
WIP to be figured out why.