收藏本站
《第五届中国测试学术会议论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于PSL的FIFO的验证

郭建  韩俊刚  
【摘要】:IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法(ABV)为硬件的设计和验证提出了一种新的很具有优势的验证方法。用PSL作为ABV方法中描述断言的语言,使得ABV中的断言能够被语法精简、语义严格清晰地描述出来。本文通过对FIFO设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用PSL写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误。

【相似文献】
中国期刊全文数据库 前10条
1 王敏;李旭东;张赋;王婉叶;;基于DEFROM软件的自由曲面切削加工仿真技术研究[J];甘肃科技;2011年11期
2 张林;梁海波;郭智勇;;基于虚拟仪器技术的录井培训系统设计[J];仪器仪表用户;2011年04期
3 华闰祺;;西门子工业以太网通讯网络仿真[J];可编程控制器与工厂自动化;2011年07期
4 王宇航;;基于CDIO的网络工程技术教学改革[J];辽宁行政学院学报;2011年09期
5 李阳;沈学杰;王传立;周铁军;;基于NS2的计算机网络教学研究[J];网络安全技术与应用;2011年09期
6 马婧;;基于MITK的医学图像三维重建系统的研究与应用[J];医疗卫生装备;2011年05期
7 张春霞;;高职《网络设备管理》课程实训教学方式的改革探讨[J];中国科教创新导刊;2011年17期
8 毕娅;梁晓磊;李文锋;;重庆港骨干集装箱码头联动调度的动态模拟[J];计算机应用与软件;2011年09期
9 胡红林;;使用MAX+PLUSⅡ进行数字电路模拟仿真时常见问题与解决方法[J];邢台学院学报;2011年02期
10 周兴华;;手把手教你学PIC单片机C语言设计(二)下[J];电子世界;2010年09期
中国重要会议论文全文数据库 前10条
1 郭建;韩俊刚;;基于PSL的FIFO的验证[A];第五届中国测试学术会议论文集[C];2008年
2 王东星;高诚辉;周超;黄建萌;;粗糙表面滑动干摩擦接触模拟仿真研究[A];2011年全国青年摩擦学与表面工程学术会议论文集[C];2011年
3 凌志;范平志;;TETRA系统调制解调与计算机仿真[A];四川省通信学会1999年学术年会论文集[C];1999年
4 周桂莲;赵海霞;;VB在激光清洗模具装置中的应用[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
5 郑书杰;李明海;崔洪江;;16V280ZJ型柴油机燃油喷射系统改进及模拟仿真研究[A];第三届中国CAE工程分析技术年会论文集[C];2007年
6 胡建军;金艳;许洪斌;蒋鹏;;金属材料的断裂准则及断裂行为数值模拟[A];第六届中国功能材料及其应用学术会议论文集(10)[C];2007年
7 蔡远文;杨健;陈勇;;运载火箭平台初始对准模拟方法研究[A];1999中国控制与决策学术年会论文集[C];1999年
8 于贺;李守巨;刘迎曦;陈昌林;张志福;;丰满大坝的渗流仿真分析[A];第六届全国地面岩石工程学术会议暨第二届岩土力学与工程前沿论坛论文集[C];2007年
9 韩林俊;王宝龙;石文星;李先庭;;涡旋压缩机制冷剂喷射系统应用分析[A];全国暖通空调制冷2008年学术文集[C];2008年
10 杨泽洪;张泉;;湖南国际会展中心高大空间空调环境的模拟与实验测试[A];全国暖通空调制冷2008年学术年会论文集[C];2008年
中国重要报纸全文数据库 前10条
1 云庆乾、文雅;模拟仿真“网”住漏网之“鱼”[N];战士报;2011年
2 仲京;模拟仿真营销[N];河北经济日报;2001年
3 韩江波;不可忽视军事模拟仿真训练[N];战士报;2004年
4 杨丹谱 张力;我空军某雷达旅模拟仿真训练[N];国防时报;2011年
5 ;营销新战式——模拟仿真营销[N];中国信息报;2001年
6 金利;航天筒体结构成形制造过程模拟仿真及工艺优化[N];科技日报;2007年
7 本报记者 王浩;运筹帷幄 决胜千里[N];中国工商报;2001年
8 周燕虎 本报特约通讯员 项志明;信息技术让火炮“走”进实验室[N];解放军报;2005年
9 李岳孙爱惠 王海滨;仿真小设计发挥实战大作用[N];中国质量报;2008年
10 山东省宁阳第一中学 张立玲 殷建彬;直流电动态变化电路的设计与模拟[N];电子报;2006年
中国博士学位论文全文数据库 前10条
1 陈宝义;地下穿孔液压冲击器的研究与设计[D];吉林大学;2005年
2 马新;水平定向钻杆力学效应模拟仿真研究[D];吉林大学;2006年
3 赵军;悬浮流化式生物质热解液化装置设计理论及仿真研究[D];东北林业大学;2008年
4 齐海群;超声振动拉丝相关理论及其实验研究[D];哈尔滨工业大学;2009年
5 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
6 鲁晓春;物流系统着色Petri网模型研究[D];北京交通大学;2008年
7 张彬;煤炭地下气化调控机理与计算机仿真技术研究[D];辽宁工程技术大学;2004年
8 朱兆君;MPM用小型行波管CAD研究[D];电子科技大学;2008年
9 汪丽;干涉法大气风场探测技术研究[D];中国科学院研究生院(西安光学精密机械研究所);2007年
10 李观义;基于3S的防洪决策方法研究[D];河海大学;2007年
中国硕士学位论文全文数据库 前10条
1 陈曦;混合动力汽车最优化模拟与仿真系统[D];大连海事大学;2007年
2 侯贻栋;汽车防抱死制动系统动态模拟仿真研究[D];长安大学;2002年
3 鲁辉;室内无线红外通信系统的研究与设计[D];西南交通大学;2006年
4 赵坚;支持汽车电子的状态图验证工具—Smart Automata[D];浙江大学;2008年
5 熊京民;可编程增益放大电路的设计[D];清华大学;2005年
6 杨芳;居住社区商业建筑研究[D];中南大学;2008年
7 张蔚恩;量子结构光电器件的特性分析与模拟仿真[D];华东师范大学;2009年
8 王影;随机激励下汽车悬架的非线性特性分析[D];天津大学;2005年
9 朱德志;多冻结的主生产计划对供应链绩效的影响研究[D];天津大学;2004年
10 许毅;气浮主轴动静压特性分析及结构设计[D];天津大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026