Real Talk Blog

Blog Archive
December 2014
12/17/2014: Happy Holidays from Real Intent!
12/12/2014: Best of “Real Talk”, Q4 Summary and Latest Videos
12/04/2014: P2415 – New IEEE Power Standard for Unified Hardware Abstraction
November 2014
11/27/2014: The Evolution of RTL Lint
11/20/2014: Parallelism in EDA Software – Blessing or a Curse?
11/13/2014: How Big is WWD – the Wide World of Design?
11/06/2014: CMOS Pioneer Remembered: John Haslet Hall
October 2014
10/31/2014: Is Platform-on-Chip The Next Frontier For IC Integration?
10/23/2014: DVClub Shanghai: Making Verification Debug More Efficient
10/16/2014: ARM TechCon Video: Beer, New Meridian CDC, and Arnold Schwarzenegger ?!
10/10/2014: New CDC Verification: Less Filling, Picture Perfect, and Tastes Great!
10/03/2014: ARM Fueling the SoC Revolution and Changing Verification Sign-off
September 2014
9/25/2014: Does Your Synthesis Code Play Well With Others?
9/19/2014: It’s Time to Embrace Objective-driven Verification
9/12/2014: Autoformal: The Automatic Vacuum for Your RTL Code
9/04/2014: How Bad is Your HDL Code? Be the First to Find out!
August 2014
8/29/2014: Fundamentals of Clock Domain Crossing: Conclusion
8/21/2014: Video Keynote: New Methodologies Drive EDA Revenue Growth
8/15/2014: SoCcer: Defending your Digital Design
8/08/2014: Executive Insight: On the Convergence of Design and Verification
July 2014
7/31/2014: Fundamentals of Clock Domain Crossing Verification: Part Four
7/24/2014: Fundamentals of Clock Domain Crossing Verification: Part Three
7/17/2014: Fundamentals of Clock Domain Crossing Verification: Part Two
7/10/2014: Fundamentals of Clock Domain Crossing Verification: Part One
7/03/2014: Static Verification Leads to New Age of SoC Design
June 2014
6/26/2014: Reset Optimization Pays Big Dividends Before Simulation
6/20/2014: SoC CDC Verification Needs a Smarter Hierarchical Approach
6/12/2014: Photo Booth Blackmail at DAC in San Francisco!
6/06/2014: Quick Reprise of DAC 2014
May 2014
5/01/2014: Determining Test Quality through Dynamic Runtime Monitoring of SystemVerilog Assertions
April 2014
4/24/2014: Complexity Drives Smart Reporting in RTL Verification
4/17/2014: Video Update: New Ascent XV Release for X-optimization, ChipEx show in Israel, DAC Preview
4/11/2014: Design Verification is Shifting Left: Earlier, Focused and Faster
4/03/2014: Redefining Chip Complexity in the SoC Era
March 2014
3/27/2014: X-Verification: A Critical Analysis for a Low-Power World (Video)
3/14/2014: Engineers Have Spoken: Design And Verification Survey Results
3/06/2014: New Ascent IIV Release Delivers Enhanced Automatic Verification of FSMs
February 2014
2/28/2014: DVCon Panel Drill Down: “Where Does Design End and Verification Begin?” – Part 3
2/20/2014: DVCon Panel Drill Down: “Where Does Design End and Verification Begin?” – Part 2
2/13/2014: DVCon Panel Drill Down: “Where Does Design End and Verification Begin?” – Part 1
2/07/2014: Video Tech Talk: Changes In Verification
January 2014
1/31/2014: Progressive Static Verification Leads to Earlier and Faster Timing Sign-off
1/30/2014: Verific’s Front-end Technology Leads to Success and a Giraffe!
1/23/2014: CDC Verification of Fast-to-Slow Clocks – Part Three: Metastability Aware Simulation
1/16/2014: CDC Verification of Fast-to-Slow Clocks – Part Two: Formal Checks
1/10/2014: CDC Verification of Fast-to-Slow Clocks – Part One: Structural Checks
1/02/2014: 2013 Highlights And Giga-scale Predictions For 2014
December 2013
12/13/2013: Q4 News, Year End Summary and New Videos
12/12/2013: Semi Design Technology & System Drivers Roadmap: Part 6 – DFM
12/06/2013: The Future is More than “More than Moore”
November 2013
11/27/2013: Robert Eichner’s presentation at the Verification Futures Conference
11/21/2013: The Race For Better Verification
11/18/2013: Experts at the Table: The Future of Verification – Part 2
11/14/2013: Experts At The Table: The Future Of Verification Part 1
11/08/2013: Video: Orange Roses, New Product Releases and Banner Business at ARM TechCon
October 2013
10/31/2013: Minimizing X-issues in Both Design and Verification
10/23/2013: Value of a Design Tool Needs More Sense Than Dollars
10/17/2013: Graham Bell at EDA Back to the Future
10/15/2013: The Secret Sauce for CDC Verification
10/01/2013: Clean SoC Initialization now Optimal and Verified with Ascent XV
September 2013
9/24/2013: EETimes: An Engineer’s Progress With Prakash Narain, Part 4
9/20/2013: EETimes: An Engineer’s Progress With Prakash Narain, Part 3
9/20/2013: CEO Viewpoint: Prakash Narain on Moving from RTL to SoC Sign-off
9/17/2013: Video: Ascent Lint – The Best Just Got Better
9/16/2013: EETimes: An Engineer’s Progress With Prakash Narain, Part 2
9/16/2013: EETimes: An Engineer’s Progress With Prakash Narain
9/10/2013: SoC Sign-off Needs Analysis and Optimization of Design Initialization in the Presence of Xs
August 2013
8/15/2013: Semiconductor Design Technology and System Drivers Roadmap: Process and Status – Part 4
8/08/2013: Semiconductor Design Technology and System Drivers Roadmap: Process and Status – Part 3
July 2013
7/25/2013: Semiconductor Design Technology and System Drivers Roadmap: Process and Status – Part 2
7/18/2013: Semiconductor Design Technology and System Drivers Roadmap: Process and Status – Part 1
7/16/2013: Executive Video Briefing: Prakash Narain on RTL and SoC Sign-off
7/05/2013: Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures — Part 3
June 2013
6/27/2013: Bryon Moyer: Simpler CDC Exception Handling
6/21/2013: Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures — Part 2
6/17/2013: Peggy Aycinena’s interview with Prakash Narain
6/14/2013: Lending a ‘Formal’ Hand to CDC Verification: A Case Study of Non-Intuitive Failure Signatures — Part 1
6/10/2013: Photo Booth Blackmail!
6/03/2013: Real Intent is on John Cooley’s “DAC’13 Cheesy List”
May 2013
5/30/2013: Does SoC Sign-off Mean More Than RTL?
5/24/2013: Ascent Lint Rule of the Month: DEFPARAM
5/23/2013: Video: Gary Smith Tells Us Who and What to See at DAC 2013
5/22/2013: Real Intent is on Gary Smith’s “What to see at DAC” List!
5/16/2013: Your Real Intent Invitation to Fun and Fast Verification at DAC
5/09/2013: DeepChip: “Real Intent’s not-so-secret DVcon’13 Report”
5/07/2013: TechDesignForum: Better analysis helps improve design quality
5/03/2013: Unknown Sign-off and Reset Analysis
April 2013
4/25/2013: Hear Alexander Graham Bell Speak from the 1880′s
4/19/2013: Ascent Lint rule of the month: NULL_RANGE
4/16/2013: May 2 Webinar: Automatic RTL Verification with Ascent IIV: Find Bugs Simulation Can Miss
4/05/2013: Conclusion: Clock and Reset Ubiquity – A CDC Perspective
March 2013
3/22/2013: Part Six: Clock and Reset Ubiquity – A CDC Perspective
3/21/2013: The BIG Change in SoC Verification You Don’t Know About
3/15/2013: Ascent Lint Rule of the Month: COMBO_NBA
3/15/2013: System-Level Design Experts At The Table: Verification Strategies – Part One
3/08/2013: Part Five: Clock and Reset Ubiquity – A CDC Perspective
3/01/2013: Quick DVCon Recap: Exhibit, Panel, Tutorial and Wally’s Keynote
3/01/2013: System-Level Design: Is This The Era Of Automatic Formal Checks For Verification?
February 2013
2/26/2013: Press Release: Real Intent Technologist Presents Power-related Paper and Tutorial at ISQED 2013 Symposium
2/25/2013: At DVCon: Pre-Simulation Verification for RTL Sign-Off includes Automating Power Optimization and DFT
2/25/2013: Press Release: Real Intent to Exhibit, Participate in Panel and Present Tutorial at DVCon 2013
2/22/2013: Part Four: Clock and Reset Ubiquity – A CDC Perspective
2/18/2013: Does Extreme Performance Mean Hard-to-Use?
2/15/2013: Part Three: Clock and Reset Ubiquity – A CDC Perspective
2/07/2013: Ascent Lint Rule of the Month: ARITH_CONTEXT
2/01/2013: “Where Does Design End and Verification Begin?” and DVCon Tutorial on Static Verification
January 2013
1/25/2013: Part Two: Clock and Reset Ubiquity – A CDC Perspective
1/18/2013: Part One: Clock and Reset Ubiquity – A CDC Perspective
1/07/2013: Ascent Lint Rule of the Month: MIN_ID_LEN
1/04/2013: Predictions for 2014, Hier. vs Flat, Clocks and Bugs
December 2012
12/14/2012: Real Intent Reports on DVClub Event at Microprocessor Test and Verification Workshop 2012
12/11/2012: Press Release: Real Intent Records Banner Year
12/07/2012: Press Release: Real Intent Rolls Out New Version of Ascent Lint for Early Functional Verification
12/04/2012: Ascent Lint Rule of the Month: OPEN_INPUT
November 2012
11/19/2012: Real Intent Has Excellent EDSFair 2012 Exhibition
11/16/2012: Peggy Aycinena: New Look, New Location, New Year
11/14/2012: Press Release: New Look and New Headquarters for Real Intent
11/05/2012: Ascent Lint HDL Rule of the Month: ZERO_REP
11/02/2012: Have you had CDC bugs slip through resulting in late ECOs or chip respins?
11/01/2012: DAC survey on CDC bugs, X propagation, constraints
October 2012
10/29/2012: Press Release: Real Intent to Exhibit at ARM TechCon 2012 – Chip Design Day
September 2012
9/24/2012: Photos of the space shuttle Endeavour from the Real Intent office
9/20/2012: Press Release: Real Intent Showcases Verification Solutions at Verify 2012 Japan
9/14/2012: A Bolt of Inspiration
9/11/2012: ARM blog: An Advanced Timing Sign-off Methodology for the SoC Design Ecosystem
9/05/2012: When to Retool the Front-End Design Flow?
August 2012
8/27/2012: X-Verification: What Happens When Unknowns Propagate Through Your Design
8/24/2012: Article: Verification challenges require surgical precision
8/21/2012: How To Article: Verifying complex clock and reset regimes in modern chips
8/20/2012: Press Release: Real Intent Supports Growth Worldwide by Partnering With EuropeLaunch
8/06/2012: SemiWiki: The Unknown in Your Design Can be Dangerous
8/03/2012: Video: “Issues and Struggles in SOC Design Verification”, Dr. Roger Hughes
July 2012
7/30/2012: Video: What is Driving Lint Usage in Complex SOCs?
7/25/2012: Press Release: Real Intent Adds to Japan Presence: Expands Office, Increases Staff to Meet Demand for Design Verification and Sign-Off Products
7/23/2012: How is Verification Complexity Changing, and What is the Impact on Sign-off?
7/20/2012: Real Intent in Brazil
7/16/2012: Foosball, Frosty Beverages and Accelerating Verification Sign-off
7/03/2012: A Good Design Tool Needs a Great Beginning
June 2012
6/14/2012: Real Intent at DAC 2012
6/01/2012: DeepChip: Cheesy List for DAC 2012
May 2012
5/31/2012: EDACafe: Your Real Intent Invitation to Fast Verification and Fun at DAC
5/30/2012: Real Intent Video: New Ascent Lint and Meridian CDC Releases and Fun at DAC 2012
5/29/2012: Press Release: Real Intent Leads in Speed, Capacity and Precision with New Releases of Ascent Lint and Meridian CDC Verification Tools
5/22/2012: Press Release: Over 35% Revenue Growth in First Half of 2012
5/21/2012: Thoughts on RTL Lint, and a Poem
5/21/2012: Real Intent is #8 on Gary Smith’s “What to see at DAC” List!
5/18/2012: EETimes: Gearing Up for DAC – Verification demos
5/08/2012: Gabe on EDA: Real Intent Helps Designers Verify Intent
5/07/2012: EDACafe: A Page is Turned
5/07/2012: Press Release: Graham Bell Joins Real Intent to Promote Early Functional Verification & Advanced Sign-Off Circuit Design Software
March 2012
3/21/2012: Press Release: Real Intent Demos EDA Solutions for Early Functional Verification & Advanced Sign-off at Synopsys Users Group (SNUG)
3/20/2012: Article: Blindsided by a glitch
3/16/2012: Gabe on EDA: Real Intent and the X Factor
3/10/2012: DVCon Video Interview: “Product Update and New High-capacity ‘X’ Verification Solution”
3/01/2012: Article: X-Propagation Woes: Masking Bugs at RTL and Unnecessary Debug at the Netlist
February 2012
2/28/2012: Press Release: Real Intent Joins Cadence Connections Program; Real Intent’s Advanced Sign-Off Verification Capabilities Added to Leading EDA Flow
2/15/2012: Real Intent Improves Lint Coverage and Usability
2/15/2012: Avoiding the Titanic-Sized Iceberg of Downton Abbey
2/08/2012: Gabe on EDA: Real Intent Meridian CDC
2/08/2012: Press Release: At DVCon, Real Intent Verification Experts Present on Resolving X-Propagation Bugs; Demos Focus on CDC and RTL Debugging Innovations
January 2012
1/24/2012: A Meaningful Present for the New Year
1/11/2012: Press Release: Real Intent Solidifies Leadership in Clock Domain Crossing
August 2011
8/02/2011: A Quick History of Clock Domain Crossing (CDC) Verification
July 2011
7/26/2011: Hardware-Assisted Verification and the Animal Kingdom
7/13/2011: Advanced Sign-off…It’s Trending!
May 2011
5/24/2011: Learn about Advanced Sign-off Verification at DAC 2011
5/16/2011: Getting A Jump On DAC
5/09/2011: Livin’ on a Prayer
5/02/2011: The Journey to CDC Sign-Off
April 2011
4/25/2011: Getting You Closer to Verification Closure
4/11/2011: X-verification: Conquering the “Unknown”
4/05/2011: Learn About the Latest Advances in Verification Sign-off!
March 2011
3/21/2011: Business Not as Usual
3/15/2011: The Evolution of Sign-off
3/07/2011: Real People, Real Discussion – Real Intent at DVCon
February 2011
2/28/2011: The Ascent of Ascent Lint (v1.4 is here!)
2/21/2011: Foundation for Success
2/08/2011: Fairs to Remember
January 2011
1/31/2011: EDA Innovation
1/24/2011: Top 3 Reasons Why Designers Switch to Meridian CDC from Real Intent
1/17/2011: Hot Topics, Hot Food, and Hot Prize
1/10/2011: Satisfaction EDA Style!
1/03/2011: The King is Dead. Long Live the King!
December 2010
12/20/2010: Hardware Emulation for Lowering Production Testing Costs
12/03/2010: What do you need to know for effective CDC Analysis?
November 2010
11/12/2010: The SoC Verification Gap
11/05/2010: Building Relationships Between EDA and Semiconductor Ventures
October 2010
10/29/2010: Thoughts on Assertion Based Verification (ABV)
10/25/2010: Who is the master who is the slave?
10/08/2010: Economics of Verification
10/01/2010: Hardware-Assisted Verification Tackles Verification Bottleneck
September 2010
9/24/2010: Excitement in Electronics
9/17/2010: Achieving Six Sigma Quality for IC Design
9/03/2010: A Look at Transaction-Based Modeling
August 2010
8/20/2010: The 10 Year Retooling Cycle
July 2010
7/30/2010: Hardware-Assisted Verification Usage Survey of DAC Attendees
7/23/2010: Leadership with Authenticity
7/16/2010: Clock Domain Verification Challenges: How Real Intent is Solving Them
7/09/2010: Building Strong Foundations
7/02/2010: Celebrating Freedom from Verification
June 2010
6/25/2010: My DAC Journey: Past, Present and Future
6/18/2010: Verifying Today’s Large Chips
6/11/2010: You Got Questions, We Got Answers
6/04/2010: Will 70 Remain the Verification Number?
May 2010
5/28/2010: A Model for Justifying More EDA Tools
5/21/2010: Mind the Verification Gap
5/14/2010: ChipEx 2010: a Hot Show under the Hot Sun
5/07/2010: We Sell Canaries
April 2010
4/30/2010: Celebrating 10 Years of Emulation Leadership
4/23/2010: Imagining Verification Success
4/16/2010: Do you have the next generation verification flow?
4/09/2010: A Bug’s Eye View under the Rug of SNUG
4/02/2010: Globetrotting 2010
March 2010
3/26/2010: Is Your CDC Tool of Sign-Off Quality?
3/19/2010: DATE 2010 – There Was a Chill in the Air
3/12/2010: Drowning in a Sea of Information
3/05/2010: DVCon 2010: Awesomely on Target for Verification
February 2010
2/26/2010: Verifying CDC Issues in the Presence of Clocks with Dynamically Changing Frequencies
2/19/2010: Fostering Innovation
2/12/2010: CDC (Clock Domain Crossing) Analysis – Is this a misnomer?
2/05/2010: EDSFair – A Successful Show to Start 2010
January 2010
1/29/2010: Ascent Is Much More Than a Bug Hunter
1/22/2010: Ascent Lint Steps up to Next Generation Challenges
1/15/2010: Google and Real Intent, 1st Degree LinkedIn
1/08/2010: Verification Challenges Require Surgical Precision
1/07/2010: Introducing Real Talk!

