SAN JOSE, USA:Real Intent Inc., the innovator in automating the intelligence of formal techniques for design verification, announced today that it is now shipping new versions of Ascent and Meridian CDC software, Ascent 2.2.1 and Meridian CDC 2.5.
Ascent is the all-in-one automatic early functional verification software. It includes lint and sequential formal analysis capabilities to find bugs in the design without any testbench. Ascent 2.2.1 includes performance improvement, local scope analysis and inline pragma support.
Meridian CDC is the clock-domain crossing (CDC) verification software for ASIC and FPGA designs. Meridian CDC offers automatic clock intent verification, exhaustive formal analysis and dynamic simulation capabilities to ensure reliable CDC crossings. Meridian CDC 2.5 includes several new features and improvements:
* Shell model support for hierarchical analysis.
* Enhanced RAM support.
* Enhanced formal analysis of FIFOs.
* Improved structural and formal reporting.
* Enhanced GUI debugging capabilities.
Prakash Narain, President and CEO at Real Intent, said: “We are dedicated to addressing the verification challenges faced by designers today and we continue to improve our product offerings. These latest releases of our software reflect our commitment to provide the leading edge verification solutions to our customers.”
Tuesday, May 19, 2009
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.