• Learn and deploy the latest methodologies to boost verification productivity
• Accelerate the development of automated, reusable testbenches
• Integrate assertions, verification IP (VIP) into your verification environment

Featured Technical paper
Integrating System Models in an RVM Leveraged EnvironmentAnand Acharya, Qualcomm Shaun Evans, Synopsys Professional Services

Verification remains the single most significant challenge in getting advanced SoC devices to market, and its share of the development process only gets bigger as chips get larger and more complex. Traditional verification methods simply cannot scale with chip complexity.

Fortunately, new tools, methods and IP have emerged that dramatically improve verification productivity, and Synopsys is at the forefront of these new technologies. Synopsys Professional Services helps customers adopt new verification methodologies in their flows and rapidly deploy them across their entire SoC project. Consultants leverage expertise with Synopsys Discovery™ Verification tools and apply best practices based on the proven methodology defined in the popular book Verification Methodology Manual (VMM) for SystemVerilog, co-authored by Synopsys and ARM. The VMM methodology specifies advanced techniques such as assertions, constrained-random stimulus generation, and coverage-driven verification that result in a more efficient verification environment and increase the likelihood of first silicon success. Synopsys' extensive DesignWare® Verification IP portfolio, available for the industry's most popular interface protocols, easily integrates into VMM-compliant testbenches to significantly reduce testbench development time. Synopsys consultants help you take full advantage of the complete and integrated Synopsys verification solution to dramatically improve verification productivity and schedule predictability.

The VMM methodology (and precursor Reference Verification Methodology or "RVM") leveraged by Synopsys consultants defines widely-used verification best practices that enable users to take advantage of the same proven language capabilities, tool capabilities, and methodologies used by verification experts. Creating a design environment with VMM-compliant building blocks takes less time and eases cross-site collaboration as well as reuse at the block, system and project levels.

Incorporating new verification flows and methodologies into existing infrastructure while simultaneously meeting project milestones can be challenging for any design organization. Synopsys Professional Services can help you achieve both. Through a combination of project assistance and flow consulting, our consultants help you gracefully upgrade to the latest tools and methods while minimizing risks to current project deliverables.

Using comprehensive RTL verification tools such as VCS®, Synopsys consultants support popular design and verification language standards such as Verilog, VHDL, SystemVerilog and SystemC™, enabling faster integration of complex SoCs built using multiple languages. Synopsys consultants also help users of Vera®, Synopsys' industry-leading testbench automation tool, build advanced constrained-random, coverage-driven testbench methodologies that co-exist and/or evolve into VMM-based environments.

Synopsys Professional Services' Verification Consulting services include:

• Developing a robust verification plan
• Architecting layered, automated testbenches
• Constructing bus functional models with both drivers and monitors
• Developing and integrating verification IP
• Generating constrained random stimulus
• Automating functional coverage collection to fine tune random stimulus
• Measuring and analyzing functional coverage
• Deploying SystemVerilog assertions (SVA) or OpenVera assertions (OVA)
• Customized flow consulting to migrate to advanced verification methods (e.g., directed or psuedo-random testing to constrained-random testing)

Datasheets

• Verification Consulting with VMM Methodology

Related Technical Papers and Articles

• SNUG San Jose 2007
  Applying CRV to Microprocessor Verification
  Jason Chen, Synopsys Professional Services
  
• SNUG Boston 2006
  Automated Response Generation for IP Based Subsystem Verification
  Tony Ezell, Synopsys Professional Services
  
• DesignCon 2006
  Back-End Methodology and Techniques for a Multi-Protocol Mixed Signal IP Design
  Ken Umino, Jason Upton, John Stonick, Ross Segelken, Bill Beale, Synopsys Inc.

Related Customer Success Stories

CYIT Success Story
"As we planned this project, we wanted to work with the best technology and the best design services partner. We selected Synopsys' Discovery Verification tools and Synopsys Professional Services and were rewarded with a successful chip tapeout and new methodologies that enhanced our design flow for our future designs."

Datang Micro Electronics
"Without the collaboration between Synopsys Professional Services and Datang, it would have taken extra time to tape out the COMIP chip."

Sony Professional Solutions Network Company
"Vigent' represented a leap in design complexity for video cameras. To help Sony make the leap, Synopsys Professional Services supported two critical tape-outs for us. This support included design environment development, training in system-level modeling, and design assistance for specification, RTL verification and hierarchical ASIC handoff."

Other Customer Success Stories

Related Press Releases