主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李勇坚,何积丰,孙永强.Verilog操作语义研究.软件学报,2002,13(10):2021-2030
Verilog操作语义研究
Study on the Operational Semantics of Verilog
投稿时间:2001-02-13  修订日期:2001-04-24
DOI:
中文关键词:  Verilog  事件调度  操作语义  观察模型  互模拟  同余性
英文关键词:Verilog  event scheduling  operational semantics  observation model  bisimulation  congruence
基金项目:澳门联合国大学国际软件技术研究所"实时混成系统的研究技术"(Design Tech niques for Real-Time Hybrid Systems)研究计划的资助项目.
作者单位
李勇坚 上海交通大学,计算机科学与工程系,上海,200030 
何积丰 澳门联合国大学,国际软件技术研究所,澳门 
孙永强 上海交通大学,计算机科学与工程系,上海,200030 
摘要点击次数: 3257
全文下载次数: 3200
中文摘要:
      提出了一个结构化操作语义模型,用于描述Verilog核心子集的语言特征,此子集包含了事件驱动、基于共享变量的并发特性、时间延迟等Verilog的主要语言成分.在此操作语义模型中,所有的Verilog程序将被统一地认为是开放式系统,所以在此操作语义模型的基础上能够进一步提出Verilog开放进程的观察模型,并提出基于互模拟的观察等价概念来判定进程之间的等价关系.最后证明了所定义的观察等价关系对所有的Verilog构造子而言是一个同余关系,从而为发展相应的进程代数理论提供了一个可靠性基础.
英文摘要:
      In this paper, a structural operational semantic model is presented for a core subset of Verilog, and the subset has the main features of Verilog such as event-driven computation, shared-variable concurrency, time-delay, and so on. And all the Verilog processes are seen as open systems in this operational semantic model, so a model of observation is provided for open Verilog processes, and use observation equivalence based on bisimulation to identify the equivalence between programs. The observation equivalence can be proved to be a congruence for all Verilog operators, so it provides a sound base for deriving the algebraic laws for Verilog processes.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利