硬件电路的属性说明语言

摘要：

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

关键词：硬件电路、属性说明语言、基于断言验证、自然语言

所属期刊栏目：28

分类号：TP312(计算技术、计算机技术)

资助基金：国家自然科学基金90207015

在线出版日期：2005-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：35-37