HAYWARD, Calif.--August 01, 2011--Averant Inc., the First In Formalâ„¢ leader in property verification of RTL designs for digital circuits, today announces the release of Solidify 5.4. Some of the ...