从CPU到SoC的设计与实现 :基于高云云源软件和FPGA硬件平台

图书信息

作者	何宾,罗显志
出版社	电子工业出版社
ISBN	9787121462955
出版时间	2024-03-01
字数	19.9万
分类	电子工业出版社,科技,工业技术,航空,电子

读书简介

本书首先对Verilog HDL的高阶语法知识行了详细介绍，然后基于高云半导体和西门子的云源软件和Modelsim软件对加法器、减法器、乘法器、除法器和浮运算器的设计行了综合和仿真，最后以全球经典的无内部互锁流水级微处理器（MIPS）指令集架构（ISA）为基础，详细介绍了单周期MIPS系统的设计、多周期MIPS系统的设计，以及流水线MIPS系统的设计，并使用高云半导体的云源软件和GAO在线逻辑分析工具对设计行综合和验证，以验证设计的正确性。

目录

内容提要

前 言

第1章 Verilog HDL规范进阶

1.1 Verilog HDL用户自定义原语

1.2 Verilog HDL指定块

1.3 Verilog HDL时序检查

1.4 Verilog HDL SDF逆向注解

1.5 Verilog HDL的VCD文件

1.6 编译高云FPGA仿真库

第2章 加法器和减法器的设计和验证

2.1 加法器的设计

2.2 减法器的设计

2.3 单个加法器实现加法和减法运算

第3章 乘法器和除法器的设计和验证

3.1 乘法器的设计和验证

3.2 除法器的设计和验证

第4章 浮点运算器的设计和验证

4.1 浮点数的表示方法

4.2 调用浮点库的浮点数运算的实现和验证

第5章 Codescape的下载安装和使用指南

5.1 Codescape工具的功能

5.2 Codescape工具的下载和安装

5.3 Codescape的设计流程

第6章 单周期MIPS系统的设计和验证

6.1 MIPS实现的指令功能

6.2 单周期MIPS系统的设计

6.3 生成并添加存储器初始化文件

6.4 单周期MIPS系统的验证

6.5 单周期MIPS系统添加外设的设计

6.6 单周期MIPS系统添加外设的验证

6.7 单周期MIPS核添加协处理器的设计

6.8 单周期MIPS核添加协处理器的验证

第7章 多周期MIPS系统的设计和验证

7.1 设计背景

7.2 设计关键问题

7.3 多周期MIPS系统的设计

7.4 多周期MIPS系统的验证

第8章 流水线MIPS系统的设计和验证

8.1 流水线概述

8.2 流水线MIPS系统的设计

8.3 流水线MIPS系统的验证

8.4 流水线MIPS系统添加协处理器的设计

8.5 流水线MIPS系统添加协处理器的验证

8.6 AHB-Lite总线架构和时序

8.7 流水线MIPS系统添加外设的设计

8.8 流水线MIPS系统添加外设的验证