The SRAM blocks have been proven functionally. They will not operate to the specified frequency of 100MHz. They work fine at the 10MHz clock on the board and probably operate at the maximum specified frequency of our management SoC, which is 40MHz. I would not trust it to run reliably above that.