System C入门(第2版)

资料百科
《Sy汉沉酸便受stem C入门(第2版)》,[美]伯亚构例度局线J.BHASKER著,夏宇闻、甘伟译,北京航空月训县命儿混备航天大学出版社2008年9月出版。本书所有例子都经过SystemC2.0.1的验证。本书可作为想要了解和学习SystemC的设计工程师和系统工程师的参考书,也可用做大学讲授体系结构、数字设计或系统设计课程的教材。
  • 中文名 System C入门(第2版)
  • 定价 54
  • 出版社 北京航空航天大学出版社
  • 作者 J.BHASKER
  • 出版时间 2008年9月

内容简介

  SystemC既是系统级语言,也是硬件描述语言。本书介绍的是SystemC2.0宁垂百板河句艺蒸副操标准,主要介绍SystemC有关硬件建模方面的语法特性,换程领抓作言之,是介绍SystemC来自的RTL可综合子集。其主要内容包括:SystemC数据类型、组合逻辑建模、同步逻析部条乎辑建模、三态驱动器建模、常用的设计函数模型、测试平台的编写及系统级建模的功能等。随书附带1张光盘,内含本书所有例子的代码。

System C入门(第2版)

  本书所有例子都经过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

陈南找图应敌  基元生成190

  场景生成191

  多流生成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

标签:
声明:此文信息来源于网络,登载此文只为提供信息参考,并不用于任何商业目的。如有侵权,请及时联系我们:yongganaa@126.com

评论留言

我要留言

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

声明:此文信息来源于网络,登载此文只为提供信息参考,并不用于任何商业目的。如有侵权,请及时联系我们:yongganaa@126.com