| 基于事件结构的SystemVerilog指称语义 |
| |
| 引用本文： | 贺彦琨.基于事件结构的SystemVerilog指称语义[J].微计算机信息,2009,25(9). |
| |
| 作者姓名： | 贺彦琨 |
| |
| 作者单位： | 兰州,兰州大学,信息科学与工程学院,甘肃,730030
|
| |
| 摘 要： | 本文利用形式化的方法对SystemVerilog的指称语义进行研究,采用EBES(extended bundle event strueture)作为抽象模型,以便更好的描述SystemvPrilog真并发的特点.我们的主要工作是:首先,通过对SystemVefilog语言的认真学习,从中抽取出一个尽可能多的包含其语法的真并发子集;其次,利用进程代数LOTOS描述其基于EBES模型的指称语义,以提供一个准确的、无二义性的SysteroVerilog文档,避免硬件设计中的逻辑性错误.
|
| 关 键 词： | 指称语义 进程代数 |
Denotational Semantics of SystemVerilog based on Extended Bundle Event Structure |
| |
| HE Yan-kun.Denotational Semantics of SystemVerilog based on Extended Bundle Event Structure[J].Control & Automation,2009,25(9). |
| |
| Authors: | HE Yan-kun |
| |
| Abstract: | |
| |
| Keywords: | SystemVerilog EBES |
| 本文献已被 万方数据 等数据库收录！ |
|