Happy Holidays from Real Intent!

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

Happy Holidays from Real Intent

Happy Holidays from Real Intent



Dec 17, 2014 | Comments


Best of “Real Talk”, Q4 Summary and Latest Videos

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

Real Intent has had an exciting 2014!  In the last few months we have announced a new release of Meridian CDC , new distribution partners in Taiwan and India, and seen many of you at trade shows in Silicon Valley, China, Israel, Japan, Germany and the United Kingdom.  Our YouTube video channel keeps you up to date on all the latest developments at Real Intent, with our most recent on the New 2014 Release of Meridian CDC Meets Challenge of Billion-gate SoCs.  I also discussed “Beer, New Meridian CDC, and Arnold Schwarzenegger?! ” with Sean O’kane of ChipEstimate in an ARM TechCon video interview.

There have been over 50 postings on the Real Talk blog this year, and I have selected the most popular ones read by the EDACafe audience. Here are the top five:

Redefining Chip Complexity in the SoC Era
CDC Verification of Fast-to-Slow Clocks (a three part series)
Fundamentals of Clock Domain Crossing Verification: (a four part series)
Ascent Lint Rule of the Month: ARITH_CONTEXT
Engineers Have Spoken: Design And Verification Survey Results

As you can see clock-domain crossing (CDC) remains a very hot topic. Look for more postings on this sign-off requirement in the coming year.

