Features      Join TransEDA customers with the foremost high-performance toolset for achieving IP design quality : Foundation Models System Level IP Verification Models Verification Navigator :   - VN-Control     Application Specific Test Automation   - VN-Check ONLINE DEMO     Configurable HDL Checker   - VN-Cover     Coverage Analysis   - VN-Optimize     Test Suite Analysis

IP and SoC validation one of the hottest issues in IP Exchange

Advanced Resources

On the other end a SoC designer will check and verify not only the IP at its entry but the IP compliance with his SoC project. ;when designing and building his SoC, he will need appropriate tools and platforms to put on the market a high quality SoC product.

This corner will bring to your attention the most advanced market available resources to fulfil the quality requirements both for an IP and a Soc product.

D&R will forward any information request you may have in front of this broad spectrum of resources .

• Test tool
• Advanced simulation tools both for analog and digital at nay level of abstraction
• Verification tools extended to sophisticated formal verification tools ranging from equivalence checking at any level , formal debugging, model checking
• HW/SW Co-Verification tools
• KBS for High Quality Design

To complete this comprehensive survey the most well known prototyping platforms are described in this section

Find the best expert in the field

Verification has become a very sophisticated task and it is difficult for an IP provider to acquire the best tools and to keep a comprehensive expertise at any time in this fast evolving niche. It may be more effective to give this task to a service company which will give the best result out of the market available technology

Find the best qualified expert in D&R service catalog in the verification field. We will update for you this catalog, deliver you relevant information and put you in contact right away with this expert service.

Qualify your IPs

An IP provider has as duty to deliver an IP that he has tested, validated, verified to the best of its capabilities. He has as obligation to give out all relevant data such as test coverage ,quality verification ,property checking he has performed together with the actual reports. To leverage high level quality practises D&R will make available a qualified IPs catalog and invites the providers to upload the qualification data for his IPsto appear in this catalog. By selecting IPs in this catalog the SOC designer will use external IPs in full confidence

Learn More

Learn more about formal verification and validation practices by getting the latest News ,the white papers, the standardization efforts, etc..

Forum

Join our forum and share with the community all your experiences ,your tricks and your advices. Do not hesitate to forward all you pending questions ;D&R will do its best to bring the right a answer and any available assistance in this area,

Click for printer-friendly version