Home > Training > PSL 

Assertion-Based Verification Using PSL

The PSL Assertion Language is an evolutionary step to aid in verifying today's complex designs. It is a powerful, concise language for assertion specification and complex modeling. Many leading technology firms around the world have already embraced this technology. This course will give you an in-depth understanding of the PSL language together with guidelines and methodologies to help you create manage and debug effective assertions for complex designs. The course has been developed in collaboration with IBM Haifa Labs. (PSL is based on the Sugar 2.0 language that was developed in IBM Haifa Labs).

Participants of this course must be able to read, write and understand VHDL or Verilog code and be familiar with running a HDL simulator.

The 2 days course is instructed at SELA School (Near Ramat-Gan mall) by SITAL Technology.

For confirmation and registration, please call Merav at SELA:
03-6176133.

The Course contents:

• Assertion Based Verification
• PSL Fundamentals
• Temporal Layer
• Boolean Layer
• SEREs (Sequential Extended Regular expression)
• Properties in SEREs style
• Safety vs. Liveness properties
• Properties in LTL style
• Advanced temporal propertie
• Introduction to Formal Verification
• Workshop Labs

For Detailed Learning Program, please call Merav at SELA:
03-6176133.