ARM软核的浮点协处理器问题

现在有每秒做15000次浮点乘法的需求！
我们现在用的软核是ARM926Ej-s，但是不带浮点协处理器，所以需要买。
现在有两种选择：
1. ARM926EJ-S的可选的VFP9-S，但是一直买不到。而且不知道买到后能否hold住这个运算，我们的ARM核频率是200MHz.
2. 换核，直接用ARM1136或者ARM1176，ARM11的浮点貌似好买一些，但也需要评估是否能支持我们第一行上写的需求。
跪求做过这方面工作的大大指点迷津。