登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書

『簡體書』硬件设计验证——基于模拟与形式的方法

書城自編碼： 2049036
分類：簡體書→大陸圖書→計算機/網絡→硬件 外部设备 维修
作者： [美]William
國際書號(ISBN)： 9787121195839
出版社： 电子工业出版社
出版日期： 2013-03-01
版次： 1 印次： 1
頁數/字數： 377/627000
書度/開本： 16开 釘裝： 平装

售價：HK$ 156.4

我要買 件

 

** 我創建的書架 **
未登入.

新書推薦：
古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究
《 古今“书画同源”论辨——中国书法与中国绘画的关系问题兼中国画笔墨研究 》
售價：HK$ 132.2
《日本文学史序说》讲演录
《 《日本文学史序说》讲演录 》
售價：HK$ 72.8
无尽的海洋：美国海事探险与大众文化（1815—1860）
《 无尽的海洋：美国海事探险与大众文化（1815—1860） 》
售價：HK$ 99.7
治盗之道：清代盗律的古今之辨
《 治盗之道：清代盗律的古今之辨 》
售價：HK$ 122.1
甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册）
《 甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册） 》
售價：HK$ 210.6
甲骨文丛书·中华早期帝国：秦汉史的重估
《 甲骨文丛书·中华早期帝国：秦汉史的重估 》
售價：HK$ 300.2
欲望与家庭小说
《 欲望与家庭小说 》
售價：HK$ 98.6
惜华年（全两册）
《 惜华年（全两册） 》
售價：HK$ 70.3

 
建議一齊購買：

+

HK$ 112.1
《信号完整性与PCB设计》
內容簡介：
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期、形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨论一般的测试原则又展示具体的实践方法，包含作者多年实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。
關於作者：
William K.Lam
是Sun公司实验室的资深经理兼高级工程主管，曾获得2002年度Sun公司最高技术成就奖——总裁创新奖。他拥有加州大学伯克利分校电气与计算机工程系博士学位，曾获得1994年优秀博士论文D.J.Sakrison奖。他发表过大量论文及两部专著，并拥有多项美国专利。
目錄：
第1章 设计验证的缘由
1.1 什么是设计验证
1.2 验证的基本原理
1.3 验证方法学
1.4 基于模拟的验证与形式验证的比较
1.5 形式验证的局限性
1.6 Verilog语言调度和执行语义简介
1.7 本章小结
第2章 编写验证的代码
2.1 功能正确性
2.2 时序正确性
2.3 模拟的性能
2.4 可移植性与可维护性
2.5 可综合性、可调试性与通用工具兼容性
2.6 基于周期的模拟
2.7 硬件模拟／仿真
2.8 2状态与4状态模拟
2.9 linter程序的设计与使用
2.10 本章小结
2.11 习题
第3章 模拟器体系结构与操作
3.1 编译器
3.2 模拟器
3.3 模拟器的分类与比较
3.4 模拟器的操作与应用
3.5 增量式编译
3.6 模拟器控制台
3.7 本章小结
3.8 习题
第4章 测试基准组成与设计
4.1 测试基准的分类与测试环境
4.2 初始化机制
4.3 时钟生成与同步
4.4 激励生成
4.5 响应评估
4.6 验证实用程序
4.7 测试基准至系统设计接口
4.8 常见的实际技术与方法
4.9 本章小结
4.10 习题
第5章 测试构想、断言与覆盖
5.1 分层验证
5.2 测试规划
5.3 伪随机测试生成程序
5.4 断言
5.5 SystemVerilog断言
5.6 验证覆盖
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.6 本章小结
7.7 习题
第8章 判定图、等价检验与符号模拟
8.1 二叉判定图
8.2 判定图的变异
8.3 基于判定图的等价检验
8.4 布尔可满足性
8.5 符号模拟
8.6 本章小结
8.7 习题
第9章 模型检验与符号计算
9.1 性质、规范与逻辑
9.2 性质检验
9.3 符号计算与模型检验
9.4 符号CTL模型检验
9.5 计算改进
9.6 模型检验工具的使用
9.7 本章小结
9.8 习题
参考文献
缩写词汇表

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　大陸用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2024 （香港）大書城有限公司　 All Rights Reserved.