AVMS VI-02 - Practical Examples of PSL Usage

Previous presentation in this thread ("Understanding Assertions – The Key to Efficient Usage") provided solid theoretical background for PSL usage in hardware design and verification. Using this background, current presentation shows how to use PSL in real life designs to make verification more efficient.

Location: Online Webinar: Thursday 7/17/2008, 11:00 AM (Pacific Daylight Time)
Date: 7/17/2008 - 7/17/2008
Organizer: Aldec Inc

Presenter: Aldec
Agenda:

• Clocking PSL properties
• Popular property patterns
• Properties in assertions and functional coverage
• PSL examples for typical design units
• Common coding mistakes
• Methods of binding verification units to design units
• PSL embedded in the HDL code vs. saved in separate files

Event Link:http://www.aldec.com/Products/Product.aspx?productid=586b8ed3-ba11-47f2-a835-5ae988a51f52