Hojati and Lapides said that Solidify 4.0 also offers another industry first: the ability to translate among several property languages including SVA, PSL, OVA, OVL and HPL.
The executives said, gives design teams the freedom to choose the property language that best serves their needs, enabling preservation and reuse of verification IP.