Open side-bar Menu
 Real Talk

Archive for May, 2014

Fun and Fast RTL Sign-off at DAC in San Francisco

Wednesday, May 28th, 2014

Real Intent is bringing lots of valuable information and fun to the Design Automation Conference (DAC) 2014 in San Francisco June 2-4, 2014, at Booth #1825:

  • Technical presentations about its new product releases proven on 500M+ gate SoC designs.
    • New Ascent Lint 2014 with blazing speed for debugging – The industry’s fastest linter for cleaning RTL now has 46+ new comprehensive rules; it analyzes 500M gates in less than one hour with no need for hierarchical processing, and features debugging with the Emacs editor, hierarchical waiver management, SystemVerilog 2009 support, and new integration with MATLAB® from Mathworks.
    • Meridian Clock Domain Crossing with advanced flows and debug features - It offers market-leading speed, capacity and low-noise analysis of asynchronous clock domains in SoC designs, and improves the memory footprint and runtime performance by almost one-third.
    • Ascent XV comprehensive static solution for the latest in X-propagation verification, reporting and debug  – Its unique ability to seamlessly integrate techniques of simulation, static analysis and formal analysis into a unified flow maximizes coverage and minimizes user burden to achieve X safety. It ensures that simulation performance and accuracy are not impacted by X-effects; it precisely identifies all X-sources and X-sensitive nets, and ranks which nets to analyze first; it identifies uninitialized flops and suggests a minimal number of hardware resets for complete initialization with minimal RTL changes; and it provides initialization and optimization capability for power-managed blocks to ensure that the combination of resets and retention flops establish a known state.
    • Ascent IIV: Automatic detection of functional bugs without a test bench - Leveraging formal techniques for functional verification, it uses the implied RTL intent to formulate checks automatically, find elusive bugs in RTL blocks and pinpoint the root cause of the problem. Its smart reporting prioritizes debug effort by marking up to 90-percent of the failures as secondary or duplicate, reducing the time spent on analysis. The new 2014 release minimizes debug time with enhanced root cause analysis, smarter reporting and new FSM checks — shrinking the debug signoff burden to almost nothing for a very large amount of checks.
  • Other technical presentations
    • How to accelerate RTL sign-off of SoC designs with a best-in-class solution – It covers a full suite of static verification concerns including syntax and semantic checking (lint); constraints planning and management; reset analysis and optimization; automatic intent verification; CDC sign-off; DFT analysis and insertion; and X-analysis and optimism/pessimism correction.
    • Joint Meridian CDC and Defacto STAR DFT Flow – First-time showing of a combined RTL sign-off flow for both CDC and DFT that accelerates the sign-off process. The new flow integrates Defacto’s STAR DFT evaluation and enhancement platform, and Real Intent’s Meridian CDC to offer a best-in-class solution for SoC design teams worldwide.
  • Pavilion panel organizer: “The Asymptote of Verification” – Bryon Moyer, editor of EE Journal will moderate the discussion as panelists from Cavium, Infineon Technologies AG and NVIDIA talk about bringing a higher level of automation, predictability, and ROI to system-on-chip (SoC) functional verification, based on their real experiences with formal verification, static RTL analysis and graph-based verification technologies.
  • Passport Partner program – Visit Real Intent industry partners Calypto, Defacto and MathWorks that share joint flows with Real Intent, and enter to win several $100 gift cards or a 10-inch Android tablet.
  • Verification survey at the booth – Enter drawings for a Pebble Smartwatch, Google Chromecast, or Golden State Warriors tickets.
  • Video game - To celebrate the 2014 FIFA World Cup Brazil, come and play as the captain of your country’s team.
  • Free photo booth – Get an entertaining take-away for you and your colleagues.
  • Roses give-away - Come and receive yours as a sweet thank-you gift for our visitors.

Click here to see a very informative five-minute video by Real Intent President & CEO Prakash Narain. In it he references Real Intent’s mission to make RTL signoff more efficient and previews four products it will highlight at DAC 2014 that advance the state of the art.

Next Generation of Static RTL Sign-off

Thursday, May 22nd, 2014

Years ago when Real Intent began, 10 million logic gate designs were considered “top of the line.” Today you might be dealing with billion-gate designs – significantly more complicated across a far wider scope of applications. The sheer complexity leads to a whole new host of verification challenges. Because sign-off is an iterative process, you have to deal with things like capacity, performance, power and timing issues, and engineering effort at each step. There’s a real need for toolsets that handle functional verification tasks prior to simulation and synthesis to avoid the exorbitant cost of silicon failure – so much so, that even Synopsys is getting onboard with a new verification suite.

Real Intent is committed to deliver the industry’s best possible software tools for verifying next-generation digital designs for FPGAs and complex SoCs. Our Ascent products for static functional verification prior to synthesis, and our Meridian products for advanced sign-off verification for CDC and constraints timing, uniquely address specific SoC sign-off issues. They save design and verification engineers a lot of time and effort, and give 10x better design quality and productivity compared to alternative methods. We also work closely with industry leaders like Defacto, Calypto and our newest industry partner, MathWorks, to ensure quality and compatibility.


Gigagate SoC Designs and IP Growth Challenge Verification

