Skip to main content


Formal Verification

Bridge to Specman

IBM and Verisity have worked together for several years in order to support language interoperability between Sugar and Verisity's tools. This collaboration dates back to 2001, and started when the companies decided to jointly support the development of Specification Compiler, which translated Sugar 1.0 properties to 'e' temporal expressions (the compiler was developed by Nobug Consulting, Inc.). Verisity has subsequently participated in, and made important contributions to, the Accellera commitee where PSL/Sugar was brought to standardization. Later, with the standartization of PSL/Sugar by Accellera, Verisity has developed support for PSL/Sugar through the CAI (Coverage and Assertions Interface).

Related Links

Language interoperability between Sugar 1.0 and e:

Verisity's support for PSL/Sugar (a.k.a. Sugar 2.0)