Skip to main content

PSL/Sugar

Formal Verification

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