CIMdata PLM Industry Summary Online Archive

24 May 2004

Product News

TransEDA Announces VN-Cover New Coverability Analysis Option to Guide Users to Full Coverage

TransEDA announced the availability of a Coverability Analysis Option to the company's VN-Cover Coverage Analysis tool. TransEDA hereby extends the scope of its coverage solutions, bringing New Dimensions in Coverage to actively guide designers to full Coverage from specification to functional coverage, across design languages and simulation platforms. The new Coverability Analysis option to VN-Cover results from the synergy of TransEDA's advanced Coverage Products and TNI-Valiosys' innovative Formal Verification Technologies, and will be presented at DAC 2004.

In order to fulfill their test plan, most verification engineers have coverage targets to meet. In practice it is generally not a problem to reach 90% structural coverage, but it often turns out to be a real burden to find stimuli that trigger the remaining uncovered areas. Meeting the coverage goals can hence be a painful and time-consuming task. Moreover, setting a coverage target questions how coverage is measured. A coverage-driven verification methodology strongly relies on the correctness of coverage measurement. Accuracy is therefore critical to set reachable coverage goals and insure convergence of random or pseudo-random tests.

At DAC, TransEDA will be introducing a Coverability Analysis option to its best selling VN-Cover Coverage Analysis product. Coverability is a unique solution to TransEDA that improves coverage measurement accuracy and helps engineers to easily increase design coverage, thus saving days of work.

"The ultimate goal for designers is to get 100% coverage. TransEDA has a unique solution to this problem by integrating formal techniques into our leading coverage tool", says Modesto Casas, responsible for Worldwide Sales and Marketing at TransEDA. "Where standard code coverage passively tells designers what is covered, our Coverability Analysis option actively guides them on how to reach full coverage using their existing design environment and without having to integrate multiple vendors' tools nor needing formal verification knowledge."

Coverability is a methodology that guides the designer on the shortest path to full coverage, filtering out unreachable design parts. Coverability Analysis enables users to check if the uncovered branches are reachable or not. If so, a VCD trace is provided to illustrate a possible scenario to cover each given branch. If part of the RTL is proven unreachable, the data provided by VN-Cover is updated to highlight uncoverable code and to feed back refined coverage ratio, thereby increasing coverage accuracy.

Coverability Analysis is fully integrated into VN-Cover, running automatically either on all remaining uncovered branches or on specific ones selected by the user via the GUI. Using the VN-Cover Coverability Analysis option, engineers can easily increase design coverage, thus saving days of work, without requiring prior experience with property checkers.

To increase coverage-driven verification effectiveness even further, unexercisable parts of the HDL code have to be filtered out to prevent erroneous analysis failures being reported and therefore improve coverage measurement accuracy. The VN-Cover Coverability Analysis option has been developed to guide the user in this complex task. This option automatically deploys formal techniques to check for reachability of any uncovered parts of the code, either globally or on user-selected points. When uncoverable HDL parts have been found, they are highlighted and coverage ratios are updated. For points found to be coverable, the tool outputs a VCD trace and a test bench illustrating possible coverage scenarios.

Coverability Analysis is available now as an option to VN-Cover. North America and Europe price for this option is $15,000. For more information, contact your local representative.

 

Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.

Tell us what you think of the CIMdata Newsletter. Send your feedback.

CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.

Subscribe