Happy Holidays!



Dec 12, 2014 | Comments


P2415 – New IEEE Power Standard for Unified Hardware Abstraction

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

The IEEE announced in September that is was launching working a on a new power standard called P2415. This blog gives the background for this new effort.

The current low power design and verification standard (IEEE 1801-2013 and IEEE P1801) is focused on the voltage distribution structure in design at Register Transfer Level (RTL) description and below. It has minimal abstraction for time (having only an interval function for modeling clock frequency), but depends on other hardware oriented standards to abstract events, scenarios, clock trees, etc. which are required for energy proportional design, verification, modeling and management of electronic systems. The necessary abstractions of hardware, as well as layers and interfaces in software are not yet defined by any existing standards.

The energy design and management flow for electronic devices is disconnected among different stages of the design process and lacks the abstractions, formats, interfaces, and automated methodologies long established and standardized in functional design and verification of hardware and software for electronic systems. The main disconnects on energy issues are at the handover points between various design teams:

  • From VLSI designers and IP providers to system integrators and power designers at the RTL level
  • From system integrators to firmware developers at the core system software level
  • From device developers and firmware developers to OS integrators at the OS API level
  • From device developers and OS integrators to the application programmers at the application software level

The new P2415 standard has the goal to remove the above disconnects and lead to a well-connected energy oriented design flow enabling energy proportionality as the main design principle. It addresses energy proportionality through tight interplay between energy-oriented hardware and energy-aware software. It provides new design, verification, modeling, management and testing abstractions and formats for hardware, software and systems to model energy proportionality, and enables the design methodology that naturally follows the top-down approach – from the system and software down to the hardware.

