| 一种VHDL的结构化操作语义 |
| |
| 引用本文： | 刘云仙,王维维. 一种VHDL的结构化操作语义[J]. 浙江大学学报(理学版), 2004, 31(4): 409-412 |
| |
| 作者姓名： | 刘云仙 王维维 |
| |
| 作者单位： | 1. 浙江科技学院,浙江,杭州,310012
2. 浙江大学,超大规模集成电路设计研究所,浙江,杭州,310027 |
| |
| 摘 要： | 硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
|
| 关 键 词： | 操作语义 转移规则 |
| 文章编号： | 1008-9497(2004)04-409-03 |
| 修稿时间： | 2003-10-27 |
A structural operational semantics of VHDL |
| |
| LIU Yun-xian,WANG Wei-wei. A structural operational semantics of VHDL[J]. Journal of Zhejiang University(Sciences Edition), 2004, 31(4): 409-412 |
| |
| Authors: | LIU Yun-xian WANG Wei-wei |
| |
| Affiliation: | LIU Yun-xian~1,WANG Wei-wei~2 |
| |
| Abstract: | |
| |
| Keywords: | VHDL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(理学版)》下载免费的PDF全文 |
|
