书籍简介:

本书以飞思卡尔56F800E内核的DSP为主，介绍了DSP与单片机混合控制芯片的体系架构和基本工作原理。并在此基础上详细介绍了基于DSP芯片的电机控制系统的硬件设计和软件设计的基本方法、关键步骤和实现手段。主要内容包括：56F800E系列DSP内核与片内外设的结构和基本工作原理；56F800E系列DSP使用与系统开发方法、软硬件工具；异步电机、无刷直流电机、永磁同步电机、开关磁阻电机的控制原理以及DSP控制系统的设计。

作者介绍:

Janick Bergeron是为Synopsys公司工作的科学家，一本最畅销的书Writing Testbench-es：Functional Verification of HDL Models的作者，他也是验证规范仲裁主持人。他曾经在滑铁卢（Waterloo）大学获得电子工程硕士学位，在魁北克西谷提密（du Quebeca Chicoutime）大学获得工

书籍目录:

专家推荐译者序序言前言本书是如何组织的如何阅读本书附加资料来源感谢第1章导论验证生产率提高生产率验证组件基于接口的设计针对验证的设计使用断言的好处

专家推荐译者序序言前言本书是如何组织的如何阅读本书附加资料来源感谢第1章导论验证生产率提高生产率验证组件基于接口的设计针对验证的设计使用断言的好处方法学的实现方法学的采纳指导原则基本的编码指导原则术语的定义第2章验证计划计划过程功能验证的需求验证环境的需求验证计划的实现方案响应检查嵌入式监视器断言精确性记分板参考模型离线检查总结第3章断言断言的指定断言语言基本知识 DUT(被测设计)内部信号上的断言外部接口上的断言断言编码的指导原则覆盖率属性基于断言的可重用检查器简单检查器基于断言的验证IP 基于断言的IP结构文档与发行内容断言的鉴定总结第4章测试平台的基本结构测试平台的架构信号层指令层功能层场景层测试层仿真控制消息服务数据和事务类属性/据成员方法第5章激励与响应第6章针对覆盖率的验证第7章用于形式化验证的断言第8章系统级验证第9章处理器集成验证附录A VMM标准库技术说明书附录B VMM检查器库附录C XVC标准库技术说明书附录D 软件验证框架索引作者介绍

内容摘要:

本书借助许多用SystemVerilog编写的例子，介绍和说明一套完整的验证方法学。它涵盖了所有最新的验证技术，其中包括：验证计划制定、 TestBench架构、受约束随机激励产生、以覆盖率为主导(coverage-driven) 的验证、基于断言(assertion-based)的验证、形式化分析，以及基于一个开放、完善的方法学上的系统级验证。此外，本书也包括标准程序库、VMM 和VMM检查器，从而可帮助缩短验证开发的时间。本书可作为电子工程类、自动控制类、计算机类的大学本科高年级学生及研究生教学用书，亦可供其他工程人员自学与参考。

书籍规格:

书籍详细信息
书名	SystemVerilog验证方法学站内查询相似图书
	9787811240795 如需购买下载《SystemVerilog验证方法学》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	北京航空航天大学出版社
版次	1版	印次	1
定价(元)	58.0	语种	简体中文
尺寸	26	装帧	平装
页数	484	印数

全网搜索试读资源

书籍信息归属:

SystemVerilog验证方法学是北京航空航天大学出版社于2007.05出版的中图分类号为 TN402 的主题关于集成电路－芯片－设计的书籍。