The new standard defines the syntax and semantics for energy oriented description of hardware, software and power management for electronic systems. It enables specifying, modeling, verifying, designing, managing, testing and measuring the energy features of the device, covering both the pre- and post-silicon design flow.

On the hardware side the description covers enumeration of semiconductor intellectual property components (System on Chip, board, device), memory map, bus structure, interrupt logic, clock and reset tree, operating states and points, state transitions, energy and power attributes.  On the software side the description covers software activities and events, scenarios, external influences (including user input) and operational constraints; and on the power management side the description covers activity dependent energy control.

The new standard, once completed and approved, will be intended to be compatible with the current IEEE 1801™-2013 (UPF) standard to support an integrated design flow. Additionally, the new standard would complement functional models in standard hardware description languages IEEE 1076™ (VHDL), IEEE 1364™ (Verilog), IEEE 1800™ (SystemVerilog), and IEEE 1666™ (SystemC), by providing an abstraction of the design hierarchy and an abstraction of the design behavior with regard to power and energy usage.

“IEEE P2415 will provide the higher level of energy abstraction for the system-on-chip and the whole device and, therefore, will enable earlier (more abstract) modeling of power states using the IEEE 1801-2013 (UPF) standard,” said Dr. Vojin Zivojnovic, chair of the IEEE P2415 working group and CEO of Aggios, Inc. “Many software engineers and system architects will find this effort well-aligned with their need to communicate their low-power and energy requirements with the hardware engineers in an aligned fashion for holistic, quantifiable and reusable energy optimizations. I welcome them to participate in this industry-wide effort.”

