| 用属性说明语言验证硬件电路 |
| |
| 引用本文： | 刘有耀.用属性说明语言验证硬件电路[J].现代电子技术,2005,28(21):104-106. |
| |
| 作者姓名： | 刘有耀 |
| |
| 作者单位： | 西安邮电学院,ASIC设计中心,陕西,西安,710061 |
| |
| 基金项目： | 国家自然科学基金（90207015） |
| |
| 摘 要： | 过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证.然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言.本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法.通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法.
|
| 关 键 词： | 硬件电路 属性说明语言 验证 自然语言 |
| 文章编号： | 1004-373X（2005）20-104-03 |
| 收稿时间： | 2005-08-31 |
| 修稿时间： | 2005年8月31日 |
Verification of Hardware Circuit with Property Specification Language |
| |
| LIU Youyao.Verification of Hardware Circuit with Property Specification Language[J].Modern Electronic Technique,2005,28(21):104-106. |
| |
| Authors: | LIU Youyao |
| |
| Abstract: | |
| |
| Keywords: | hardware circuit property specification language verification natural language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
