Product category: Design and Development Software
News Release from: IBM Haifa Research Lab
Edited by the Electronicstalk Editorial Team on 14 February 2005
Property Specification Language
recognised
The Accellera Property Specification Language (PSL) version 1.1 has been recognised by a DesignVision award from the International Engineering Consortium (IEC).
The Accellera Property Specification Language (PSL) version 1.1 has been recognised by a DesignVision award from the International Engineering Consortium (IEC) The award has been presented to Accellera in recognition of the significant contribution that PSL v1.1 has made to the EDA industry
This article was originally published on Electronicstalk on 10 Feb 2006 at 8.00am (UK)
Related stories
Machine learning and simulation-based verification
Now in its third-year at the IBM Haifa Research Lab, the Coverage-Directed Generation project, known as CDG, is being successfully used for simulation-base verification.
Lightweight formal verification platform
IBM is offering RuleBase Single-Thread Edition (SE), a lightweight version of its RuleBase formal verification platform as an entry-level product for those looking for a small scale solution.
PSL is a language f