基于事件的Verilog结构化操作语义
摘要 | 第1-5页 |
ABSTRACT | 第5-6页 |
目录 | 第6-8页 |
1 绪论 | 第8-14页 |
·集成电路设计的发展 | 第8-9页 |
·硬件描述语言的发展 | 第9-12页 |
·VHDL | 第10-11页 |
·Verilog | 第11页 |
·System C | 第11-12页 |
·System Verilog | 第12页 |
·本文主要工作 | 第12-13页 |
·本文组织结构 | 第13-14页 |
2 硬件描述语言VERILOG | 第14-25页 |
·VERILOG语言概述 | 第14-15页 |
·VERILOG语言的基本语法 | 第15-25页 |
·Verilog模块的基本概念 | 第15-17页 |
·Verilog的基本语法 | 第17-25页 |
·模块结构 | 第17-19页 |
·数据类型及运算符 | 第19-20页 |
·赋值语句和块语句 | 第20-21页 |
·条件语句和循环语句 | 第21-22页 |
·结构语句和系统任务 | 第22-24页 |
·编译预处理 | 第24-25页 |
3 形式语义学 | 第25-39页 |
·形式语义学的起源 | 第25-27页 |
·形式语义学的分类 | 第25-27页 |
·公理语义 | 第27-29页 |
·Hoare逻辑 | 第27-29页 |
·指称语义 | 第29-31页 |
·指称语义的结构 | 第29-31页 |
·代数语义 | 第31-32页 |
·操作语义 | 第32-39页 |
·Landin的自动机 | 第33-34页 |
·传统操作语义研究的顶峰VDL | 第34-35页 |
·Hursley方法 | 第35页 |
·结构化操作语义 | 第35-39页 |
·结构化操作语义的定义 | 第36-37页 |
·SL的结构化操作语义 | 第37-39页 |
4 事件结构 | 第39-46页 |
·事件结构简介 | 第39-40页 |
·扩展的集束事件结构 | 第40-46页 |
·基本的事件结构 | 第40-44页 |
·扩展的集束事件结构 | 第44-46页 |
5 基于事件的VERILOG结构化操作语义 | 第46-52页 |
·简介 | 第46页 |
·进程代数 | 第46-48页 |
·VERILOG的子集V* | 第48-52页 |
·基于事件的Verilog结构化操作语义 | 第50-52页 |
6 总结与展望 | 第52-53页 |
参考文献 | 第53-56页 |
致谢 | 第56页 |