To participate in the new working group you can contact Dr. Zivojnovic at the following email: vojin.zivojnovic [at] aggios.com



Dec 4, 2014 | Comments


The Evolution of RTL Lint

Pranav Ashar   Dr. Pranav Ashar
   Chief Technology Officer

This article was originally published on TechDesignForums and is reproduced here by permission.

It’s tempting to see lint in the simplest terms: ‘I run these tools to check that my RTL code is good. The tool checks my code against accumulated knowledge, best practices and other fundamental metrics. Then I move on to more detailed analysis.’

It’s an inherent advantage of automation that it allows us to see and define processes in such a straightforward way. It offers control over the complexity of the design flow. We divide and conquer. We know what we are doing.

Yet linting has evolved and continues to do so. It covers more than just code checking. We begun with verifying the ‘how’ of the RTL but we have moved on into the ‘what’ and ‘why’. We use linting today to identify and confirm the intent of the design.

A lint tool, like our own Ascent Lint, is today one of the components of early stage functional verification rather than a precursor to it, as was once the case.

At Real Intent, we have developed this three-stage process for verifying RTL:

  1. Initial RTL: Requirements may still be evolving. Design checks here ensure that regressions and builds failures are caught early.
  2. Mature RTL: Our concerns now revolve around such issues as modeling and its costs, simulation-synthesis mismatches, FSM complexity and so on. The focus is on higher order aspects of freeze-ready RTL that might impact design quality. These ‘mature RTL’ checks ensure necessary conditions for downstream interoperability.
  3. Handoff RTL: By this late stage, checks are geared towards compliance with industry standards or internal conventions to allow easy integration and reuse.

Applying those three stages to lint tools gives us the following diagrammatic representation of how they can be applied.

The three stages of lint (Real Intent)

Linting plays an increasing role in this process because better tools now use policy files that are both appropriate and adaptable at each of the three stages. They still detect coding errors but also monitor that further satisfaction of design intent. We can use linting to begin the deep semantic analysis of designs now needed to manage their increasing complexity.

Lint as a semantic analysis platform for verification

Semantic analysis is an approach that we might more immediately associate with tools run after linting to analyze, say, clock domain crossings or troublesome X states. If we consider linting as an example of early stage functional verification rather than simple code checking, it becomes natural for it to also undertake such an analysis, addressing issues with the relationships between different elements as soon as possible.

The results from a linter therefore tell us a great deal about the state of the design. The tool should catch problems that require immediate debug but also provide data that help us plan and refine the verification plan going forward.

Can some issues be seen as settled, needing no further investigation? Do others require examination in particular detail?

A good linter helps us to allocate resources. This is in addition to features that look toward debug. Ascent Lint, for example, has Emacs editor integration to make the find-and-fix loop faster and easier.

These are not the linters of the past. But even they may be only the beginning. For example, as intelligent testbenches evolve, they are also incorporating more capability for semantic analysis. The opportunity here alone for greater integration and efficiency is self-evident.

Lint may be an established, even mature concept but continues to evolve in exciting directions and how it fits in your flow today should not be taken for granted.



Nov 27, 2014 | Comments


Parallelism in EDA Software – Blessing or a Curse?

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

To satisfy demands for lower-power and higher performance, the use of multiple CPU cores is a norm in SoC design.  The interaction of multiple cores and the surrounding semiconductor IP, presents new challenges to verification.  But what about EDA tool providers?  How can the use of multple CPUs improve performance and throughput in their tools?  What software caveats do they need to be aware to support processing by parallel CPUs?  Pranav Ashar, CTO at Real Intent gives his perspective below.

home1[1]

EDA tools must be exploit parallelism to keep up with SoC complexity, or we will be attempting to designing next-generation chips on what effectively will be antique hardware.

A couple of factors have combined to reduce the pace at which parallelism has been adopted in EDA tools. It is common to overlook the latency impact when designing parallel programs that communicate with physical memory.  Cache-coherency and memory access latency are often encountered examples that lowers the processing throughput of a tool on a multi-core processor.  Fine-grain multi-threading in EDA tools quickly triggers some of these latency bottlenecks – for the typical SoC benchmark, these limits are reached rather rapidly.

It is also challenging to write bug-free multi-threaded programs. Revamping a large existing code base to become multi-threading friendly is a nontrivial re-engineering undertaking.  Below, we present a list of Do’s and Don’ts for coding multi-threaded programs courtesy of Guy Maor, an experienced EDA developer.

