基于事件结构的SystemVerilog指称语义

	基于事件结构的SystemVerilog指称语义
	贺彦琨
刊名	微计算机信息
	2009-03-25
期号	9 页码:171-172+165
关键词	System Verilog 指称语义 EBES 进程代数
中文摘要	本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述System Verilog真并发的特点。我们的主要工作是:首先,通过对System Verilog语言的认真学习,从中抽取出一个尽可能多的包含其语法的真并发子集;其次,利用进程代数LOTOS描述其基于EBES模型的指称语义,以提供一个准确的、无二义性的System Verilog文档,避免硬件设计中的逻辑性错误。
语种	中文
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/127759]
专题	信息科学与工程学院_期刊论文
推荐引用方式 GB/T 7714	贺彦琨. 基于事件结构的SystemVerilog指称语义[J]. 微计算机信息,2009(9):171-172+165.
APA	贺彦琨.(2009).基于事件结构的SystemVerilog指称语义.微计算机信息(9),171-172+165.
MLA	贺彦琨."基于事件结构的SystemVerilog指称语义".微计算机信息 .9(2009):171-172+165.