| Verilog的一个操作语义模型 |
| |
| 引用本文： | 崔宏斌,宋国新. Verilog的一个操作语义模型[J]. 华东理工大学学报(自然科学版), 2004, 30(1): 78-81 |
| |
| 作者姓名： | 崔宏斌 宋国新 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237;华东理工大学计算机科学与工程系,上海,200237 |
| |
| 摘 要： | 提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象，该子集包括了Verilog最重要的语言特征，如事件控制，时延，并发性等；定义了程序状态空间及其上的状态迁移系统。
|
| 关 键 词： | 形式语义学 Verilog 操作语义 并发 模型 |
| 文章编号： | 1006-3080(2004)01-0078-04 |
| 修稿时间： | 2003-02-13 |
An Operational Semantics of Verilog |
| |
| CUI Hong-bin,SONG Guo-xin. An Operational Semantics of Verilog[J]. Journal of East China University of Science and Technology, 2004, 30(1): 78-81 |
| |
| Authors: | CUI Hong-bin SONG Guo-xin |
| |
| Affiliation: | CUI Hong-bin,SONG Guo-xin~* |
| |
| Abstract: | This paper presents an operational semantics of Verilog. We choose a subset of Verilog for our research, which hold the key features of Verilog, including event control, time delay, and concurrency. We define a set of notes to present the configurations and a set of transition rules over configurations. |
| |
| Keywords: | formal semantics Verilog operational semantics parallelism model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