Multi-process parallelism has become a viable alternative to multi-threading as a result of much lower overheads compared to previous generations of hardware. Also, compared to the multi-threading approach, process-based parallelism triggers fewer latency issues and is easier to ensure correct operation, and has excellent API software libraries available.

There is plenty of low-hanging parallelism available in EDA tools in their front-ends and analysis engines that, with a careful program architecture and data-flow to minimize inter-process copying overheads, can be harnessed with multi-process parallelism.  This can be a way to introduce parallelism into an EDA tool in an evolutionary manner.

Even with the known limitations of current multicore architectures, EDA companies must push ahead with parallelizing their software. An 8x speed up on a 32-core processor is better than no speed up at all. It is also one way of determining what the limits are, and where system and software rearchitecting is needed.

Do’s and Don’ts for Developers of Parallel Software by Guy Maor

  1. Remember Amdahl’s Law
    • Your core algorithm will scale but the full flow often gives much less e.g. 2-3X improvement
    • Improving your core algorithm makes the full-flow scaling worse and harder to achieve
  2. Design for Deployed Hardware
    • Typical server farms have 2-4 sockets, 4-8 cores per socket, 4-8 GB of memory per CPU core.
    • Most EDA tools are memory limited, so cores are free
    • Don’t waste your time on GPUs or other esoteric hardware.  It makes adoption harder and will not deliver the ROI you are looking for.
  3. Be Deterministic
    • The tool must produce the same result irrespective of the number of cores as customers expect it and becomes impossible to debug
  4. Design for Input/Output
    • Input/Output is the bottleneck
    • Disks have good bandwidth but high-latency that must be managed
  5. Design for Memory
    • Use a multi-threaded memory allocator in your code (malloc)
    • Avoid transfer of ownership in your code
    • Minimize shared memory and global variables
  6. Always be Profiling Your Code’s Performance
    • Identify mutex bottlenecks (locking memory for I/O)
    • Profile user experience of the tool in the field
    • Use a sample-based profiler because they have a low-overhead.

What has been your experience with parallelism in design and tool development? Did you get the speed and throughput improvement you were shooting for?

 



Nov 20, 2014 | Comments


How Big is WWD – the Wide World of Design?

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

Its a fact of life that semiconductor design is a world-wide activity, and that EDA companies are helping customers in a 24 hour day. How international is this world? According to the latest statistics from the EDA Consortium, over 50% of the business activity is outside North America.  The total of EDA, semiconductor IP and design services revenue was 6.9 billion dollars in 2013.  Comparing this to a world population of 7.1 billion means roughly one dollar per person was spent on the wide world of design.

EDA and SIP distribution

While Real Intent is not a large company in the world of EDA, we do have representation for our verification products through-out the world and have just added two new distributors in Asia.

In India, we added a second  distributor, Claytronic Solutions. This move extends Real Intent’s customer care efforts worldwide and addresses growing demand among design teams throughout India for local expertise and support of Real Intent’s advanced verification solutions.

Umesh_Tallam-87a91f4d-9cef-47f5-ad6d-87f31fcc56fc[1]

Incorporated in 2010, Bangalore-based Claytronics provides specialized services and expertise at each stage of a product’s life cycle; it accelerates and simplifies the journey from concept to market with one-stop shopping for solutions and products in consumer electronics, multimedia, automotive and infotainment, and defense and aerospace. Claysol’s management team has deep design expertise and holds patents in multi-core parallel processing, multi-core architecture and video processing.  In our view Claysol offers the uncompromising level of service and support we were looking for to meet the surging interesting the Indian market.

Umesh Tallam, Engineering Director of Claytronics, is looking forward to the new collaboration since “partnering with leading international vendors like Real Intent provides our customers unparalleled tools to help them build globally competitive products quickly and cost-effectively.’

Our other new distributor is Kaviaz Technology in Taiwan.

The move strengthens Real Intent’s local sales and support for handling Taiwan’s fast-growing interest in Real Intent’s solutions for early functional verification and advanced sign-off verification. It also complements Real Intent’s existing sales and support teams in the rest of Asia.

Kaviaz, which means “best friend,” was established in 2008 to provide the best possible service and support for EDA customers in Taiwan. Its broad expertise spans logic design and verification tools, analog/mixed-signal tools, physical implementation and analysis tools, mask tools and IP distribution.

Timing-Kaviaz

We picked Kaviaz since it is renowned for its long-standing technical expertise in the EDA arena, and for its uncompromising dedication to addressing customer needs. We think this synergistic partnership brings proven ways to accelerate design sign-off to electronic engineering teams throughout Taiwan

Timing Huang, president of Kaviaz Technology, has told me he is always seeking out leading-edge verification solutions for  innovative companies in the Taiwan market looking for efficiency  gains. He thinks Real Intent’s Ascent and Meridian products will boost the productivity of his clients.

Real Intent is looking to expand further into Asia in support of our growing customer list.  Stay tuned for further announcements.



Nov 13, 2014 | Comments


CMOS Pioneer Remembered: John Haslet Hall

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

I still get the daily newspaper delivered to my house, the San Jose Mercury News.   I came across the obituary for John Haslet Hall, one of the leading innovators at the birth of CMOS technology in Silicon Valley.  I had not heard of Hall, and thought that you might also want to learn of his many wide-ranging contributions to the world of semiconductors.


