| 硬件描述语言VHDL指称语义的研究 |
| |
| 引用本文： | 王维维,严晓浪. 硬件描述语言VHDL指称语义的研究[J]. 微电子学与计算机, 2002, 19(11): 61-64 |
| |
| 作者姓名： | 王维维 严晓浪 |
| |
| 作者单位： | 1. 浙江大学西溪校区,杭州,310028
2. 浙江大学超大规模集成电路研究所,杭州,310027 |
| |
| 摘 要： | VHDL是一种广泛使用的硬件描述语言，但长期以来缺乏严格的形式语义，文章介绍并分析了若干具有代表性的VHDL指称语义的研究工具，在此基础上，简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。
|
| 关 键 词： | 硬件描述语言 VHDL 指称语义 时段逻辑 程序设计语言 |
| 修稿时间： | 2002-07-17 |
The Study of Denotational Semantics of VHDL |
| |
| WANG Wei-wei. The Study of Denotational Semantics of VHDL[J]. Microelectronics & Computer, 2002, 19(11): 61-64 |
| |
| Authors: | WANG Wei-wei |
| |
| Abstract: | VHDL is one of the IEEE-standard hardware des-cription languages.Several formal dano-rational semantics were analyzed here.Some considerations based on duration calculus are presented when we define a new framework for VHDL denotational semantics. |
| |
| Keywords: | VHDL Denotational semantics Duration calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
