SAN FRANCISCO Register transfer level (RTL) verification provider Averant Inc. Friday (May 27) released the latest version of its Solidify property verification tool, Solidify 3.1.
Averant said the new releases includes extensive performance and usability enhancements, including improved property specification language (PSL) flow, initial support for the SystemVerilog assertion (SVA) language, improvements to the engine and Averant's HPL property specification language, as well as other enhancements.
Solidify 3.1 is available immediately and can be ordered on CD-ROM or downloaded from Averant's Web site.
Platform support includes Windows NT4.0/2000/XP or Linux Red Hat 7.2 or later, and workstations running Sun Solaris 2.6/2.7/2.8. List price for the tool starts at $40,000.