IBM公司宣称Accellera EDA标准组织已批准特性规范语言(PSL) 1.01为官方语言。
蓝色巨人IBM表示,PSL以IBM的Sugar语言为基础,将进一步推动在制造前检查芯片设计的仿真及形式验证技术内基于命题的验证。“新标准将帮助设计和验证工程师及工具开发商满足芯片设计和EDA工业的要求,为客户提供具竞争力的优势。”Sugar语言诞生地--IBM海法研究实验室主任Michael Rodeh在一项声明中表示。“Accellera组织批准PSL将加快高级规范及验证方法的普及。”
据称超过20家公司的40多名代表参与了基于Sugar的PSL标准制定。IBM为工具开发商提供开放源Sugar剖析器,旨在扩大对该硬件验证语言的支持。
Accellera技术委员会主席Harry Foster在声明中说,“PSL是一种高质量语言,在芯片设计项目应用中有良好记录。在语言选择过程的开始阶段,它就符合并超越了我们定义的所有要求,是非常值得业界广泛采纳的语言。”