| 致谢 | 第1-3页 |
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 引言 | 第8-15页 |
| §1.1 硬件描述语言及其发展 | 第8-12页 |
| §1.2 VHDL的发展 | 第12页 |
| §1.3 VHDL的研究和应用情况 | 第12页 |
| §1.4 VHDL模拟器的发展情况 | 第12-13页 |
| §1.5 本论文工作情况介绍 | 第13-15页 |
| 第二章 VHDL语言介绍 | 第15-24页 |
| §2.1 设计实体(DESIGN ENTITY)和设计库 | 第15-16页 |
| §2.2 行为描述和结构描述 | 第16-20页 |
| §2.2.1 行为描述 | 第17页 |
| §2.2.2 结构描述 | 第17-18页 |
| §2.2.3 结构描述的展开 | 第18-20页 |
| §2.3 VHDL的作用域和可见性规则 | 第20-22页 |
| §2.3.1 声明区(Declarative Region) | 第20-21页 |
| §2.3.2 声明的作用域(Scope of Declarations) | 第21-22页 |
| §2.3.3 可见性(Visibility) | 第22页 |
| §2.3.4 use子句(use clause) | 第22页 |
| §2.4 算符和表达式 | 第22-24页 |
| 第三章 VHDL行为描述的语义 | 第24-33页 |
| §3.1 有色PETRI网(CPN) | 第24-25页 |
| §3.2 VHDL运行模型 | 第25-26页 |
| §3.3 一些类型和函数 | 第26-27页 |
| §3.4 信号赋值 | 第27-29页 |
| §3.5 WAIT语句的语义 | 第29-30页 |
| §3.6 核心进程KP | 第30-33页 |
| 第四章 VHDL行为语义的实现 | 第33-43页 |
| §4.1 LWP库 | 第33-34页 |
| §4.2 VHDL进程的调度策略 | 第34-37页 |
| §4.3 负责与用户交互的进程 | 第37-38页 |
| §4.4 信号赋值的实现 | 第38-40页 |
| §4.4.1 驱动源(drivers) | 第38-39页 |
| §4.4.2 延迟模型 | 第39页 |
| §4.4.3 预期输出波形的更新 | 第39页 |
| §4.4.4 信号赋值语句的实现 | 第39-40页 |
| §4.5 WAIT语句的实现 | 第40-43页 |
| §4.5.1 日程表Calendar | 第40-41页 |
| §4.5.2 传感器Sensor | 第41-42页 |
| §4.5.3 wait语句的具体实现 | 第42-43页 |
| 第五章 VHDL的类型体系及其实现 | 第43-48页 |
| §5.1 VHDL的类型体系 | 第43-45页 |
| §5.1.1 类型的等价 | 第44页 |
| §5.1.2 子类型 | 第44-45页 |
| §5.2 不同类型信号的一致处理 | 第45-48页 |
| §5.2.1 C++的类模板(class template) | 第45-46页 |
| §5.2.2 几个重要的类模板 | 第46-48页 |
| 第六章 VHDL的编译器 | 第48-58页 |
| §6.1 VHDL编译器的整体结构 | 第48-49页 |
| §6.2 扫描器和分析器 | 第49页 |
| §6.3 VHDL的重载及其辨析 | 第49-58页 |
| §6.3.1 VHDL的重载 | 第49-51页 |
| §6.3.2 VHDL重载的辨析方法 | 第51-58页 |
| §6.3.2.1 一个例子 | 第51页 |
| §6.3.2.2 重载辨析方法的非形式说明 | 第51-53页 |
| §6.3.2.3 重载辨析算法的形式基础 | 第53-55页 |
| §6.3.2.4 函数Gen_Calls的定义 | 第55-58页 |
| 第七章 小结 | 第58-59页 |
| 参考文献 | 第59-63页 |
| 作者简历 | 第63页 |
