EDA Blog - electronic design automation, embedded systems, ic

home : : contact : : eda news : : embedded : : fpga : : free journals : : jobs
Share/BookmarkSubscribe

Ascent 2.2.1 and Meridian CDC 2.5

Posted by Ken Cheung in EDA Tools on Monday, May 18, 2009
»
«

Real Intent released 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. Meridian CDC is the clock-domain crossing (CDC) verification software for ASIC and FPGA designs.

Ascent 2.2.1 includes performance improvement, local scope analysis, and inline pragma support. 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

More info: Real Intent

Related Posts with Thumbnails

Custom Search

EDA Blog Newsletter
Don't have time to visit EDA Blog everyday? Then sign up for our free newsletter. We'll send you an email when we have something to share with you. Your email address will be kept confidential and we will not share, sell, or rent it to anyone. You can unsubscribe at any time by clicking a link in the email.

Enter your email address to sign up for our free newsletter:  

If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.