Skip to main content


Formal Verification

PSL/Sugar Consortium

The PSL/Sugar Consortium was established to help hardware designers adopt and implement the PSL/Sugar language and its methodologies; this will serve to shorten the design verification process and make it more efficient. PSL/Sugar, standardized by Accelera, is a powerful, concise language for assertion specification and complex modeling, and is based on the Sugar 2.0 language from IBM.

The goal of the PSL/Sugar Consortium is to complement Accellera by helping hardware designers adopt methodologies based on PSL/Sugar, rather than defining the language.

For more information: