SystemVerilog验证:测试平台编写指南(原书第三版)
1星价
¥68.6
(7.0折)
2星价¥68.6
定价¥98.0
暂无评论
图文详情
- ISBN:9787030727466
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:其他
- 页数:432
- 出版时间:2022-11-01
- 条形码:9787030727466 ; 978-7-03-072746-6
本书特色
适读人群 :本书可供工程技术人员,电子科学与技术、微电子、电子信息工程、通信工程专业师生参考阅读。对SV语法理解、CDV验证思想建立,以及验证平台构架理解大有裨益。
内容简介
本书讲解了SystemVerilogTestbench强大的验证功能,清楚地解释了面向对象编程、约束随机测试和功能覆盖的概念。本书涵盖SystemVerilog所有验证结构,如类、程序块、随机化和功能覆盖等,并通过超过500个代码示例和详细解释,说明了学习多态性、回调和工厂模式等概念的内部工作原理。此外,本书提供了数百条指导原则,为全职验证工程师和学习这一技能的读者提供帮助,让读者可以更高效地使用这种语言,并解释了常见的编码错误,以便读者可以避免这些陷阱。
目录
序一
序二
前言
绪论
0.1 研究背景
0.2 主要研究内容
0.3 章节安排及分工
0.4 主要科技创新
第1章 新三峡库区地质环境与地质灾害
1.1 概述
1.2 新三峡库区地质环境变迁对比研究
1.3 175m水位试验性蓄水与地质灾害
1.4 水位升降速率对地质灾害的影响分析
1.5 水库水位调度与地质灾害发生规律
1.6 小结
第2章 三峡库区地质灾害监测预警研究
2.1 概述
2.2 三峡库区地质灾害监测预警系统建设
2.3 库区地质灾害监测技术
2.4 消落带岩体劣化监测技术
2.5 地质灾害风险预警理论与实践概论
2.6 小结
第3章 蓄水运行顺层基岩古滑坡复活失稳机理
3.1 概述
3.2 藕塘滑坡工程地质与易滑结构
3.3 藕塘滑坡成因及演化模式研究
3.4 藕塘滑坡复活变形及特征研究
3.5 库水位与降雨耦合作用下藕塘滑坡变形机理研究
3.6 藕塘滑坡复活滑动模式与防治措施研究
3.7 小结
第4章 蓄水运行堆积层滑坡复活失稳机理
4.1 概述
4.2 三峡库区典型堆积层滑坡工程地质及变形特征
4.3 典型堆积层滑坡物理力学性质研究
4.4 蓄水运行下凉水井滑坡渗流稳定分析
4.5 三峡库区堆积层滑坡复活失稳风险评价模型
4.6 堆积层滑坡防治工程
4.7 小结
第5章 三峡库区水力型滑坡防治工程研究
5.1 概述
5.2 巫山塔坪滑坡地质背景
5.3 蓄水运行期巫山塔坪滑坡复活滑动特征
5.4 巫山塔坪滑坡水文地质结构与渗流特征
5.5 基于175m试验性蓄水运行的巫山塔坪滑坡稳定性分析
5.6 库水动力作用下塔坪滑坡防治设计模式研究
5.7 库水动力型滑坡防治工程施工技术探讨
5.8 讨论与建议
5.9 小结
第6章 水库消落带岸坡劣化特征与机理
6.1 概述
6.2 三峡库区岸坡劣化带发育分布特征
6.3 红层碎屑岩岸坡典型劣化类型与机理
6.4 碳酸盐逆向碎裂岩层岸坡典型劣化类型与机理
6.5 碳酸盐顺向岩层岸坡典型劣化类型与机理
6.6 碳酸盐岩平缓厚层岸坡典型劣化类型与机理
6.7 岩溶角砾岩不稳定岸坡典型劣化类型与机理
6.8 小结
第7章 水库消落带岸坡劣化带三维模型构建
7.1 概述
7.2 消落带三维岩体裂隙网络调查
7.3 消落带岩体裂隙网络数学模型与可视化
7.4 典型消落带岩体三维裂隙模型构建
7.5 典型岩体劣化空间分布分析
7.6 小结
第8章 水库消落带岸坡劣化参数试验测试研究
8.1 概述
8.2 外研究现状
8.3 消落带岩石多工况力学试验研究
8.4 库水位波动下岩石的劣化试验分析
8.5 基于原位试验的岸坡岩体劣化过程地质强度指标研究
8.6 小结
第9章 水库消落带岸坡劣化力学响应与长期稳定性
9.1 概述
9.2 塔柱状危岩体力学响应分析
9.3 碎裂岩体岸坡力学响应分析
9.4 顺层岩体岸坡力学响应分析
9.5 岩溶角砾岩岸坡力学响应分析
9.6 小结
0章 三峡库区岩质岸坡成灾模式与涌浪风险评价
10.1 概述
10.2 典型岩质岸坡成灾模式
10.3 柱状危岩体崩塌的涌浪产生机制研究
10.4 典型柱状危岩滑坡涌浪预测分析
10.5 水库滑坡涌浪风险评价研究
10.6 小结
1章 失稳岸坡应急整治工程研究——巫峡龚家坊滑坡
11.1 概述
11.2 巫峡龚家坊岸坡工程地质条件
11.3 库区下三叠统反倾碎裂岩层岸坡易滑结构特征
11.4 巫峡龚家坊反倾碎裂岩层岸坡结构与稳定性
11.5 蓄水运行反倾碎裂岩层岸坡渗流稳定性分析
11.6 失稳岸坡应急防治设计研究
11.7 小结
2章 临失稳岸坡防治工程研究——巫峡箭穿洞危岩
12.1 概述
12.2 巫峡箭穿洞危岩工程地质特征
12.3 巫峡箭穿洞危岩结构与演化特征
12.4 蓄水运行期箭穿洞危岩基座劣化过程评价
12.5 基于175m蓄水运行的箭穿洞危岩体稳定性分析
12.6 箭穿洞危岩入江涌浪灾害风险评估
12.7 库水动力作用下箭穿洞危岩体防治设计研究
12.8 特大型高陡临失稳岩体防治施工技术
12.9 讨论与建议
12.10 小结
3章 亚失稳岸坡防护工程研究——巫峡板壁岩危岩
13.1 概述
13.2 巫峡板壁岩危岩概况
13.3 巫峡板壁岩危岩变形特征
13.4 巫峡板壁岩危岩稳定性分析
13.5 巫峡板壁岩危岩防治示范性设计
13.6 小结
4章 劣化岸坡生态地质修复工程——巫峡茅草坡岸坡
14.1 概述
14.2 巫峡茅草坡库岸段概况
14.3 巫峡茅草坡库岸段变形特征及稳定性分析
14.4 巫峡茅草坡库岸试验性防护修复工程实例
14.5 巫峡茅草坡库岸生态修复工程探讨
14.6 小结
5章 三峡库区长期地质安全保障研究
15.1 概述
15.2 库区地质灾害防治基本情况
15.3 库区移民城镇地质灾害防治
15.4 蓄水运行期间地质灾害特征
15.5 库区长期地质安全风险控制研究
15.6 小结
参考文献
后记
展开全部
本类五星书
本类畅销
-
全图解零基础word excel ppt 应用教程
¥15.6¥48.0 -
有限与无限的游戏:一个哲学家眼中的竞技世界
¥37.4¥68.0 -
硅谷之火-人与计算机的未来
¥12.7¥39.8 -
机器学习
¥59.4¥108.0 -
深度学习的数学
¥43.5¥69.0 -
智能硬件项目教程:基于ARDUINO(第2版)
¥37.7¥65.0 -
情感计算
¥66.8¥89.0 -
元启发式算法与背包问题研究
¥38.2¥49.0 -
LINUX企业运维实战(REDIS+ZABBIX+NGINX+PROMETHEUS+GRAFANA+LNMP)
¥48.3¥69.0 -
AI虚拟数字人:商业模式+形象创建+视频直播+案例应用
¥62.9¥89.8 -
LINUX实战——从入门到精通
¥48.3¥69.0 -
UNIX环境高级编程(第3版)
¥164.9¥229.0 -
剪映AI
¥52.8¥88.0 -
数据驱动的工业人工智能:建模方法与应用
¥68.3¥99.0 -
深度学习高手笔记 卷2:经典应用
¥90.9¥129.8 -
纹样之美:中国传统经典纹样速查手册
¥76.3¥109.0 -
UG NX 12.0数控编程
¥24.8¥45.0 -
MATLAB计算机视觉与深度学习实战(第2版)
¥90.9¥128.0 -
UN NX 12.0多轴数控编程案例教程
¥24.3¥38.0 -
微机组装与系统维护技术教程(第二版)
¥37.8¥43.0