简谈数字电路IP软核行为级设计策略

致谢5-6

中文摘要6-7

ABSTRACT7-11

1 引言11-15

1.1 探讨的背景11-12

1.2 本论文探讨的作用12

1.3 国内国外探讨近况12

1.4 本论文的主要贡献12-13

1.5 论文的组织结构13-15

2 数字电路IP结构描述特点15-31

2.1 IP核基本结构与设计思想15-22

2.1.1 IP核的分类16-17

2.1.2 IP核的特点17-18

2.1.3 IP核复用技术18-19

2.1.4 IP核的设计思想19-22

2.2 IP软核结构描述策略浅析22-25

2.2.1 设计规范描述22-23

2.2.2 结构描述23

2.2.3 模块描述23-24

2.2.4 验证描述24-25

2.3 IP软核结构验证策略浅析25-31

2.3.1 基于模块的验证26-27

2.3.2 基于任务流的验证27-29

2.3.3 基于覆盖率的验证29-30

2.3.4 基于事务的验证30-31

3 数字电路IP行为级约束浅析31-47

3.1 IP软核设计的约束浅析31-36

3.1.1 IP软核设计语言31-33

3.1.2 IP软核的设计历程33-34

3.1.3 IP软核设计中的时序约束34-35

3.1.4 IP软核的交付与生产35-36

3.2 行为级描述约束思想36-43

3.2.1 行为级描述的基本原理37

3.2.2 行为级描述的数据类型37-38

3.2.3 基于布尔方程的建模方式38-39

3.2.4 基于电路原理图的建模策略39

3.2.5 基于用户定义原语的建模方式39-40

3.2.6 基于数据流的建模方式40-41

3.2.7 基于行为算法的建模方式41-43

3.2.8 行为级综合不足43

3.3 测试向量的设计策略43-47

3.3.1 IP软核测试的基本步骤44-45

3.3.2 测试平台的搭建45-46

3.3.3 测试向量的生成46-47

4 数字电路IP行为级建模策略47-57

4.1 历程结构47-49

4.1.1 always结构47-48

4.1.2 initial结构48

4.1.3 历程结构实例浅析48-49

4.2 历程制约49-52

4.2.1 历程语句49-50

4.2.2 时序制约50-51

4.2.3 历程赋值51-52

4.3 简单语句52-54

4.3.1 条件结构52-53

4.3.2 循环结构53-54

4.4 连续赋值54-55

4.5 测试平台的编写55

4.6 总结55-57

5 串行通信接口IP软核设计57-67

5.1 串行通信接口基本原理57-58

5.2 UART的软核结构58-59

5.3 UART测试向量的设计策略59-60

5.4 UART行为级设计与验证60-67

5.4.1 UART发射机IP软核设计60-62

5.4.2 UART接收机IP软核设计62-65

5.4.3 UART波特率发生器的设计65-67

6 32 bit寄存器文件IP软核设计67-75

6.1 寄存器文件的基本原理67

6.2 寄存器文件的软核结构67-69

6.3 寄存器文件测试向量设计策略69

6.4 寄存器文件行为级设计与验证69-75

6.4.1 寄存器文件IP软核设计69-72

6.4.2 数据选择器IP软核设计72-75

7 多功能函数发生器IP软核设计75-79

7.1 多功能函数发生器原理75

7.2 多功能函数发生器功能与结构75-76

7.2.1 多功能函数发生器功能75-76

7.2.2 多功能函数发生器结构76

7.3 测试向量的设计策略76-77

7.4 多功能函数发生器IP软核设计与验证77-79

8 IP软核设计策略比较79-81

8.1 行为级设计策略的比较79

8.2 行为级验证策略的比较79-81

9 结论81-83