首页--工业技术论文--无线电电子学、电信技术论文--基本电子电路论文--一般性问题论文--设计、分析、计算论文

基于事件的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页

论文共56页,点击 下载论文
上一篇:P型SiC欧姆接触高温可靠性研究
下一篇:无引用计数域BDD包的实现及其优化