John Haslet HallJohn Haslet Hall, son of the late William McLaurine Hall, Jr and Mary Helen (Ent) Hall, was born July 11, 1932 and died October 30, 2014.

Hall was an early and prolific Silicon Valley inventor. In a career that spanned over 60 years, Hall developed technology included in over 20 fundamental patents, including pioneering work in low-power CMOS integrated circuit technology. A 1992 San Francisco Chronicle article referred to Hall as, “one of Silicon Valley’s unsung innovators.”
Hall served in the U.S. Navy in the late 1950s, working with aircraft electronics development and testing, often riding in planes that were pulling target drones to collect data. He graduated from the University of Cincinnati in 1961 and sought to apply his chemical engineering education in the nascent semiconductor industry.
In 1962, Hall met semiconductor pioneer Dr. Jean Hoerni, a cofounder of Fairchild and inventor of the planar process, the basis of today’s electronics industry. Hoerni and Hall worked on several consulting projects together, which led to Hoerni asking Hall to work for him at Union Carbide. Hall’s work there included the development of the first on-board aircraft computer made entirely of integrated circuits (ICs), used for the SR-71 Blackbird.
Hall worked as Union Carbide’s director of IC Development from 1962 to 1967, and his years there included innovations that would lead the semiconductor industry. These include the first application of thin-film technology; the first dual transistor on a single chip; and the invention of dielectric isolation technology. The Union Carbide semiconductor plant Hall built in Mountain View later became Intel’s first production facility.
In 1968, Hoerni asked Hall to join him in the formation of a new company, Intersil. As co-founder of Intersil, Hall headed R&D and achieved a breakthrough in coating silicon oxide gates with phosphorous glass resulting in the first practical metal oxide semiconductor (MOS) processes. Hall’s Intersil team also develop the first N-Channel memory chip at a time when most companies overlooked its potential.
Hall’s work in thin film resistors and CMOS technology formed the basis of Intersil’s electronic watch development for Seiko, which was chosen over a competing bid from RCA. Hall’s watch was the first successful quartz crystal watch, running on a one-volt battery that would last over a year.
Following the sale of Intersil in 1968, Hall declined Hoerni’s offer to join him in a new venture and opted to go out on his own with the backing of Seiko. Hall went to Japan to be the principal architect of Seiko’s – and Japan’s — first CMOS fabrication facility in 1970.
In 1971, Hall founded Micro Power Systems and for the next 15 years produced a string of commercial and technical successes. In one example, Hall competed with Motorola and Texas Instruments in a bid to Medtronics to create a computerized heart pacemaker. Hall’s design allowed the pacemaker to operate for 10 years without a battery replacement and enabled doctors to change its settings via remote control rather than invasive surgery.
In 1986, after a highly publicized technology transfer dispute with Seiko’s new management, still a key investor at his company at the time, Hall was forced to leave Micro Power Systems. He initiated a lawsuit against Seiko that was settled out of court in 1990. Hall in 1987 founded Linear Integrated Systems, Inc. and continued to develop new IC and specialized discrete device technology. At the time of Hall’s death, he was continuing to lead the company as chairman of the board and chief executive officer and was conducting research into further noise reduction in junction field effect transistors.
In a departure from his semiconductor endeavors, Hall in 1992 founded Integrated Wave Technologies, Inc., (IWT) a speech recognition company that employed former Soviet scientists and engineers. As a sister company to Linear Systems, IWT developed body worn speech recognition devices for DARPA, the Air Force, the Navy and the Department of Justice. These devices were highly successful in Iraq and Afghanistan operations, and IWT’s work was recognized as a significant accomplishment in the book DARPA: 50 Years of Bridging the Gap.

Hall was preceded in death by his parents, his brother William, sister Jean Anderson and son Richard Hall. He is survived by his children John Michael Hall (Sondra), Jennifer Hall, Jasmine Hall, Mary Helen Hall, and five grandchildren; Michael, William, Ozzalyn, Isabella and Sloan. Services to be held Monday, November 10, 2014 10:00 a.m. at the Calvary Cemetery, 2650 Madden Avenue, San Jose, 95116. Reception to follow at 12:00 p.m. Mariani’s, 2500 El Camino Real, Santa Clara, CA 95051



Nov 6, 2014 | Comments


Is Platform-on-Chip The Next Frontier For IC Integration?

Srinivas Vaidyanathan   Srinivas Vaidyanathan
   Staff Technical Engineer

I was musing the other day about the completeness of SoCs – they include a mix of embedded processors for programmable functionality, hardware engines that accelerate specific features such as graphics, and multiple interfaces for memory, buses, and peripherals. And this remarkably complete solution is delivered on a single die. We have the perfect building block for creating systems with high-value and low-cost. But, even with Moore’s law allowing us to build more complex silicon, is new feature integration a scalable future for SoCs?

My conclusion is that we are approaching a steady state. From what I see, SoC design is still a custom solution in many ways, tailored to fit a generation of parts that meet some specific requirements. While complete in itself, the features cast in silicon offer only a coarse control of functionality. This leaves the end-user having to provide additional software and hardware to fill in any feature gaps at additional cost and time spent. While the intended and configured functions of the SoC might been implemented, any feature extensions may have compromises in performance.

When choosing between speed and configurability, designers make the choice of using either software running on a processor, or custom dedicated hardware. Software is ever forgiving, allowing multiple iterations towards the desired goal. On the other hand, hardware’s rigidity offers quick and reliable execution. Ideally, any desired feature enhancement would sit somewhere in this speed-configurability spectrum. Including this option in the SoC arsenal would allow for the perfect platform to unlock additional potential from hardware.

