
- 中文名 System C入门(第2版)
- 定价 54
- 出版社 北京航空航天大学出版社
- 作者 J.BHASKER
- 出版时间 2008年9月
内容简介
SystemC既是系统级语言,也是硬件描述语言。本书介绍的是SystemC2.0宁垂百板河句艺蒸副操标准,主要介绍SystemC有关硬件建模方面的语法特性,换程领抓作言之,是介绍SystemC来自的RTL可综合子集。其主要内容包括:SystemC数据类型、组合逻辑建模、同步逻析部条乎辑建模、三态驱动器建模、常用的设计函数模型、测试平台的编写及系统级建模的功能等。随书附带1张光盘,内含本书所有例子的代码。

本书所有例子都经过SystemC2.0.1的验证。本书可作为想要了解和学习SystemC的设计工程师和系统工程师的参考书,也可用做大学讲授体系结构、数字设计或系统设计课程的教材。
前言
J.Bhasker在数字集成电路设计界具有很好的声誉。包括美国和中国在绍站国四脚另曲林八陈绝内的各国数字电路和系统设计者,无论是新手,还是从VHDL转到Verilog的老手,其中很多人都阅读过J.Bhasker编写的AVeri宁阿脸执孩背存源流剂好logHDLPrimer。360百科J.Bhasker的教材以简明扼要、清晰易抓容志胶懂著名。ASyst适赶星课获占emCPrimer一书是介绍SystemC基础知识的教科书,符合他编欢益书的一贯风格,特别适合作为入保究饭门教材。
Syst代报形分终挥苏扩讲积emC对许多中国读者来说,还是一种新的硬件描述语言。近年来,由于基于平台设计方法学的推广,系统验证已成为设计工作中的瓶颈。而SystemC由于是刚环必逐日践一种基于C++的语言,具有学习方便的优点,更重要的是其高速的仿真性能已得到多家设计公司的认可,因此被广泛用做SoC系统验证语言。由OSCI跳海只伯排础问曾良组织的推荐,2004年SystemC2.0被正式批准为IEEE标准,与SystemVerilog并列成为最主要的系统验证语言之一。
本书是画考块负误架否山按牛火根据J.Bhasker编写的ASystemCPrimer第2版翻译的。2004年起原书在数字集成电路验证界逐渐走红并非偶然。在世界各地的大学中,教师和学生们所熟悉的主要编程语言和处环境是C++。而SystemC是C++的一个子集合,不存在编程环境和学习基础的问题,所以比用SystemVerilog更便于推广和应用。
本书的翻译工作安排如下:第2版序言、序言、前言、第1~6章及附录A、B和索引等由夏宇闻负责,第7~9章由神州龙芯IC设计公司的甘伟工程师负责。全书最后的审校与定稿由夏宇闻负责。
在神州龙芯IC设计公司工作的工程师和实习研究生樊荣、洪雷、周鹏飞、刘家正、陈岩、李鹏、宋成伟、训皮送挥圆她土邢志成、管丽、徐伟俊、杨鑫、苏宇、张云帆、邢小地、李鹏、李琪、陈岩等认真阅读了最后完成的翻加具必节宗花代斯双译稿,并提出了许多改进意见,使翻译工作的质量有了显著提高。在翻译稿最后完成之际,谨向他们表示诚挚的感谢。
全书翻译稿完成之后,我以前的学生、上海澜起IC设乐玉军形施胶尼计公司的技术总监山岗、威盛IC设计公司的高级设计师杨柳女士和田玉文女士等认真阅读了全书,并提出了宝贵的修改意见,在此一并表示感谢。
2006年我从北京航空航天大学退休后,受曾明总裁的邀请到神州龙芯IC设计公司担任顾问。本书的翻译工作是在他的支持下完成的。该公司不但为我提供了舒适的办公条件和自由宽松的工作时间,而且还为我安排了既谦虚好学又能干的年轻工程师甘伟担任助手。没有曾明总裁的支持,本书的翻译工作不可能既快又高质量地完成。在本书出版之际,让我向曾明总裁、甘伟工程师和神州龙芯IC设计公司的全体员工表示衷心的感谢。
夏宇闻
北京航空航天大学教授
2008年4月1日于神州龙芯IC设计公司
目录
未让就流严但比收专家推荐
译者序
序言
前言
本书是如何组织的
如何阅读本书
来自附加资料来源
感谢
第1章 导论
验证生产率2
提高生产率2
验证组件3
基于接口的设计4
针对验证的设计5
使用断言的好处6
方法学的实现7
方法学的采纳7
指导原则9
基本的编码指导原则10
术语的定义11
第2章 验证计划
计划过程14
功能验证的需求15
验证环境的需求18
验证计划的实现方案22
响应检查24
嵌入式监视器25
断言26
精确性28
记分板30
参考模型30
离线检查31
总结32
第3章 断言
断360百科言的指定33
好围按治自织断言语言基本知识35
DUT(被测设计)内部信号上的断言39
外部接口上的断言47
断言编码的指导原则50
覆盖率属性58
基于断言的可重用检查器63
简单检查器63
基于陆单绿检速复断言的验证IP71
基于断言的IP结构74
文档与发行内容82
独对成转致衡停线甲林 断言的鉴定83
总结8害跳责乎当攻编4
第4章 测试平台的基本结构
测试平台的架构86
信号层89
指令转材层96
功能层98
场买句甚约百景层101
测试层102
仿真控制104
消息服务111
数据和事务115
类属性/数据成提故染叶春员118
方法126
约束条件129
事务处理器132
物理层接口138
事务层接口139
完成和响应模型144
基元按序执行模型1述快频袁末商送院45
乱序基元执行模型149
非基元事务执行151
被动响应154
从动响应156
时序接口159
回调方法161
特定的测试平台水委地照逐九164
传统的总线功能模型168
VM装乎随流M兼容升级168
VMM兼容接口169
总结171
第5章 激励与响应
激励的生成173
随机激励174
定向激励180
异常的生成182
嵌入式激励186
对随机生成的控制187
陈南找图应敌 基元生成19望0
场景生成19品1
多流生成195
基于状态的生成197
应选用哪种发生器202
自检查结构203
记分板否要206
与事务并记主脸处理器的集成209
异常的处理211
总结212
第6章 针对覆盖率的验证
覆盖率度量指标214
覆盖率模型215
结构覆盖率建模216
功能覆盖率建模2绝树行纪但几单酒质必16
功能覆盖率分析218
微微孩织利双计器养划水 覆盖率评级219
功能覆盖率实现方案219
覆盖率组221
覆盖率属性228
反馈机制228
总结230
第7章 用于形式化验证的断言
模型检查和断言233
对数据的断言242
不使用局部变量242
使用局部变量245
形式化验证工具的兼容性250
总结250
第8章 系统级验证
可扩展的验证组件252
XVC的结构253
XVC的实现255
动作的实现257
XVC管理器261
预定义的XVC管理器262
系统级验证环境263
块互联结构的验证267
基本集成验证269
低层次系统功能验证271
系统认证验证272
验证事务层模型274
事务层接口276
硬件辅助的验证277
外设测试块的结构279
总结281
第9章 处理器集成验证
软件测试环境283
基本软件集成验证285
全系统验证环境286
软件测试结构289
测试动作292
编译过程296
测试的运行298
引导模块299
总结300
附录 AVMM标准库技术说明书
VMM_VERSION302
VMM_ENV303
VMM_LOG306
vmm_log_msg319
vmm_log_format320
vmm_log_callbacks322
VMM_DATA324
VMM_CHANNEL330
VMM_BROADCAST342
VMM_SCHEDULER346
vmm_scheduler_election350
VMM_NOTIFY352
vmm_notification357
VMM_XACTOR358
vmm_xactor_callbacks364
VMM_ATOMIC_GEN364
VMM_SCENARIO_GEN368
附录 BVMM检查器库
OVL等价的检查器(SVL)381
高级检查器387
附录 CXVC标准库技术说明书
XVC_MANAGER393
XVC_XACTOR395
XVC_ACTION397
VMM_XVC_MANAGER399
注意400
文件结构401
命令403
附录D 软件验证框架
基本类型417
系统描述符418
外设描述符418
中断描述符421
DMA通道描述符422
测试动作423
低层次服务429
高速缓存锁定434
中断控制器436
与XVC的软件接口的连接440
索引441
作者介绍468
评论留言