Verilog model for the 7025L20PFGI or any other Dual-Port SRAM

Hi,

Is there any Verilog model for the 7025L20PFGI or any other Dual-Port SRAM for simulation?
In 'Documentation & Downloads', many other SRAMs do provide Verilog behavior models. However, the support files for Dual-Port SRAM are only available in IBIS or SPICE.

Thanks!

Best Regards,
Jason Shih