About FormalCheck

Hi all,

I'm a student and I want to use Cadence's FormalCheck in my research.
However, it seems that the product still provides university licenses
but the software has been discontinued and it's very old.

Does anyone know what is the current software which integrates
FormalCheck? For this software, does it provide a university license,
and where could we download an electronic version?

Thanks a lot.

Regards,
Xiaofang