一种基于时段演算的VHDL的形式语义

• 作者: 严晓浪 王维维
• 来源期刊: 电路与系统学报
• 学科: 工学
• 关键词: VHDL 形式语义 时段演算
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 论文
• 页码范围: 12-16
• 页数: 5页
• 分类号: TP223
• 字数: 3771字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-0249.2006.02.003

摘要

VHDL是一种广泛使用的硬件描述语言.其语义的形式化描述对于VHDL的使用及实现具有重要意义.本文提出了一种基于时段演算的VHDL的形式语义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	严晓浪	浙江大学超大规模集成电路设计研究所	246	1634	19.0	29.0
2	王维维	浙江大学计算机学院	15	127	4.0	11.0