Is there an FPGA image for the MPS2+AN521 with an FPU?

I need to write some test code that uses an FPU for the Cortex-M33.  I'm currently using the MPS2+AN521 (see link below), but it does not have the optional FPU.

https://developer.arm.com/tools-and-software/development-boards/fpga-prototyping-boards/mps2

Is there an FPGA image for AN521 with an FPU?

More questions in this forum