高考问答最珍贵的礼物600字:什么是PSL语言？
来源：百度文库 编辑：高考问答 时间：2024/04/29 10:06:44
从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制订标准成效的一个非常好的补充。“我们欢迎协会推动有关方法论的开发工作，以更好地支持该标准。”
特性规范语言