Looks like modelsim

https://github.com/Nuand/bladeRF-wiphy/blob/main/fpga/models...

https://www.mentor.com/products/fv/modelsim/