Skip to main content

PSL/Sugar

Formal Verification

Migration to PSL/Sugar

To assist users in migrating from the pre-standard version of Sugar ("Sugar 1.0") to the Accellera standard version of Sugar ("PSL", also called PSL/Sugar" or "Sugar 2.0"), IBM has developed the following presentation.