If we borrow an idea from the world of FPGAs, SoCs can gain significant versatility in providing the reconfigurability of software in dedicated hardware. Traditionally, FPGAs are looked at for hardware designs that are continually evolving; giving design teams the flexibility of keeping pace with change without the capital expenditure necessary for fixed silicon. For SoC customers, however, the constraints on area and power are just as critical as cost. Hence, a viable solution could be to include Programmable Gate Arrays (PGAs) in SoCs. In doing so, the choice of enhancing hardware can be weighed in context to other requirements. Importantly, this pushes out the hardware-software partitioning decision to much later in the product cycle, than currently available to developers today.

While the hybrid concept of mixing fixed silicon with FPGAs has been explored before, the key difference today is the growing software developer community that has been built around SoCs. To put this in context, consider the organization of the Andriod Software Stack on a SoC, using the example of the Ti-OMAP in the figure below. You can see there are fixed associations between the underlying hardware and the upper layers of software abstraction. However, introducing a PGA in hardware adds a completely new dimension to the software stack. Software libraries that were previously routed through the processor, for lack of a dedicated hardware, can now be offloaded to custom hardware created on-the-fly. Even libraries that have dedicated hardware accelerators, like graphics, can be augmented to cater to customized product requirements. By using some imagination, we can envision self-evolving hardware, morphing to suit the dynamic demands that applications place.

 

PoC-620

Obviously, there is more work required in the software stack to ensure that the generated hardware does not violate system parameters. But with that said, the capabilities in an architecture that bundles SoC and PGAs on a single die has the potential to be the ideal platform for endless product possibilities. I call this new innovation Platform-on-Chip (PoC).

While an interesting idea, is there a market for PoC? Consider Google’s Project Ara, a modular smart phone that is designed to swap out modules to suit the end-users’ usage needs. Among its many goals, this device is aimed at reducing e-waste by allowing the user to “upgrade individual modules as innovations emerge” . For a SoC, the possibilities of adding customized features, however, are restricted to the breadth of options the underlying SoC provides. With a PoC and its PGA component, emerging innovations are allowed more room to grow, and further extend the platform’s lifetime. Extrapolating the idea even further to the impending growth of the Internet of Things (IoT), there would be new ways for developers to re-purpose silicon in meeting with non-standard requirements at faster hardware speeds. A parallel topic of application could also be security. In an era where personal information is increasingly finding its way onto Internet enabled devices, real time reconfigurable hardware can offer stronger means of achieving identity protection.

If we have reached the end of innovation for SoC, do you think PoC could be the answer?



Oct 31, 2014 | Comments


DVClub Shanghai: Making Verification Debug More Efficient

Ramesh Dewangan   Ramesh Dewangan
   Vice President of Application Engineering at Real Intent

DVClub Shanghai took place on Sept. 26, 2014 with presentations by Real Intent, Solvertec, Mentor Graphics, Cadence, Synopsys and ARM.  The theme of the meeting was “Making Verification Debug More Efficient.”   Before I talk about two of the presentations that were recorded, here is some quick background on DVClub Shanghai which started at the end of 2013.

It was initiated by

The principle goal of DVClub is to have fun while helping build the verification community through quarterly educational and networking events. The DVClub events are targeted to the semiconductor industry in China, with a focus on design verification. Membership is free and is open to all non-service provider semiconductor professionals.  Most members work in verification, but there are also plenty of entrepreneurs, students, managers, investors, and even design engineers who attend. There are at least 4 events every year: March, June, September and December.

Presentations

Mike Bartley opened the event with a talk that was titled “Improving Debug – Our biggest Challenge?”   If you follow the link you can see the recording of his presentation, where he talks about the 6 things that we need for improved debug.

My presentation was on “Shortening Debug with New Methods in Static Verification.

Even with high degree of design reuse, verification continues to be the long pole in design development. This has created a huge stress in current functional verification methodologies, which rely primarily on dynamic verification. Design complexity has made debug cycle times unpredictable and longer.

Static verification is a perfect complement to the dominantly dynamic verification in use today. Not only is static verification exhaustive, it needs minimal setup and offers faster debug cycles. Both structural and formal techniques have made dramatic advances in the recent years by analyzing the designer’s intent. Structural static verification has expanded its effectiveness to several critical application domains. And formal techniques have progressed from an expert-user model to a mainstream-user model.

The static verification techniques have been successfully used in targeted problem domains like clock domain crossing, reset optimization, X-optimism/pessimism, FSM integrity and so on. My presentation provides specific design examples and how the static techniques solves them more efficiently.

Not every verification problem is a nail that you need big hammer for. Simulation is too expensive and time consuming for a majority of verification problems. Why not, ease the pain by using faster, targeted, and exhaustive static verification techniques to shorten your verification debug cycle?

Click here to see my video presentation.

And to everyone from India, Shubh Diwali!

Happy-Diwali-16[1]



Oct 23, 2014 | Comments


ARM TechCon Video: Beer, New Meridian CDC, and Arnold Schwarzenegger ?!

Graham Bell   Graham Bell
   Vice President of Marketing at Real Intent

At ARM Tech Con 2014, I discussed beer, the new release of our Real Intent clock-domain crossing software Meridian CDC, and a new spokesperson for our company, with Sean O’Kane of ChipEstimate.TV.  Enjoy!



Oct 16, 2014 | Comments