What is PSL?
The Property Specification Language (PSL) is an industry and IEEE (IEEE1850) standard language for specifying design properties (assertions), functional coverage and constraints. PSL can be embedded in HDL code and used in both simulation and Formal Verification, enabling a sophisticated and complete Assertion Based Verification (ABV) methodology.
Find out more information on PSL with our free tutorial downloads.

Overview
This Advanced PSL and Formal Verification course builds upon Esperan´s 2 day Verification with PSL course to demonstrate advanced PSL features and introduce a methodology for using PSL in both Formal Verification and simulation. This course may be taken stand-alone for delegates with existing PSL knowledge, or as an add-on to the Verification with PSL course.

Duration 1 day.

Objectives

• To demonstrate the full capabilities of PSL Verification Units (vunits) and the modeling layer in general.
• To introduce the concepts, terminology, benefits and limitations of Formal Verification.
• To describe a methodology using PSL in both simulation and Formal verification.
• To provide practical experience of using PSL in Formal Verification and hybrid verification.

Prerequisites
Delegates should have attended the Esperan 2 day Verification with PSL course or have advanced working knowledge of HDL's, PSL and simulation techniques. If you have queries on these prerequisites, please contact Esperan (info@esperan.com).