I don't think so. The company I worked for until recently had around 200 licenses for our main simulator - at that rate it would cost $50m/year, but our total run rate (including all salaries and EDA licenses) was only about $15m/year.

They're super opaque about pricing but I don't think it's that expensive. Apparently formal tools are way more expensive than simulation though (which makes sense), so we only had a handful of those licenses.

I managed to find a real price that someone posted:

https://www.reddit.com/r/FPGA/comments/c8z1x9/modelsim_and_q...

> Questa Prime licenses for ~$30000 USD.

That sounds way more realistic, and I guess you get decent volume discounts if you want 200 licenses.