一种VHDL的结构化操作语义

• 作者: 刘云仙 王维维
• 来源期刊: 浙江大学学报(理学版)
• 学科: 工学
• 关键词: VHDL 操作语义 转移规则
• 年，卷（期）: 2004,（4）
• 所属期刊栏目: 电子科学
• 页码范围: 409-411,419
• 页数: 4页
• 分类号: TP331|TN4
• 字数: 2649字
• 语种: 中文
• DOI: 10.3321/j.issn:1008-9497.2004.04.013

摘要

硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘云仙		5	10	2.0	3.0
2	王维维	浙江大学超大规模集成电路设计研究所	15	127	4.0	11.0