
Property Specification Language (PSL) - Advanced
Explore Advanced Assertion Techniques to Optimize Design Verification and Achieve Higher Efficiency in Your Verification Workflow!
Take your knowledge of Property Specification Language (PSL) to the next level with this advanced course. Focused on advanced assertion-based verification methodologies, this course covers complex PSL constructs, multi-clocked properties, and real-world examples. Learn to effectively apply PSL to various verification techniques, including formal and simulation, and enhance your verification processes with practical property writing strategies.
Take your knowledge of Property Specification Language (PSL) to the next level with this advanced course. Focused on advanced assertion-based verification methodologies, this course covers complex PSL constructs, multi-clocked properties, and real-world examples. Learn to effectively apply PSL to various verification techniques, including formal and simulation, and enhance your verification processes with practical property writing strategies.
This course includes
courseWhat you'll learn
courseWho is this course for
courseRequirements
courseDescription
The application of assertion techniques and the related languages have been continuously updated and developed. As assertion languages are designed to express complex behaviors, the ongoing development of assertion techniques allows us to better utilize assertions as an important verification method. PSL provides many structures and operators that are not commonly used. These powerful structures can describe complex sequences. However, not all property structures or operators are useful. It is important to compare the advantages and disadvantages of these new structures or operators with traditional sequence descriptions to decide whether to use them. Assertion Based Verification provides an effective way to improve quality of verification by providing better controllability and observability of design errors. ABV is enabled with specification of assertions in the design. Assertions are executable specification of the design and are mostly written as 'assert' properties used to check the design functionality and 'cover' properties primarily used for functional coverage. Assertion can be verified using different ABV technologies: Formal, Simulation and Emulation/Acceleration. ...
This course includes
courseWhat you'll learn
courseWho is this course for
courseRequirements
courseDescription
The application of assertion techniques and the related languages have been continuously updated and developed. As assertion languages are designed to express complex behaviors, the ongoing development of assertion techniques allows us to better utilize assertions as an important verification method. PSL provides many structures and operators that are not commonly used. These powerful structures can describe complex sequences. However, not all property structures or operators are useful. It is important to compare the advantages and disadvantages of these new structures or operators with traditional sequence descriptions to decide whether to use them. Assertion Based Verification provides an effective way to improve quality of verification by providing better controllability and observability of design errors. ABV is enabled with specification of assertions in the design. Assertions are executable specification of the design and are mostly written as 'assert' properties used to check the design functionality and 'cover' properties primarily used for functional coverage. Assertion can be verified using different ABV technologies: Formal, Simulation and Emulation/Acceleration. ...
Recommended

EDA Academy is a practical learning platform for engineers in the VLSI and semiconductor industry. We offer structured courses, technical resources, and career-focused training across all major areas of chip design and verification — from Verilog to Physical Design, from fundamentals to advanced topics. Learn at your own pace, explore member-exclusive content, or join as an instructor to share your expertise. Lear...
