October 26, 2006
Organized by IBM Research Lab in Haifa, Israel
Assertion based verification (ABV) is a verification methodology that checks that functional specifications (properties) of a design are not violated. It is useful for both dynamic and static verification. In October 2005, the property specification language PSL was released as an IEEE standard. PSL is a powerful, concise language for specification of complex systems. Many leading chip design teams around the world have already embraced the ABV technology using PSL.
This half-day tutorial will provide an overview of the full PSL language with a focus on properties in SERE style and a taste of some advanced topics. The tutorial will be accompanied by a set of exercises to practice writing assertions.
The event will take place at the Caesarea Rothschild Institute (CRI) at the University of Haifa. Education Building, 6th floor. The official language of the tutorial is English. Participation is free.
PSL tutorial Topics
- Assertion based verification
- Overview and structure of PSL
- Writing properties in SERE style
- Some philosophy
- Common errors
- Advanced topics
- Finite vs. infinite traces
- Safety and liveness
Proceedings publication: Springer Lecture Notes in Computer Science