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

 找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

搜帖子
查看: 5282|回复: 11

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

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

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

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

×
小弟最近在研究断言,请论坛里的高手不吝赐教!!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, 下载次数: 114 , 下载积分: 资产 -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, 2025-9-3 22:54 , Processed in 0.019148 second(s), 6 queries , Gzip On, Redis On.

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