在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 4333|回复: 11

[资料] 我也发点关于PSL断言的资料

[复制链接]
发表于 2010-1-18 23:49:36 | 显示全部楼层 |阅读模式

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

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

x
小弟最近在研究断言,请论坛里的高手不吝赐教!!1
不管是OVL、SV或者PSL,请用过的指点下它们各自的特点,用法,以及目前的使用情况?对了,还有仿真工具的支持情况?
先谢谢了!!!!!!!!
下面是我找的一些关于PSL的资料,论坛里好像没有,跟大家交流了

10.1.1.34.1404.pdf

174.94 KB, 下载次数: 99 , 下载积分: 资产 -2 信元, 下载支出 2 信元

[assertion]PSL - Property Specification Language.pdf

537.63 KB, 下载次数: 110 , 下载积分: 资产 -2 信元, 下载支出 2 信元

发表于 2010-1-26 11:09:04 | 显示全部楼层
SV中对PSL进行包装  就是所谓的SVA  

不知我的说法对不?
发表于 2010-1-27 22:35:24 | 显示全部楼层
good~~~~~~~
 楼主| 发表于 2010-1-28 11:50:48 | 显示全部楼层
SVA兼顾了PSL及OVL的优点,其优势还是体现在对SV的兼容性,可以在设计SV中添加断言。PSL是一种完全独立的断言语言。
发表于 2010-1-29 14:26:37 | 显示全部楼层
good~~~~~~~
发表于 2010-12-17 21:41:56 | 显示全部楼层
ovl是不是更适合设计工程师
发表于 2011-2-14 22:55:40 | 显示全部楼层
回复 1# wangyingwei


    PSL应该是比较高级的语言
发表于 2011-4-25 17:33:05 | 显示全部楼层
回复 1# wangyingwei


    xian kankan
发表于 2011-7-24 01:11:36 | 显示全部楼层
谢谢分享~~~
发表于 2012-3-6 22:23:49 | 显示全部楼层
好好学习
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-28 11:00 , Processed in 0.028611 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表