Global training solutions for engineers creating the world's electronics

Verification Methodology Manual (VMM)

Contents
What is the VMM ?
Doulos VMM Credentials
Doulos VMM Training
Client Support

What is VMM ?

The VMM verification methodology for SystemVerilog enables engineers to build powerful and robust verification environments for complex electronic systems and IP. IP created according to the VMM methodology allows for easy "plug-and-play" use in VMM testbenches, and engineers with VMM expertise can quickly create or enhance their verification environment without having to spend time learning or developing a non-standard methodology.

The VMM is defined in the Verification Methodology Manual (VMM) for SystemVerilog, a professional book co-authored by verification experts from Arm Ltd and Synopsys Inc. The VMM contains a wide-ranging set of rules and recommendations for constructing testbenches and test suites, for the use of assertions in verification, for making use of legacy testbench code and for system-wide verification strategy.

In May 2008, Synopsys donated its complete implementation of the VMM to Accellera to enable verification interoperability standardization.

Doulos VMM Credentials

Doulos has been continuously engaged with VMM-based verification since its release in 2005, and has been delivering SystemVerilog training and client support since 2004. This has included co-operation with key verification methodology developers at Synopsys, and resulted in availability of the world's first independent VMM training from Doulos in 2007.

The latest release of this class, the VMM Adopter Class, is an integral part of the Doulos SystemVerilog out of the Box™ program and joins the Doulos range of SystemVerilog training and support components. More >>

Since 2004, Doulos has amassed a bank of VMM and SystemVerilog experience and expertise across all industry segments and tool contexts. In 2006, some of this know-how was distilled in the VMM Companion Guide, which you can download here>>.

Doulos has also presented award winning VMM papers at DVCon and successive Synopsys User Groups, ensuring up-to-date VMM know-how, some of which can be accessed here >>.

Doulos VMM Training

  • VMM Adopter Class
    This 2-day class provides a quick-start, practical introduction to verification principles and in-depth practical application of VMM using Synopsys VCS™. Part of the Doulos SystemVerilog out of the Box™ program , it can be packaged and customized with components of Modular SystemVerilog, flexible project support options, and supplemental tool training in co-operation with Synopsys, to take delegates through to full SystemVerilog verification project readiness.

    Class-based SystemVerilog verification is a critical part of the VMM learning curve. If it isn't taught well and understood, it undermines an engineer's ability to learn and apply VMM. Which is why, in the pre-requiste Comprehensive SystemVeilog training class, Doulos' careful handling of what many consider to be a challenging topic is key to the success of many clients. More >>

  • Comprehensive SystemVerilog
    This is a one-stop solution addressing the needs of both design and verification groups. It includes objective and up-to-date commentary on the two best-known published verification methodology approaches, and teaches key SystemVerilog language features that support them. More >>

  • Modular SystemVerilog
    Modular SystemVerilog consists of several modules that can be combined and customized into an integrated program to fulfil team-based training requirements. It includes:
    - Fast-track Verilog for VHDL Users
    - Fundamentals of SystemVerilog for Design
    - Fundamentals of SystemVerilog for Verification
    - SystemVerilog Assertions
    - Module-based SystemVerilog Verification
    - Class-based SystemVerilog Verification
    - Verification Methodology Adopter Classes
    More >>

Client Support

Doulos Project Services is a powerful resource giving your company rapid access to expertise for direct use on project issues. A wide range of packages exist to assist you through all stages of methodology and language decision making, integration and design use. All our packages can be provided with the flexibility to provide support exactly when required, maximising the benefit to cost ratio.
More >>

Upcoming Live Webinars

Image 1

Signal Integrity PCB Vias and Remedies

Wednesday January 15 2025

30 minute session (All Time Zones)

This webinar will explore the effects of routing vias and connector plated through holes on very high data rate signals using actual test results from as-built PCBs.

Register Now

Image 1

Edge Machine Learning - Project Tips & Tricks

Friday January 17 2025

1 hour session (All Time Zones)

This webinar will provide some useful directions for incorporating machine learning within your next embedded project.

Register Now

Image 1

Software-defined Radio on an AMD Zynq™ RFSoC

Tuesday January 21 2025

1 hour session (All Time Zones)

This webinar looks at the challenges of traditional RF conversion techniques as well as benefits and solutions of direct RF sampling whilst using the AMD RFSoC platform.

Register Now

Image 1

Getting Started with the Yocto Project

Friday January 24 2025

1 hour session (All Time Zones)

This webinar investigates how a minimal Linux system can be extended to include custom, packaged software.

Register Now

Image 1

Designing with AMD Kria SOMs

Friday January 31 2025

1 hour session (All Time Zones)

This webinar will walk through the design process for using AMD Kria SOMs, including the use of Vivado and Vitis.

Register Now

Image 1

What Can Formal Do for Me?

Friday February 14 2025

1 hour session (All Time Zones)

This webinar will look at the ways formal helps your design verification process, including complexity analysis, bounded reachability analysis, overconstraining the design, setting cut points, and creating abstractions.

Register Now