recently I did Look for the HASP drivers also, especially for the Win7 platform.
In case You make use of the 'green' USB dongle, the HOSTID=FLEXID=9 is present in some files provided by the Mentor.
Then just download the HASP driver for the specific FLEXid and Win 32-bit/64-bit platform here:
Thank you Logena,
I followed the link you kindly posted but it appears to be a dead link (i.e. no longer supported by the host).