硬件电路的属性说明语言

来源 :现代电子技术 | 被引量 : 0次 | 上传用户：kj8231926

【摘要】

：

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证.本文介绍的属性说明语言(PSL)是一种易于读写

【作者】

：

刘有耀

【机构】

：

西安邮电学院ASIC设计中心

【出处】

：

现代电子技术

【发表日期】

：

2005年20期

【关键词】

：

硬件电路属性说明语言基于断言验证自然语言

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证.本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言.并对他在Modelsim SE 6.0仿真工具中的使用做了具体的介绍.

其他文献

汉语发射路径现象探析

本文以汉语中虚拟位移发射路径为分析对象,基于Talmy发射路径的定义及分类,分析归纳汉语中发射路径的具体分类和界定标准及其在汉语中的表达习惯。研究发现,由于使用趋向动词

期刊

虚拟位移汉语发射路径

意大利声乐学派与俄罗斯声乐学派的特点比较研究

意大利与俄罗斯都有着丰厚的艺术文化底蕴，在世界艺术史上两个民族的音乐、舞蹈、美术、文学等都形成了独特的流派。意大利几个世纪以来诞生了众多歌唱家，形成了其独特的意大利

期刊

意大利声乐学派俄罗斯声乐学派比较研究

马文瑞在十一届三中全会前后

1977年12月10日,中共中央接受胡耀邦的建议,任命马文瑞为中央党校副校长,代替胡耀邦主持党校日常工作。当时的校长是华国锋,第一副校长是汪东兴,马文瑞是实际上的常务副校长

期刊

马文瑞王首道彭德怀中央党校十一届三中全会胡耀邦

血清中HCY与子宫动脉螺旋小动脉血流变化对胎盘早剥的早期诊断

目的研究血清中同型半胱氨酸（HCY）、子宫螺旋小动脉血液动力学指标的变化对胎盘早剥早期诊断的临床意义。方法选取2011年12月—2014年12月期间被长春市妇产医院初诊诊断为子痫

期刊

胎盘早剥HCY子宫螺旋小动脉PI、RI、S/D诊断

中西医结合疗法治疗小儿肺炎支原体肺炎的效果探讨

目的：探讨用中西医结合疗法治疗小儿肺炎支原体肺炎的效果。方法：将2016年1月至2017年3月期间资中县中医医院收治的90例小儿肺炎支原体肺炎患儿作为研究对象。将这些研究对象随

期刊

中西医结合疗法肺炎支原体肺炎血氧饱和度呼吸频率

黄芪配伍川芎嗪对2型糖尿病大鼠大血管的保护作用

目的探讨黄芪或川芎嗪单用是否防治糖尿病大血管病变以及两药合用是否可增强其作用。方法建立2型糖尿病（T2DM）大鼠模型,动物分组：正常对照组、模型组、川芎嗪处理组、黄芪组、黄

期刊

黄芪川芎嗪2型糖尿病大血管病变

深度行走的习作指导寻绎

教育学会语文教学研究中心主任、浙江省名师名校长工作站主持导师汪潮先生,在他所著的《小学语文教材研读》第十六章“习作课研制”中指出:任何一篇文章的写作,都要经过“双

期刊

习作指导提示语

环境保护技术在市政道路工程中的应用及成效分析

市政道路工程是城市建设中的关键项目,然而在其施工过程中对于周边环境的影响非常大。以长沙市某市政道路工程为例,介绍在施工过程中如何运用的环境保护技术以及成效分析,以

期刊

城市建设市政道路工程绿色施工环境保护

基于组态软件和智能仪表的温度监控系统

本系统利用组态软件及智能仪表实现多点温度的监控。该温度监控系统由岛电型智能仪表、装有组态软件的PC机、热电阻、固态继电器、风扇以及散热器等设备组成。系统采用分布式

期刊

智能仪表多点温度监控组态软件RS-485总线

云南省肺结核患者不到位的影响因素分析

目的：探讨云南省医疗机构网络直报肺结核患者不到位的原因，为相关部门制定相关政策提高肺结核患者的到位率提供依据．方法在云南省采取分层随机的抽样方法，抽取网络直报的730名肺

期刊

肺结核转诊追踪影响因素

硬件电路的属性说明语言

与本文相关的学术论文