PSL断言

xiyue_007 · 发表于 2010-1-12 18:43:47

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

现在很多人只用SVA，PSL不太用了，不过还是发上来给感兴趣的朋友看看

wangyingwei · 发表于 2010-1-16 15:18:56

请问下LZ对PSL断言了解吗？它与SV的区别是什么？为什么PSL不太用了呢？
我是新手刚开始学习断言

wangyingwei · 发表于 2010-1-16 15:21:08

请问下LZ对PSL断言了解吗？它与SV的区别是什么？为什么PSL不太用了呢？
我是新手刚开始学习断言

xiyue_007 · 发表于 2010-1-18 09:10:12

说实话，我也只是简单的用过SVA，PSL只是刚工作的时候公司培训过。具体的区别还真没有什么概念，只是近来大家对SVA提及的比较多，下面是网上搜来的，应该是最官方的声明了
发表于2005电子工程专辑
为什么有两种标准声明语言——特性规范语言(PSL)和SystemVerilog（SVA）？如何比较这两种语言？飞思卡尔半导体公司首席科学家John Havlicek日前在设计验证研讨会(DVCon)的演讲中提出了他的看法。
他指出：“有两个标准语言的主要原因是有两个委员会。”但他承认，这两个委员会的目标互补，导致两种语言面向互补的工程需求。
PSL来自于Accellera的形式验证技术委员会(FVTC)，2000年开始。该组织考虑了几种特性语言，并选定以IBM的Sugar语言为基础。后来诞生了PSL，该语言去年被捐献给IEEE，目前作为IEEE P1850进行标准化工作。
SVA来自Accellera的SVA委员会，该组织接收FVTC不考虑或拒绝的技术，包括Superlog语言、摩托罗拉的CBV、Synopsys的OpenVera和英特尔的ForSpec。所产生的声明(assertion)被纳入SystemVerilog语言，目前作为IEEE P1800进行标准化。
Havlicek表示，PSL旨在成为一种“面向静态验证的全面的特性语言，子集适合动态验证。”形成对比的是，SVA是一种“丰富的动态验证特性语言，子集适合静态验证。”
此外，PSL是一种可扩展语言框架，与多种HDL协同工作，而SVA由直接集成到Verilog的声明组成，因此硬件设计师能在HDL代码内包含行内声明。
Havlicek指出，正是由于这些差异的存在，“部分人士已经提出对两种语言进行调整”。Havlicek认为，目前可能的情形是，将“缩减后的”SystemVerilog一致性命题映射到PSL基础语言。结果是两种语言非常接近，足够进行自动化翻译，就象“同一语言的不同方言。”