Overview
PSL/Sugar is the specification language used by engineers to specify the functional properties of logic designs. These properties, in turn, serve as input to property-checking tools, which are key to modern-day functional verification. Sugar, developed by IBM, is simple, concise, and expressive. The Sugar language was submitted to the Accelera EDA standards organization, who selected Sugar as the basis for an IEEE international standard and renamed it to PSL (short for Property Specification Language). PSL is commonly referred to as PSL/Sugar, and is the winner of the 2005 DesignVision Award.
And finally, on 9/22/2005, PSL has successfully completed the natural step of becoming a general IEEE standard. The IEEE name for PSL is P1850. Industry adoption is complete... and engineering teams worldwide are now using PSL across numerous chip design projects. You are welcome to join the club.
Contacts
|
Cindy Eisner IBM Haifa Research Laboratory Haifa University Campus Mount Carmel Haifa 31905 ISRAEL 
|
Sitvanit Ruah IBM Haifa Research Laboratory Haifa University Campus Mount Carmel Haifa 31905 ISRAEL 
|
