什么是PSL语言？

发布网友 发布时间：2022-03-30 02:23

我来回答

共2个回答

热心网友 时间：2022-03-30 03:52

从IBM的Sugar语言衍生而来的PSL是一种面向命题规范和复杂建模的形式语言。它具备的能力超越了 SystemVerilog 3.1内命题语言结构。PSL语言参考手册 1.01版今年初由Accellera功能验证技术委员会批准通过，目前正由Accellera董事会进行正式批准前的磋商。Verplex Systems公司市场副总裁兼PSL/Sugar联盟代理发言人Tony Larson表示，“联盟的成立是对Accellera所作工作的有力补充。我们依靠Accellera创建了该语言，通过帮助用户采用该语言，我们可以更好地支持已得的成效。”

Larson表示，联盟的组织架构将在DAC大会上商议，包括*的选举。联盟的最初计划包括：兴建一个用户组织，赞助PSL技术活动，建立一个公告板，制订技术*并建设一个网站。参与设立该联盟的EDA创始成员公司包括：0-In Design Automation、@HDL、Cadence、Novas、Real Intent、Summit Design、SynaptiCAD、Tharas Systems、TNI-Valiosys、TransEDA、Verisity、Veritable和Verplex。用户公司成员为IBM和Ricoh。

Accellera*Dennis Brophy表示，协会是对Accellera制订标准成效的一个非常好的补充。“我们欢迎协会推动有关方*的开发工作，以更好地支持该标准。”

热心网友 时间：2022-03-30 05:10

特性规范语言