基本信息·出版社:北京航空航天大学出版社 ·页码:239 页 ·出版日期:2008年09月 ·ISBN:7811242494/9787811242492 ·条形码:9787811242492 ·版本: ...
商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
SystemC入门(第2版)(附光盘1张) |
|
|
|
SystemC入门(第2版)(附光盘1张) |
|
基本信息·出版社:北京航空航天大学出版社
·页码:239 页
·出版日期:2008年09月
·ISBN:7811242494/9787811242492
·条形码:9787811242492
·版本:第2版
·装帧:平装
·开本:16
·正文语种:中文
·丛书名:国外数字系统设计经典教材系列
·外文书名:A SystemC Primer,Second Edition
内容简介 SystemC既是系统级语言,也是硬件描述语言。《SystemC入门》介绍的是SystemC2.0标准,主要介绍SystemC有关硬件建模方面的语法特性,换言之,是介绍SystemC的RTI.可综合子集。其主要内存包括:SystemC数据类型、组合逻辑建模,同步逻辑建模、三态驱动器建模、常用的设计函数模型,测试平台的编写及系统级建模的功能等。随书附带l张光盘,内含《SystemC入门》所有例子的代码。《SystemC入门》所有例子都经SystemC2.0.1的验证。《SystemC入门》可作为想要了解和学习SystemC的设计工程师和系统工程师的参考书,也可用做大学讲授体系结构、数字设计或系统设计课程的教材。
目录 第1章绪论
1.1什么是SystemC?
1.2为什么使用SystemC?
1.3设计方法学
1.4SystemC的功能
1.5SystemC RTL
1.6本书的组织
1.7练习题
第2章起步
2.1基础知识
2.2再举一个例子
2.3描述的层次
2.4功能的验证
2.5练习题
第3章数据类型
3.1值保持器
3.2类型的总结
3.3位类型
3.4任意位宽类型
3.5逻辑类型
3.6任意位宽的逻辑类型
3.7有符号的整数类型
3.8无符号的整数类型
3.9任意精度有符号的整数类型
3.10任意精度无符号的整数类型
3.11判断类型
3.12用户定义的数据类型
3.13推荐的数据类型
3.14练习题
第4章组合逻辑建模
4.1 SC_MODULE
4.2一个例子
4.3端口和信号的读/写
4.4逻辑操作符
4.5算术操作符
4.5.1无符号的算术运算
4.5.2有符号的算术运算
4.6关系操作符
4.7向量和范围
4.7.1常数索引
4.7.2非常数索引
4.8条件语句
4.9开关语句
4.10循环
4.11方法
4.12结构
4.13多进程和△延迟
4.14小结
4.15练习题
第5章同步逻辑建模
5.1触发器建模
5.2多进程
5.3带异步置位和清零端的触发器
5.4带同步置位和清零端的触发器
5.5多时钟和多相位时钟
5.6锁存器建模
5.6.1条件语句
5.6.2开关语句
5.6.3避免生成锁存器
5.7小结
5.8练习题
第6章各色各样的逻辑
6.1三态驱动器
6.2多个驱动源
6.3无关项的处理
6.4层次
6.5模块的参数化
6.6变量和信号的赋值
6.7练习题
第7章建模示例
7.1具有三态输出的参数化寄存器
7.2存储器模型
7.3有限状态机的建模
7.4通用移位寄存器
7.5计数器
7.6Johnson译码器
7.7阶乘的模型
7.8只读存储器(ROM)的建模
7.9练习题
第8章测试平台的编写
8.1编写测试平台
8.2仿真控制
8.3波形
8.4监视行为
8.5更多示例
8.6在sc_main内的语句顺序
8.7跟踪记录集合类型
8.8跟踪记录枚举类型
8.9练习题
第9章系统级建模
9.1 SC_THREAD进程
9.2动态敏感性
9.3构造函数的参散
9.4更多示例
9.5端口、接口和通道
9.6高级话题
9.7仿真算法
9.8练习题
附录A运行环境
A.1软件的安装
A.2设计的编译
A.3设计的仿真
A.4设计的调试
附录B SystemC RTL: SystemC的可综合子集
B.1 SystemC的特性
B.2 C++的特性
参考文献
索引
……
序言 J.Bhasker在数字集成电路设计界具有很好的声誉。包括美国和中国在内的各国数字电路和系统设计者,无论是新手,还是从VHDL转到Verilog的老手,其中很多人都阅读过J.Bhasker编写的A Verilog HDL Primer。J.Bhasker的教材以简明扼要、清晰易懂著名。A SystemC Primer一书是介绍SystemC基础知识的教科书,符合他编书的一贯风格,特别适合作为入门教材。
SystemC对许多中国读者来说,还是一种新的硬件描述语言。近年来,由于基于平台设计方法学的推广,系统验证已成为设计工作中的瓶颈。而SystemC由于是一种基于C++的语言,具有学习方便的优点,更重要的是其高速的仿真性能已得到多家设计公司的认可,因此被广泛用做SoC系统验证语言。由OSCI组织的推荐.2004年SystemC 2.0被正式批准为IEEE标准,与SystemVerilog并列成为最主要的系统验证语言之一。
本书是根据J.Bhasker编写的A SystemC Primer第2版翻译的。2004年起原书在数字集成电路验证界逐渐走红并非偶然。在世界各地的大学中,教师和学生们所熟悉的主要编程语言和环境是C++。而SystemC是C++的一个子集合,不存在编程环境和学习基础的问题,所以比SystemVerilog更便于推广和应用。
本书的翻译工作安排如下:第2版序言、序言、前言、第1~6章及附录A、B和索引等由夏字闻负责,第7~9章由神州龙芯IC设计公司的甘伟工程师负责。全书最后的审校与定稿由夏宇闻负责。
在神州龙芯IC设计公司工作的工程师和实习研究生樊荣、洪雷、周鹏飞、刘家正、陈岩、李鹏、宋成伟、邢志成、管丽、徐伟俊、杨鑫、苏宇、张云帆、邢小地、李鹏、李琪、陈岩等认真阅读了最后完成的翻译稿,并提出了许多改进意见,使翻译工作的质量有了显著提高。在翻译稿最后完成之际,谨向他们表示诚挚的感谢。
文摘 本章描述了什么是SystemC,为什么要用SystemC,并且叙述了使用SystemC的方法学。本章还提供了从高层次角度观察到的SystemC能力。
1.1 什么是SystemC?
SystemC是基于C++的编程语言。C++是一种应用广泛的面向对象的建模语言。由于添加了硬件建模功能,SystemC扩展了C++的能力。SystemC在C++的基础上增加了一些重要概念,如并发(多个处理器同时执行)、定时事件和数据类型等概念。SystemC还增加了一个类库,扩展了C++的能力。该类库并不是C++的修改,而是一个由使用合法C++代码编写的函数、数据类型和其他语言结构函数所组成的库。
该类库提供了功能强大的新机制,这种机制可以为具有硬件时序、并发和响应行为的系统结构建模。该机制只不过是在C++编程语言的类构造的高级层面上对该语言进行扩展而已。
该SystemC库提供许多构造函数,描述了硬件工程师们经常用到的概念,诸如信号、模块和端口等。此外,该库还提供了像进程以及等待时钟负跳变沿到来等常见的能力。
SystemC并没有在C++编程语言上增加新的语法。它只是定义了一个新的类库,因此仍旧是C++。借助于类库中的这些类,用户便可以定义模块、进程以及通过端口的通信和信号。这些信号可以处理范围宽广的数据类型,从位、位向量和标准的C++类型一直到用户定义的数据类型,诸如枚举类型和结构类型。