| 一种基于时段演算的VHDL的形式语义 |
| |
| 引用本文： | 王维维,严晓浪. 一种基于时段演算的VHDL的形式语义[J]. 电路与系统学报, 2006, 11(2): 12-16 |
| |
| 作者姓名： | 王维维 严晓浪 |
| |
| 作者单位： | 1. 浙江大学,计算机学院,浙江,杭州,310027
2. 浙江大学,超大规模集成电路设计研究所,浙江,杭州,310027 |
| |
| 摘 要： | VHDL是一种广泛使用的硬件描述语言.其语义的形式化描述对于VHDL的使用及实现具有重要意义.本文提出了一种基于时段演算的VHDL的形式语义.
|
| 关 键 词： | 形式语义 时段演算 |
| 文章编号： | 1007-0249（2006）02-0012-05 |
| 收稿时间： | 2003-11-03 |
| 修稿时间： | 2004-03-10 |
A formal semantics of VHDL based on duration calculus |
| |
| WANG Wei-wei,YAN Xiao-lang. A formal semantics of VHDL based on duration calculus[J]. Journal of Circuits and Systems, 2006, 11(2): 12-16 |
| |
| Authors: | WANG Wei-wei YAN Xiao-lang |
| |
| Abstract: | |
| |
| Keywords: | VHDL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
