硬件电路的属性说明语言

• 作者: 刘有耀
• 来源期刊: 现代电子技术
• 关键词: 硬件电路 属性说明语言 基于断言验证 自然语言
• 年，卷（期）: 2005,（20）
• 所属期刊栏目: 微电子技术
• 页码范围: 35-37
• 页数: 3页
• 分类号: TP312
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2005.20.020

摘要

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