$4k/cpu/year is really not very expensive at all for industry-leading niche software.

Good comparison might be Synopsys VCS. Prices are not published but I believe they are over $30k/cpu/year and for larger designs you really want a big sim server.