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

News Room Oct-09-2006 New VHDL Standard Integrates PSL Sep-26-2005 IEEE approves property language standard for verification of complex hardware Feb-02-2005 PSL Property Specification Language Selected for DesignVision Award July-04-2004 Call for Papers: 1st International Symposium on Leveraging Applications of Formal Method (ISOLA 2004) May-26-2004 John Colley's survey of assertion languages (DeepChip) Feb-17-2004 IBM, STMicro,Infineon Start PSL Project (Electronic News) Feb-17-2004 IBM's 'Sugar' to drive European system design project (Silicon Strategies) May-23-2003 Property Specification Language Momentum Drives Formation of New International Consortium(EETimes), also see original Press Release May-22-2003 New EDA consortium promotes assertion language (EETimes) May-22-2003 Consortium Rallies Around PSL/Sugar Assertions (Electronic Design) May-22-2003 Growing Industry Support for PSL/Sugar April-22-2003 PSL/Sugar Brochure (DAC'03 Version)

All rights reserved.