Thursday, May 15th, 2014

In my last article, Redefining chip complexity, I touched on the challenge of using asynchronous interfaces for the integration of the various IPs in SoC design. In this posting I, want to drill down to expose more of the verification issues and to suggest the right approach to handle them.

Asynchronous clock domain crossing and the associated meta-stability issues are a well-researched problem. There are multiple verification solutions in the market and they do a fair job of reporting issues and pin-pointing what you can do next. So what’s new?

The asynchronous challenge has acquired additional dimensions. (more…)

What’s Happening with Formal Verification?

Thursday, May 8th, 2014

With the pending acquisition of Jasper Design Systems by Cadence, there is a renewed discussion on the state of formal verification of RTL design. It has become a mainstream technology and no longer requires a Phd. to use.  It is now considered a part of the verification process.  What has changed?  The following is a perspective by Pranav Ashar, CTO at Real Intent.

The capacity of formal tools has certainly improved by orders of magnitude in the last 20 years, and done so far beyond the basic increase in speed of computers. This makes everything else I am saying here possible. The second very crucial change is that people have figured out where and how to apply formal so it makes a real difference. Turns out that the best places are where the scope is narrow and where there is a full understanding of the failure modes that need to be analyzed.

The hurdles faced in the ease of use of assertion-based formal analysis have been (1) coming up with the assertions, (2) controlling analysis complexity, (3) debug, and (4) absence of definitive outcome. Narrowly scoped verification objectives allows assertions to be generated automatically, have manageable formal analysis complexity, provide precise debug info and always return actionable feedback.

Clock domain crossing (CDC) analysis is a great example of how this can be done. The failure mode that needs to be covered involves a confluence of functionality and timing, which is where simulation falls short. Also, the logical scope of the failure analysis is local, i.e. the complexity of formal analysis does not directly scale with chip size.  Finally, because the failure mode is well understood, the checks are generated automatically and the debug feedback is in the context of the designer’s intent. These are powerful reasons for using formal methods. Beyond CDC, there is an increasing number of such high-value verification objectives where static analysis and formal methods are essential and viable.

On always returning actionable feedback, the formal community has been too focused on improving the core engines in formal analysis. While that is essential, of course, the community has failed to realize that there is a gold mine of information in the intermediate (bounded) results produced during formal analysis that can be fed back to the user. This feedback provides a better handle on debug, coverage and on actionable next steps to improve verification confidence. We are missing out on some low hanging fruit by not exploiting this information, especially in the context of narrowly scoped verification objectives.

The simulation of of an SOC or any other system is always a fallback option. You would always prefer an analytical model if it serves the purpose. The more you understand a problem, the more you can apply a precise specification and an analytical flavor to the analysis, i.e. formal analysis. As SOC design steps become more understood, there are more areas that are becoming amenable to formal solutions.

The status today is that formal analysis is already being used under-the-hood for high-value sign-off verification objectives like the verification of clock domain crossings, power management, design constraints and timing exceptions, power-on and dynamic reset, X-effects and a few more. More high-value verification objectives will continue to be identified where the narrow-scope template can be applied to make formal analysis viable and simulation-like in its ease of use. Formal verification methods for SOCs are firmly anchored in terms of demonstrated value and I see a bright future ahead for them.

For further comments by Dr. Ashar, view the following video interview. He discusses the keynote speech he gave at the FMCAD 2013 conference on the topic  “Static verification based sign-off is a key enabler for managing verification complexity in the modern SoC.”


Determining Test Quality through Dynamic Runtime Monitoring of SystemVerilog Assertions

Thursday, May 1st, 2014

Its only one month left until the Design Automation Conference in San Francisco,  June 1-5 and the process of getting ready is keeping me BUSY.   This week, I would like to highlight the DVCon 2014 Best Oral Presentation by Kelly D. Larson from NVIDIA on “Determining Test Quality through Dynamic Runtime Monitoring of SystemVerilog Assertions.

This paper describes an entirely different way to use these same SVA assertions. While the standard use of SystemVerilog assertions is typically targeted towards DESIGN QUALITY, this paper describes how to effectively use assertions to target individual TEST QUALITY. In many cases the same SystemVerilog assertions which were written for measuring design quality can also be used to measure test quality, but it’s important to realize that the fundamental goal is quite different. (more…)

Naked and Afraid – THE SEARCH FOR CAPITAL, Mon. May 5

Thursday, May 1st, 2014

Whether you are an entrepreneur or even thought about being one, you know that there are two things to worry about – time and money.

Everyone is welcome at the upcoming installment of the popular EDAC – Jim Hogan Emerging Companies Series, where Jim and other panelists (Amit Gupta, President and CEO, Solido Design Automation, Inc. and Vishal Kapoor, Principal, Three Legged Stool, LLC.) will discuss the sources of money – from crowdfunding to institutional investment to intrapreneural capital. The panel will debate the opportunities and risks associated with those sources and which one might be right for you.

Every entrepreneur believes that they know their product, but often only from a technical capability perspective. How you position, communicate and sell your product may be more important than it’s underlying capability. Without having a keen understanding of what you are building, how capital efficient it is and who needs it, the chances of getting that capital are significantly diminished.


CST Webinar Series

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy