PSL/Sugar Consortium         Homepage                 The PSL/Sugar LRM     How To Join     Technical Resources     News Room     Members     Events     PSL/Sugar Parser     Users Feedback

Events IBM Verification Conference 2006, Call for Participation, October 23 - 26, 2006, Haifa, Israel Sponsored by Caesarea Rothschild Institute (CRI) IEEE International High-Level Design, Validation and Test Workshop (HLDVT 2006), Call for Papers and Tools, Hyatt Regency Monterey, Monterey, California, Nov. 8-10, 2006 IBM Verification Conference 2005, Call for Papers and Tools, November 13-16, 2005, Haifa, Israel Sponsored by Caesarea Rothschild Institute (CRI) PSL in FDL There will be a PSL/Sugar Consortium meeting in conjunction with the Forum on Specification and Design Languages (FDL). This will leverage the historical focus of the FDL conference on specification languages such as PSL, and therefore it will be an ideal venue for meetings of the PSL/Sugar Consortium. The FDL conference will include academic papers related to PSL, and the PSL/Sugar Consortium meeting will provide complementary presentations regarding application and industrial usage of PSL. Plan now to attend FDL '05 in Lausanne, Switzerland to get the latest information on PSL. Assertion-Based Verification Using PSL, Class from Sital Technology in collaboration with IBM, (December 13, 2004) IBM Verification Seminar 2004, featuring presentations about tools which support PSL, (November 21, 2004) PSL/Sugar Consortium Meeting in DAC '04 (Tuesday, June 08, 2004, from 11:00-14:00) Presentations & papers from the meeting are now available: PSL Standardization Update, Harry Foster, Accellera FVTC Co-Chair and Chief Methodologist, Jasper Design Automation Inclusion of PSL in VHDL 200x, Dr. Peter Ashenden, Chair of IEEE Design Automation Standards Committee Enabling PSL Assertions in SystemC, Stuart Swan, Senior Architect, System and Functional Verification Group, Cadence Design Systems "HoneyComb": A Platform for Functional Coverage Analysis Using PSL, Moshe Levinger, Sr Mgr of Simulation-Based Verification Technologies, IBM PSL in Action: ABV Experience Report, Eyal Gonen, Verification Leader, IBM Engineering & Technology Services Experiences of a PSL Educator, John Aynsley, Technical Director, Doulos Ltd Assertion-Based Verification with PSL/Sugar, Classes from Cadence, (May-June 2004) A Taste of PSL - Presentation delivered in the annual Israel Seminar on ASIC and FPGA (May 18, 2004) Assertion-Based Verification with PSL - Training Class from Doulus (July 13-14, 2004) PSL Classes from Esperan (March 2004) PSL/Sugar Consortium Meeting in DATE '04 (February 19, 2004 from 16:30-18:30) Presentations & papers from the meeting are now available: Prosyd: EU-Sponsored Deployment of PSL, Yaron Wolfsthal, IBM From the PSL Practitioner's Handbook: Effective Specification Techniques, Sitvanit Ruah, IBM PSL Presentation from Nokia, Sami Maisniemi and Jari Kalinainen, Nokia Accellera FVTC Status Report: PSL v1.1, Erich Marschner, Cadence Design Systems ECSI Workshop on System Design Standards (December 16, 2003) Annual IBM Verification Seminar (October 19, 2003) Presentations with relevance to PSL/Sugar Reasoning About Truncated Paths Dana Fisman, Weizmann Institute of Science Formal Verification or Simulation: Why not both? Michel Jalfon, Analog Devices PSL/Sugar: Educating and Building Awareness, DAC 2003 Presentations PSL Consortium Introduction, Harry Foster, Jasper Design Automation PSL: an Open Standard, Harry Foster, Jasper Design Automation Using Sugar at the IBM Haifa Design Labs, Yossi Ginzburg, IBM A Taste of Sugar, Yaron Wolfsthal, IBM Importance of Assertions in a Complete Verification Methodology, Yaron Kashai, Verisity Design When OVL is not Enough: PSL/Sugar, Bryan Bullis, Cisco Systems

All rights reserved.