【摘 要】
：
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质
【机 构】
：
西安工业大学光电工程学院,西安邮电学院计算机科学系
论文部分内容阅读
性质描述语言（Property Specification Language）为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法为硬件的设计和验证提出了一种新的很具有优势的验证方法。用性质描述语言作为断言的验证方法中描述断言的语言,使得断言能够被语法精简、语义严格清晰地描述出来。通过对先进先出队列存储器的设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用性质描述语言写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设计的错误,并验证了本方法在硬件验证中的有效性。
其他文献
目的观察扶他林乳胶剂治疗软组织损伤引起的疼痛的疗效.方法随机选择200例软组织损伤患者,均给予扶他林乳剂3～5 cm,每日3～4次外涂于患处,1周为1个疗程.结果患者治疗后,总有效率
对基于距离的聚类及基于密度的孤立点检测方法进行了分析研究,提出了一种基于距离和密度的聚类和孤立点检测算法DDBCOD。该算法根据距离和密度阈值对数据进行聚类,并发现数据
创新是创造一切事物的灵感来源，是新时期企业生存和发展的动力与保证。随着社会改革的不断深入以及社会经济的不断发展，新时期下对企业思想政治工作也有了更多的要求。对企业思
半刚性沥青路面早期破坏的因素较多。当前虽采取一定的措施来防止早期破坏的发生,但仍未完全解决早期破坏现象。施工期荷载较重可能在施工过程中对结构产生影响,进而影响结构