|
|
|
PSL/Sugar Consortium Meeting
| |
PSL/Sugar Consortium Meeting in DATE '04
Thursday, February 19
Location: CNIT, La Defense, Paris, Durer Room, Level D
04:30PM – 06:30PM
Undeniably, EDA technology is changing every day. Yet, among the changes, one language has emerged as a mature, popular assertion language which is supported by most EDA vendors and is gaining increased acceptance by engineers - the Accellera PSL language, based upon the Sugar language from IBM.
So come and join users and vendors to share experiences and insights on PSL/Sugar. The PSL/Sugar Consortium is an independent association that has the mission of promoting the use of this language. The association works to speed the adoption of PSL and the presentations in this event will cover a variety of PSL-based methodologies and pertinent information on the language.
Agenda
| Time |
Title |
Presenter |
| 16:30 - 16:35 |
Opening Remarks |
|
| 16:35 - 16:45 |
Prosyd: EU-Sponsored Deployment of PSL,
(Presentation)
|
Yaron Wolfsthal, IBM |
| 16:45 - 17:00 |
From the PSL Practitioner's Handbook: Effective Specification Techniques,
(Presentation) |
Sitvanit Ruah, IBM |
| 17:00 - 17:15 |
PSL Presentation from Nokia,
(Paper) |
Sami Maisniemi and Jari Kalinainen, Nokia |
| 17:15 - 17:30 |
Prepackaging PSL/Sugar Properties for Lightweight Formal Verification |
Lyes Benalycherif, STMicroelectronics |
| 17:30 - 17:45 |
Overview of PSL/Sugar Support by EDA Vendors,
(Presentation) |
Adriana Maggiore, Independent Consultant |
| 17:45 - 18:00 |
Accellera FVTC Status Report: PSL v1.1,
(Presentation) |
Erich Marschner, Cadence Design Systems |
| 18:00 - 18:30 |
Q&A, Closing Remarks, and Open Discussion |
|
The PSL/Sugar Consortium
|
|
|
|
|
