The Latest Design Verification Methodologies

Key Topics Covered

Attendees will be able to:

• Understand the process of Design Verification, its complexities and limitations 
• Develop a verification plan, set verification goals and select verification levels (block, SoC), methods, techniques and tools to achieve these
• Understand and use state-of-the-art dynamic verification techniques and methods including constrained pseudo-random test generation, coverage collection and analysis, advanced checking, and assertion-based verification
• Be able to develop test benches and tests at SoC level, use appropriate metrics to measure what has been verified and use that data to make tape-out decisions
• Be able to follow a well-defined verification process and produce the various deliverables (plans, reports, etc.) required of that process. The TVS verification process will be used as an example process.

Delivery

• 4 days divided into interactive lectures and hands-on lab exercises
• Lab exercises are arranged on each day. There is an exercise and a solution sheet for each lab. In addition, the starting point for each lab is pre-coded to include the solution from the previous lab. This ensures that all attendees start a new lab from a consolidated point. To ensure attendees achieve the learning outcomes for each lab the solutions will be discussed at the end of each lab.
• Lectures include small group sessions for hands-on interactive problem solving such as analysis of a specification, identification of features for a verification plan, development of a cross product coverage model, identification of design properties for assertion-based and formal verification, formalization of design properties, analysis and interpretation of formal verification results etc.

Prerequisites

• No prior knowledge of verification is required
• Familiarity with the digital design process and basic understanding of SoC architecture is assumed
• Familiarity with the basic functionality of the EDA tools used in the labs is assumed. –
• Basic programming skills are helpful for the lab exercises, so is familiarity with Verilog or SystemVerilog.

Course Content

The course is a combination of interactive sessions and Hands-on lab exercises.

Find out more

Contact one of our training consultants today to find out more about our training courses.