| SOC DFT Verification With Static Analysis and Formal Methods | Publication: Test & Measurement World Contributor: Atrenta, Inc.
| | |
November 17, 2010 -- To achieve higher quality on today's multimillion-gate designs and high-speed ASICs, structured DFT (design-for-test) methodologies such as scan, at-speed test, scan compression, and BIST (built-in self test) have become the most important features for manufacturing test. Typically, testability issues are detected at the very last stage of the design flow during ATPG (automatic test-pattern generation) or gate-level simulation. This stage is very close to tape-out, and it becomes necessary to fix the original RTL (register-transfer-level) design for re-use and testability and then repeat the steps of the implementation flow, a process that can have a large impact on the project schedule.
Many design teams have adopted static verification checks and methodologies to catch testability issues early at RTL for both stuck-at and at-speed testing. Yet, the connectivity of different IP blocks at the SOC level-with respect to memory BIST, 1149.1 JTAG, or IEEE 1500 standards-is mainly verified through functional simulation. Test benches are not always the best solution for verifying connectivity of the logic at the SOC level with signals from SerDes, PLLs, IEEE 1149.1/1500 circuits, and BIST logic that go to various blocks in the design.
[But] there are several general disadvantages to using functional simulation for verifying connectivity.
By Marco Brambilla, Jean Philippe Loison and Kiran Vittal. (Brambilla is a design manager at STMicroelectronics and Loison is a design engineer at STMicroelectronics; Vittal is a product marketing director at Atrenta, Inc.)
This brief introduction has been excerpted from the original copyrighted article.
View the entire article on the Test & Measurement World website.
Read more about Atrenta, Inc. on SOCcentral.com |
| | Keywords: ASICs, ASIC design, EDA, EDA tools, electronic design automation, design for test, design-for-test, DFT, formal verification, functional verification, functional simulation, BIST, built-in self-test, IP, intellectual property, cores, system-on-chip, SoC, Atrenta, Test & Measurement World,
| | 596/32606 11/17/2010 2463 227 | |
|
|
|
|
|
|
| | 0.15625 |
|
|
| Copyright 2002 - 2004 Tech Pro Communications, P.O. Box 1801, Merrimack, NH 03054 | |
|
| | |
|
|
Subscribe to SOCcentral's SOC Explorer Newsletter and receive news, article, whitepaper, and product updates bi-weekly.
|
|
|
Exec Viewpoint
Reducing Power by Raising the Level of Abstraction
 David Pursley Director, Product Marketing Forte Design Systems
|
|
Exec Viewpoint
The Many Faces of Low-Power Verification
 Ghislain Kaiser CEO, Docea Power
|
|
Exec Viewpoint
Maximizing the Value of Your Internal IP
 Warren Savage CEO, IPextreme
|
|
|
|
Barbara's Bytes
So, Just What Is ESL?
 Barbara Tuck Senior Editor, SOCcentral
|
|
|
|
|
|
|
|
| Design Center |
| Whitepapers & App Notes |
|
|
|
|
|
| Live and Archived Webcasts |
|
|
|
|
|
| Newsletters |
|
|
|
|
|
|
About SOCcentral.com
Sponsorship/Advertising Information
|
|
|