首页> 中文期刊> 《软件学报》 >Verilog语言形式化语义研究

Verilog语言形式化语义研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在连续离散混合时间模型中考虑Verilog的语义行为,将混合模型中的一个区间作为Verilog程序一次运行过程的指称.提出了一种扩展的ITL来描述这种混合区间,从而给出Verilog的形式语义.这种语义定义不仅考虑到了各种语言成分的最终执行结果,而且能够很好地给出语言成分执行的时序特征.

著录项

来源
《软件学报》 |2001年第10期|1573-1580|共8页
作者
李勇坚; 孙永强; 何积丰;
展开▼
作者单位

上海交通大学计算机科学与工程系;

澳门联合国大学国际软件研究所;

上海交通大学计算机科学与工程系;

澳门联合国大学国际软件研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
混合系统; Verilog; 区间时态逻辑; 离散事件调度; 交叠式并发语义;

相似文献

中文文献
外文文献
专利

1. 芯片设计方法学的基础--硬件描述语言Verilog--国家标准GB/T18349-2001<集成电路/计算机硬件描述语言Verilog>介绍 [J] . 蒋敬旗 ,刘明业 . 计算机辅助设计与图形学学报 . 2002,第011期
2. 自然语言语义形式化二维视角 [J] . 尹兰 ,王家玮 . 福建电脑 . 2012,第005期
3. 以计算语言学为视角浅谈对语义形式化的探索 [J] . 李祥华 ,黄阳 . 成都师范学院学报 . 2009,第001期
4. XQuery语言的形式化语义 [J] . 杨红丽 ,韩俊刚 ,郝克刚 . 计算机科学 . 2004,第003期
5. 语义形式化研究：形式语义学及其主要进展 [J] . 赵婷婷 . 陇东学院学报 . 2015,第004期
6. 一种PLC程序语言指称语义及函数的形式化定义方法 [C] . 肖力田 ,顾明 ,孙家广 . 2011年中国智能自动化会议 . 2011
7. Verilog形式化语义研究 [A] . 李勇坚 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号