It appears you have not yet registered with our community. To register please click here...

Go Back [M] > Madshrimps > WebNews
IBM Introduces New Chip Design Verification Software IBM Introduces New Chip Design Verification Software
FAQ Members List Calendar Search Today's Posts Mark Forums Read

IBM Introduces New Chip Design Verification Software
Thread Tools
Old 9th June 2004, 22:03   #1
Sidney's Avatar
Join Date: Mar 2004
Posts: 15,738
Sidney Freshly Registered
Default IBM Introduces New Chip Design Verification Software

HAIFA, ISRAEL, Jun. 09, 2004 (MARKET WIRE via COMTEX) -- IBM today announced it has developed chip design verification software that is expected to shorten the design cycle and help produce higher quality chips.

IBM's new technology takes the technique of "formal verification," which involves exhaustive analysis of very large chips designs prior to fabrication, to new levels.

Among the benefits of a recent patent awarded to IBM in this area is the ability of the designer to rapidly test specific execution patterns of interest, aiding in the detection of evasive design flaws that would be very difficult to find using traditional simulation methods.

As the chip design industry faces manufacturing hurdles to get new features and performance gains onto chips, IBM is leaping over the silicon scaling challenges by pushing the leading edge of chip design capabilities. Pioneering new technologies, such as those in the area of formal verification, IBM is turning to new electronic design automation (EDA) design tools and methodologies embodying these technologies to handle higher degrees of complexity, while reducing costs and cycle times.

"This technology harnesses the power of formal verification and makes it a mainstream design tool," said Yaron Wolfsthal, senior manager of Formal Verification and Testing Technologies in the IBM Haifa Research Lab. "The availability of this capability during the design phase can help designers gain immediate insight into the behavior of their design, changing it dynamically to meet the requirements."

New Technology Overcomes Limitations

With the level of complexity of chip designs increasing, the costs and time delays associated with correcting a design flaw once the design has been committed to actual production in silicon can be prohibitive. While formal verification techniques existed previously, the technologies to support this type of up-front analysis were too slow and complex to use fully as a routine part of the design process. The new IBM technology overcomes those limitations, allowing for more extensive checks of chip designs before manufacture.

The new design technology was developed by researchers at the IBM Haifa Research Lab where a staff of some 100 engineers and chip design verification professionals work on developing and supporting verification solutions for IBM's business units. Earlier this year, IBM announced the general availability of RuleBase Parallel Edition platform for IBM partners and customers, which supports the Accellera standard PSL language, while harnessing the power of parallel computing. Using PSL, which is based on the Sugar language from IBM, designers can now more easily specify the scenarios they wish to examine as they follow the design methodology facilitated by the new IBM formal verification technology.

"We continue to innovate in the areas of chip design using formal verification technology and building on our field expertise gained in the verification of IBM microprocessors," said Dr. Michael Rodeh, Director of the IBM Haifa Research Lab. "This innovative design approach will help us beat the silicon slowdown and demonstrates our continued commitment to serving our customers by rapidly bringing state-of-the-art design technologies to the marketplace."

The newly-announced verification technology, previously available only to IBM engineers, is expected to be employed by IBM's customers and partners worldwide. IBM has announced a program under which its customers can upgrade from the previous generation of IBM's formal verification product to RuleBase Parallel Edition.{2673DF4C-2BCA-4071-8709-D876A0329615}&destination=&symb=IBM

Opteron 165 (2) @2.85 1.42 vcore AMD Stock HSF + Chill Vent II
Sidney is offline   Reply With Quote

Similar Threads
Thread Thread Starter Forum Replies Last Post
MotionDSP Introduces New, Lower Price for vReveal Video Enhancement Software jmke WebNews 1 7th December 2009 08:59
IBM highlights Power chip power savings Sidney WebNews 0 26th October 2005 16:36
IBM, Sony, Toshiba push Cell chip beyond games Sidney WebNews 0 25th August 2005 17:13
IBM Reveals New Low-Power Chip. IBM’s PowerPC 970FX for Mobiles Releases jmke WebNews 0 11th July 2005 18:14
IBM introduces dual-core PowerPC 970 chip Sidney WebNews 2 9th July 2005 08:23
AMD Releases Integrated Hardware And Software Design Solution For AMD Geode Sidney WebNews 0 8th March 2005 00:49
ATI Introduces New Graphics Chip Designed for Servers jmke WebNews 0 1st March 2005 13:15
Nforce 5 is two chip design jmke WebNews 0 5th December 2004 15:33
IBM, Intel Announce Mobile Workstation Pilot for Design Engineers Sidney WebNews 0 8th June 2004 06:43
IBM Storage Virtualization Software to Manage Massive Amounts of Data Sidney WebNews 0 26th May 2004 00:36

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

vB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off

All times are GMT +1. The time now is 14:34.

Powered by vBulletin® - Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO