| Simulation Coverage and Formal Verification: Unlikely Collaborators? |
January 13, 2012 -- Closing the coverage gap has been a long-standing challenge in simulation-based verification. Formal verification set-up methodologies lack completion measures like coverage on the simulation side. This article articulates a ... read more |
| Understanding Formal Verification Concepts |
December 9, 2011 -- As complex system-on-chip (SOC) designs grow in size as well as functionality, more and more test vectors must be created and run to get reasonable test coverage. This imposes a cost in the time and effort needed to create th ... read more |
| Powering the Shift to HLS |
December 6, 2011 -- Low power is now a central concern of digital design, especially for handheld and wireless devices, but also for servers and other computation-intensive applications where the cost of cooling can be quite high. Consequently, ... read more |
| Handling Clock Synchronization During Power-Driven Synthesis |
October 27,2011 -- Synthesis and layout tools often make design changes in an attempt to introduce power savings. We are aware of a number of incidents where one of these techniques, namely, the insertion of clock gating cells in the clock netwo ... read more |
| Understanding the Cost of Not Prototyping |
October 24, 2011 -- Before answering the question of the cost of not prototyping let's understand why you should prototype. The prototyping that I am talking about is FPGA prototyping of SOC and ASIC designs before committing the designs to prod ... read more |
| Breaking the Memory-Performance Bottleneck |
October 17, 2011 -- In recent years, our industry has seen only incremental improvements in memory performance compared to significant improvements in processing performance. The increase in processing performance (via architectural innovations ... read more |
| A Verification Methodology for 3D-ICs |
October 3, 2011 -- The use of three-dimensional integrated circuit (3D-IC) techniques has been growing in importance because 3D provides a way to increase both data throughput and the amount of functionality on a chip without using more costly l ... read more |
| Improving At-Speed DFT Coverage Using Early RTL Testability Analysis |
September 20, 2011 -- Delay testing is widely used to check whether a manufactured chip is free of delay defects and meets its performance specification. Common delay testing methods such as logic BIST and at-speed scan testing are applied to in ... read more |
| Advanced Sign-Off…It's Trending! |
September 13, 2011 -- While much of the discussion at conferences such as DAC are anecdotal, one useful way Real Intent gathers trend data is through our attendee surveys. Hundreds of visitors to the Real Intent booth last June at DAC completed ... read more |
| FPGA Design: From Top-Down to Bottom-Up |
June 2, 2011 -- Implementing an FPGA design used to be straightforward. It was almost as simple as pressing the big RUN button on your synthesis tool followed by automated place and route. Out popped an initial incarnation of your design. ... read more |
| Clarifying Language/Methodology Confusion in FPGA Design |
June 1, 2011 -- In the times of a not so rosy economy and constantly growing design sizes, FPGA designers are constantly facing surprises: old companies go away, taking tools and languages with them, new languages and methodologies appear. The o ... read more |
| Adopting a Flexible FPGA Verification Methodology |
June 1, 2011 -- As system-on-chip (SOC) designs continue to increase in size and complexity, the verification task becomes the bottleneck that can take up to 70% of the overall SOC development effort. As a result, any method that can help to red ... read more |
| A Third Way in FPGA Development |
June 1, 2011 -- At first, the claim that FPGA tools and methodologies can impose standardization on everything from design creation to sign-off seems sound. Given the competition among vendors and the relative maturity of the electronic design a ... read more |
| Is Your CDC Tool of Sign-Off Quality? |
May 13, 2011 -- First-generation tools historically evolved as extensions of simple linters and source checkers or by the application of basic formal engines in an attempt to solve the CDC problem. These tools generated voluminous reports and re ... read more |
| Using Cost-Effective and Secure Field-Programmable 1T-OTP to Emulate MTP |
April 28, 2011 -- Applications for non-volatile memory (NVM) encompass a wide range of programming requirements. Some products require one-time programmable (OTP) memory that is programmed during chip fabrication; mask ROM is good for this purpo ... read more |
| Planning Formal Verification Closure |
April 20, 2011 -- Although simulation-based coverage closure processes are generally well understood (yet hard to achieve) the process for achieving formal property checking proof closure is not well understood. In certain cases, the engineer is ... read more |
| IP Gets Smarter |
April 1, 2011 -- We are seeing an increase in technological innovation at phenomenal rates, despite any economic aftermath. Of course, this brings new (and sometimes near impossible) design requirements for our "smart" devices. This chain react ... read more |
| Factors Compelling Greater Use of Embedded One-Time Programmable Memory |
March 24, 2011 -- The need to provide more functionality at lower cost in small portable devices is driving the demand for more processors on a single chip. Market research firm In-Stat cites MCUs, DSPs, applications processors, and baseband pro ... read more |
| Thru-Silicon Vias: Current State of the Technology |
February 25, 2011 -- Thru-silicon vias (TSVs) have become a very hot topic in in recent months. Ever since Xilinx reported that it is using a 2.5D TSV approach for its Virtex-7 FPGAs, the industry started to salivate with the prospects of this n ... read more |
| Boost Verification Quality with Intelligent Testbench Automation |
February 23, 2011 -- No matter the industry, the introduction of automation technology always tends to produce angst. Think of the story of American folk hero John Henry who raced against a steam-powered hammer and won, only to drop dead with th ... read more |
|
