Innovating the Intelligence of Formal Techniques for Automatic Design Verification
Blog Archive
January 2012
1/24/2012: A Meaningful Present for the New Year
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!

Drowning in a Sea of Information

Jay Littlefield   Jay Littlefield
   Senior Field Applications Engineer

We are a society inundated with information. At no previous time in history has so much data been available to such a wide population with access literally at their fingertips. But information abundance has not necessarily translated into increased actionable knowledge. It seems that we reach a point where the more information we have available, the harder it becomes to make use of it.

I was recently reading an old Scientific American article by Hal Varian, then Dean of the UC Berkeley School of Information Management and Systems1. In this document, Dr. Varian argues that the fundamental limits of human comprehension will prevent the realization of a future “information economy”. He quotes Nobel laureate economist Dr. Herbert A. Simon as saying, “What information consumes is rather obvious: it consumes the attention of its recipients. Hence a wealth of information creates a poverty of attention, and a need to allocate that attention efficiently among the overabundance of information sources that might consume it.” Dr. Varian then proceeds to frame his argument that information itself is meaningless without “some way to locate, filter, organize and summarize it.”2

In the 15 years since this article was written, the expanse of information has continued to grow, and formed the basis for the Internet search engine market. Like many people, I have Google as my browser’s home page. This is how I deal with my desire to find relevant information among the vast quantities of data on the internet. It not only helps me when I know up front what I am looking for, but also to help me refine my understanding by highlighting the best representations of the type of information I want to find.

While Internet search engines have provided a step towards Dr. Varian’s vision of information organization, the Electronic Design Automation industry has lagged behind in this ability. Each year designs chase Moore’s Law and the complexity of Integrated Circuits has increased exponentially. But in many ways, EDA tools are still delivering data to design and verification engineers as if we were back in the days of schematic entry. Sure, there have been some advances, such as reporting data based upon design hierarchy instead of flat netlists, but the sheer size of designs produce volumes of data that cannot reasonably be parsed without hitting Dr. Simon’s “poverty of attention”.

One doesn’t need to look too far to see examples of this. Most engineers (especially in EDA) have had the experience of reporting a tool problem to an EDA company, only to have customer support point out a single line in a voluminous log file that explains exactly the reported issue. Does that mean engineers are more careless than previous generations? Not at all, but our predecessors rarely had to deal with log files in the tens of thousands of lines, and “summary reports” longer in length than the United States Constitution. It’s gotten bad enough that many tools now provide engineers with the ability to turn off warning messages they know they don’t care about. Engineers are busy people, with many conflicting requirements for their attention. EDA should be working more on a Google-style model of information delivery – finding information the engineer knows they want fast, and guiding them towards the best representations of cases with which they are not familiar.

At Real Intent, we’ve made information organization a top priority in all our tools. Because our focus is on automating much of the work required to run verification analysis, we take our responsibility for organizing the analysis information seriously. Our lint tools provide more meaningful warnings with less noise, our automatic formal tools classify failures by cause and effect, and our clock domain crossing analysis aims to highlight the source of problems, not the symptoms. Have we achieved the goal of a Google-like repository of information management? Not yet, but we continue to strive towards making it faster and more efficient for our customers to consume the volumes of data and prevent “attention poverty”. We welcome your feedback on how we are doing.


References

1. Varian, Hal R., “The Information Economy – How much will two bits be worth in the digital marketplace?”, Scientific American, September, 1995, p 200-201, http://people.ischool.berkeley.edu/~hal/pages/sciam.html

2. Ibid.

Mar 12, 2010

blog comments powered by Disqus