Verification Special Session at DAC 2009 to Discuss Advances in Debugging

Wed. July 01, 2009; Posted: 03:01 AM

MUNICH & MOUNTAIN VIEW, Calif., Jul 01, 2009 (BUSINESS WIRE) -- INTC | Quote | Chart | News | PowerRating -- A panel of EDA industry experts representing leading-edge companies and world-renowned universities will address recent advances to ease and speed property and design debugging, in a special session at this year's DAC. Debugging of RTL that failed verification is the largest manual burden in chip design today. It takes 30 to 35% of the total design time as it adds uncertainties and costs. A failure trace returned in simulation, property checking and assertion-based methods is not enough - leaving users with the question "Okay, where is the bug?" and an often lengthy debugging session. Productivity is stymied until the bug is found, often involving time-consuming iterations between verification and design engineers. This special session chaired by Eli Singerman of Intel Corp. and organized by Rolf Drechsler of the University of Bremen will tackle such issues as tool advances to accelerate root cause analysis of failures, automation in RTL and post-silicon debug, how formal techniques can speed debugging, and RTL debugging techniques based on information from higher abstraction levels. Six short papers will be presented, and a half-hour interactive discussion will wrap up the session.

PANELISTS:
--      Gila Kamhi, Principal Engineer, Intel
--      Rajeev Ranjan, CTO, Jasper Design Automation
--      Adriana Maggiore, Principal Application Engineer, OneSpin Solutions
--      Masahiro Fujita, Professor, University of Tokyo
--      Andreas Veneris, Professor, University of Toronto
--      Valeria Bertacco, Professor, University of Michigan
WHEN:   Thursday, July 30, 2009, 9 - 11 a.m.
WHERE:  Moscone Center, Room 133
        747 Howard Street
        San Francisco, CA 94103
WHY:    Although verification is well understood and handled by many
        automated approaches, debugging is fast becoming a bottleneck to
        productivity. Come learn more from the experts about how to find
        bugs efficiently.

SOURCE: OneSpin Solutions

for OneSpin Solutions 
Sarah Miller, +1-231-264-8636 
sarah@thinkbold.com 
or 
for Jasper Design Automation 
Jim Lochmiller, +1-541-292-0959 
lochpr@yahoo.com

For full details on Intel Corp (INTC) click here. Intel Corp (INTC) has Short Term PowerRatings of 6. Details on Intel Corp (INTC) Short Term PowerRatings is available at This Link.

More News: Market Updates | Stock Alerts | All Trading News | Stock Index

Archives

Feedback

Email Article Link

Close X

RELATED SITES

Please call 1-213-955-5858 ext. 1

Tax Relief Bank Levy Wage Garnishment

Disclaimer:

The Connors Group, Inc. ("Company") is not an investment advisory service, nor a registered investment advisor or broker-dealer and does not purport to tell or suggest which securities or currencies customers should buy or sell for themselves. The analysts and employees or affiliates of Company may hold positions in the stocks, currencies or industries discussed here. You understand and acknowledge that there is a very high degree of risk involved in trading securities and/or currencies. The Company, the authors, the publisher, and all affiliates of Company assume no responsibility or liability for your trading and investment results. Factual statements on the Company's website, or in its publications, are made as of the date stated and are subject to change without notice.

It should not be assumed that the methods, techniques, or indicators presented in these products will be profitable or that they will not result in losses. Past results of any individual trader or trading system published by Company are not indicative of future returns by that trader or system, and are not indicative of future returns which be realized by you. In addition, the indicators, strategies, columns, articles and all other features of Company's products (collectively, the "Information") are provided for informational and educational purposes only and should not be construed as investment advice. Examples presented on Company's website are for educational purposes only. Such set-ups are not solicitations of any order to buy or sell. Accordingly, you should not rely solely on the Information in making any investment. Rather, you should use the Information only as a starting point for doing additional independent research in order to allow you to form your own opinion regarding investments. You should always check with your licensed financial advisor and tax advisor to determine the suitability of any investment.

HYPOTHETICAL OR SIMULATED PERFORMANCE RESULTS HAVE CERTAIN INHERENT LIMITATIONS. UNLIKE AN ACTUAL PERFORMANCE RECORD, SIMULATED RESULTS DO NOT REPRESENT ACTUAL TRADING AND MAY NOT BE IMPACTED BY BROKERAGE AND OTHER SLIPPAGE FEES. ALSO, SINCE THE TRADES HAVE NOT ACTUALLY BEEN EXECUTED, THE RESULTS MAY HAVE UNDER- OR OVER-COMPENSATED FOR THE IMPACT, IF ANY, OF CERTAIN MARKET FACTORS, SUCH AS LACK OF LIQUIDITY. SIMULATED TRADING PROGRAMS IN GENERAL ARE ALSO SUBJECT TO THE FACT THAT THEY ARE DESIGNED WITH THE BENEFIT OF HINDSIGHT. NO REPRESENTATION IS BEING MADE THAT ANY ACCOUNT WILL OR IS LIKELY TO ACHIEVE PROFITS OR LOSSES SIMILAR TO THOSE SHOWN.

The Connors Group, Inc.
10 Exchange Place, Suite 1800
Jersey City, NJ 07302

All analyst commentary provided on TradingMarkets.com is provided for educational purposes only. The analysts and employees or affiliates of TradingMarkets.com may hold positions in the stocks or industries discussed here. This information is NOT a recommendation or solicitation to buy or sell any securities. Your use of this and all information contained on TradingMarkets.com is governed by the Terms and Conditions of Use. Please click the link to view those terms. Follow this link to read our Editorial Policy.