免费注册 | 登录 | 我的有路 | 黑板报 | 客服中心 | 帮助
网站购物车   本 | 店铺购物车   本
东方甄选教材旧书店
店铺平均得分：99.17 分，再接再厉！！！【查看全部评价】
评分 40分 50分 60分 70分 80分 90分 100分
数量 0 0 0 0 0 1 11
本店铺共有 0 笔投诉记录，投诉率 0% ，低于平均投诉率 1% 【查看详细】
投诉类型
数量
比例
店主称呼：董老师   联系方式：购买咨询请联系我  18339167916    地址：湖南省 长沙市 岳麓区 湖南省长沙市岳麓区麓山南路932号中南大学
促销广告：买书，就上东方甄选教材旧书店，特价正版，收藏店铺，优先发货!
【进入店铺首页】
≡本店已缴纳保证金≡
【查看店家资质】
图书分类
店铺公告
开学季订单量比较大些，按照下单时间顺序发出，多仓发货，如果不便，敬请谅解！

1、本店书籍一般八成新左右，书籍不缺页少页，不影响阅读；一般二手书籍是没有光盘、手册，习题集等，有的话就一起赠送邮寄了，不保证有的；书籍有多封面的新老封面随机发货，内容一致，不影响使用，介意勿拍！
2、书价格很低，有满包邮活动，不指定快递；根据网站的特殊性，按照国家有关规定，旧书不支持七天无理由退货。
3、全国大部分地区1~3天到达，偏远地区3~5天到达！
4、订单已发货，由于买家原因：买错，不需要，其他，都需要承担发货快递费用6元（首件（多仓另算）），书籍拒收回来，收到后同意退款亲，因为我们发货也是需要给快递公司快递费用的，谁的责任谁承担!
PS:在本店购书的亲们，下单即视为遵守上述约定，有任何问题请麻烦及时联系客服友好协商解决，谢谢！！！
发布时间：2024年02月17日
店铺介绍
1、本店书籍一般八成新左右，书籍不缺页少页，不影响阅读；一般二手书籍是没有光盘、手册的等，有的话就一起赠送邮寄了，不保证有的；书籍有多封面的新老封面随机发货，内容一致，不影响使用，介意勿拍！
2、书价格很低，有满包邮活动，多仓发货，不指定快递；根据网站的特殊性，按照国家有关规定，旧书不支持七天无理由退货。
3、全国大部分地区1~3天到达，偏远地区3~5天到达！
4、订单已发货，由于买家原因：买错，不需要，其他，都需要承担发货快递费用， 书籍拒收回来，收到后同意退款亲，因为我们发货也是需要给快递公司快递费用的，谁的责任谁承担!
5、在本店购书的亲们，下单即视为遵守上述约定，有任何问题请麻烦及时联系客服友好协商解决，谢谢！！！
入驻时间：2024年02月05日
交易帮助
第一步：选择图书放入购物车。
第二步：结算、填写收货地址。
第三步：担保付款或银行汇款。
第四步：卖家发货。
第五步：确认收货、评价。
【查看更多帮助】
书名：数字集成电路设计验证(量化评估.激励生成.形式化验证)
图书分类 >> 科技工程 >> 电工电子
作/译者：李晓维 吕涛 李华伟 出版社：科学出版社
数字集成电路设计验证(量化评估.激励生成.形式化验证)
出版日期：2010年05月
ISBN：9787030276094 [十位：7030276094]
页数：411      
定价：￥58.00
店铺售价：￥14.50 （为您节省：￥43.50）
店铺库存：10 本
注：您当前是在入驻店铺购买，非有路网直接销售。
正在处理购买信息，请稍候……
我要买：本 * 如何购买
** 关于库存、售价、配送费等具体信息建议直接联系店主咨询。
联系店主：购买咨询请联系我  18339167916
本店已缴纳保证金,请放心购买!【如何赔付?】
买家对店铺的满意度评价：查看更多>>
评分
评价内容
评论人
订单图书
《数字集成电路设计验证(量化评估.激励生成.形式化验证)》内容提要：
本书是全面论述数字集成电路设计验证方法的学术著作,汇集了自2000年以来中国科学院计算研究所(以下简称中科院计算所)在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面:量化评估、激励生成和形式化验证。
全书共15章,其中技术内容可分为三大部分。**部分(第2~5章)量化评估,从可观测性信息和发现设计错误的能力两个角度,论述数字集成电路设计验证的量化评估方法。第二部分(第6~9章)激励生成,针对寄存器传输级的激励生成问题,从故障模型和覆盖率导向两个角度,论述确定性和非确定性的激励生成方法。第三部分(第10~14章)形式化验证,从提高处理速度的角度,论述形式化验证中的等价性检验方法和模型检验方法。 本书内容涉及数字集成电路设计验证的三个主要方面:量化评估、激
励生成
和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆
盖
率评估方法、设计错误模型;基于故障模型的激励生成、基于RTL行为模型
的激
励生成、覆盖率驱动的激励生成;基于可满足性的等价性检验、包含黑盒
电路的
形式
《数字集成电路设计验证(量化评估.激励生成.形式化验证)》图书目录：
本书是全面论述数字集成电路设计验证方法的学术著作,汇集了自2000年以来中国科学院计算研究所(以下简称中科院计算所)在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面:量化评估、激励生成和形式化验证。
全书共15章,其中技术内容可分为三大部分。**部分(第2~5章)量化评估,从可观测性信息和发现设计错误的能力两个角度,论述数字集成电路设计验证的量化评估方法。第二部分(第6~9章)激励生成,针对寄存器传输级的激励生成问题,从故障模型和覆盖率导向两个角度,论述确定性和非确定性的激励生成方法。第三部分(第10~14章)形式化验证,从提高处理速度的角度,论述形式化验证中的等价性检验方法和模型检验方法。 本书内容涉及数字集成电路设计验证的三个主要方面:量化评估、激
励生成
和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆
盖
率评估方法、设计错误模型;基于故障模型的激励生成、基于RTL行为模型
的激
励生成、覆盖率驱动的激励生成;基于可满足性的等价性检验、包含黑盒
电路的
形式化验证,以及不可满足问题。
全书图文并茂,阐述了作者及其科研团队自主创新的研究成果和结论
,对致
力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生),具
有较
大的学术参考价值,也可用作集成电路专业的高等院校教师、研究生和高
年级本
科生的教学参考书。
FOREWORD
前言
第1章 绪论
1.1 设计验证简介
1.2 设计验证中的关键问题
1.2.1 量化评估
1.2.2 激励生成
1.2.3 形式化验证
1.3 章节组织结构
参考文献
第2章 寄存器传输级行为描述抽象方法
2.1 硬件描述语言概述
2.1.1 硬件描述语言的产生与发展
2.1.2 硬件描述语言的描述特点
2.2 RTL行为描述的进程分析
2.2.1 语法与语义限制
2.2.2 组合进程
2.2.3 时钟进程
2.2.4 异步进程
2.3 寄存器传输级行为描述抽象
2.3.1 行为描述中的进程
2.3.2 过程性语句
2.3.3 语句的语义行为
2.3.4 语句的执行条件
2.3.5 进程的相互关系
2.3.6 电路模型
2.3.7 行为模拟方式
2.4 本章总结
参考文献
第3章 基于可观测性的覆盖率评估方法
第4章 缺项-设计错误模型
第5章 基于错误传播概率的量化分析方法
第6章 模拟验证的激励生成概述
第7章 基于传输故障模型的寄存器传输级激励生成
第8章 基于行为阶段聚类的寄存器传输级激励生成
第9章 覆盖率驱动的寄存器传输级激励生成
第10章 布尔函数与基于电路的布尔推理
第11章 基于可满足性的增量等价性检验方法
第12章 验证包含黑盒的电路设计的形式化方法
第13章 极小布尔不可满足问题
第14章 模型检验在电路设计验证中的应用研究
第15章 总结与展望
索引
《数字集成电路设计验证(量化评估.激励生成.形式化验证)》文章节选：
本书是全面论述数字集成电路设计验证方法的学术著作,汇集了自2000年以来中国科学院计算研究所(以下简称中科院计算所)在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面:量化评估、激励生成和形式化验证。
全书共15章,其中技术内容可分为三大部分。**部分(第2~5章)量化评估,从可观测性信息和发现设计错误的能力两个角度,论述数字集成电路设计验证的量化评估方法。第二部分(第6~9章)激励生成,针对寄存器传输级的激励生成问题,从故障模型和覆盖率导向两个角度,论述确定性和非确定性的激励生成方法。第三部分(第10~14章)形式化验证,从提高处理速度的角度,论述形式化验证中的等价性检验方法和模型检验方法。 本书内容涉及数字集成电路设计验证的三个主要方面:量化评估、激
励生成
和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆
盖
率评估方法、设计错误模型;基于故障模型的激励生成、基于RTL行为模型
的激
励生成、覆盖率驱动的激励生成;基于可满足性的等价性检验、包含黑盒
电路的
形式化验证,以及不可满足问题。
全书图文并茂,阐述了作者及其科研团队自主创新的研究成果和结论
,对致
力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生),具
有较
大的学术参考价值,也可用作集成电路专业的高等院校教师、研究生和高
年级本
科生的教学参考书。
FOREWORD
前言
第1章 绪论
1.1 设计验证简介
1.2 设计验证中的关键问题
1.2.1 量化评估
1.2.2 激励生成
1.2.3 形式化验证
1.3 章节组织结构
参考文献
第2章 寄存器传输级行为描述抽象方法
2.1 硬件描述语言概述
2.1.1 硬件描述语言的产生与发展
2.1.2 硬件描述语言的描述特点
2.2 RTL行为描述的进程分析
2.2.1 语法与语义限制
2.2.2 组合进程
2.2.3 时钟进程
2.2.4 异步进程
2.3 寄存器传输级行为描述抽象
2.3.1 行为描述中的进程
2.3.2 过程性语句
2.3.3 语句的语义行为
2.3.4 语句的执行条件
2.3.5 进程的相互关系
2.3.6 电路模型
2.3.7 行为模拟方式
2.4 本章总结
参考文献
第3章 基于可观测性的覆盖率评估方法
第4章 缺项-设计错误模型
第5章 基于错误传播概率的量化分析方法
第6章 模拟验证的激励生成概述
第7章 基于传输故障模型的寄存器传输级激励生成
第8章 基于行为阶段聚类的寄存器传输级激励生成
第9章 覆盖率驱动的寄存器传输级激励生成
第10章 布尔函数与基于电路的布尔推理
第11章 基于可满足性的增量等价性检验方法
第12章 验证包含黑盒的电路设计的形式化方法
第13章 极小布尔不可满足问题
第14章 模型检验在电路设计验证中的应用研究
第15章 总结与展望
索引
《数字集成电路设计验证(量化评估.激励生成.形式化验证)》编辑推荐与评论：
本书是全面论述数字集成电路设计验证方法的学术著作,汇集了自2000年以来中国科学院计算研究所(以下简称中科院计算所)在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面:量化评估、激励生成和形式化验证。
全书共15章,其中技术内容可分为三大部分。**部分(第2~5章)量化评估,从可观测性信息和发现设计错误的能力两个角度,论述数字集成电路设计验证的量化评估方法。第二部分(第6~9章)激励生成,针对寄存器传输级的激励生成问题,从故障模型和覆盖率导向两个角度,论述确定性和非确定性的激励生成方法。第三部分(第10~14章)形式化验证,从提高处理速度的角度,论述形式化验证中的等价性检验方法和模型检验方法。 本书内容涉及数字集成电路设计验证的三个主要方面:量化评估、激
励生成
和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆
盖
率评估方法、设计错误模型;基于故障模型的激励生成、基于RTL行为模型
的激
励生成、覆盖率驱动的激励生成;基于可满足性的等价性检验、包含黑盒
电路的
形式化验证,以及不可满足问题。
全书图文并茂,阐述了作者及其科研团队自主创新的研究成果和结论
,对致
力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生),具
有较
大的学术参考价值,也可用作集成电路专业的高等院校教师、研究生和高
年级本
科生的教学参考书。
FOREWORD
前言
第1章 绪论
1.1 设计验证简介
1.2 设计验证中的关键问题
1.2.1 量化评估
1.2.2 激励生成
1.2.3 形式化验证
1.3 章节组织结构
参考文献
第2章 寄存器传输级行为描述抽象方法
2.1 硬件描述语言概述
2.1.1 硬件描述语言的产生与发展
2.1.2 硬件描述语言的描述特点
2.2 RTL行为描述的进程分析
2.2.1 语法与语义限制
2.2.2 组合进程
2.2.3 时钟进程
2.2.4 异步进程
2.3 寄存器传输级行为描述抽象
2.3.1 行为描述中的进程
2.3.2 过程性语句
2.3.3 语句的语义行为
2.3.4 语句的执行条件
2.3.5 进程的相互关系
2.3.6 电路模型
2.3.7 行为模拟方式
2.4 本章总结
参考文献
第3章 基于可观测性的覆盖率评估方法
第4章 缺项-设计错误模型
第5章 基于错误传播概率的量化分析方法
第6章 模拟验证的激励生成概述
第7章 基于传输故障模型的寄存器传输级激励生成
第8章 基于行为阶段聚类的寄存器传输级激励生成
第9章 覆盖率驱动的寄存器传输级激励生成
第10章 布尔函数与基于电路的布尔推理
第11章 基于可满足性的增量等价性检验方法
第12章 验证包含黑盒的电路设计的形式化方法
第13章 极小布尔不可满足问题
第14章 模型检验在电路设计验证中的应用研究
第15章 总结与展望
索引
《数字集成电路设计验证(量化评估.激励生成.形式化验证)》作者介绍：
本书是全面论述数字集成电路设计验证方法的学术著作,汇集了自2000年以来中国科学院计算研究所(以下简称中科院计算所)在数字集成电路设计验证方法学研究中取得的自主创新的重要研究成果和结论。内容涉及数字集成电路设计验证的三个重要方面:量化评估、激励生成和形式化验证。
全书共15章,其中技术内容可分为三大部分。**部分(第2~5章)量化评估,从可观测性信息和发现设计错误的能力两个角度,论述数字集成电路设计验证的量化评估方法。第二部分(第6~9章)激励生成,��对寄存器传输级的激励生成问题,从故障模型和覆盖率导向两个角度,论述确定性和非确定性的激励生成方法。第三部分(第10~14章)形式化验证,从提高处理速度的角度,论述形式化验证中的等价性检验方法和模型检验方法。 本书内容涉及数字集成电路设计验证的三个主要方面:量化评估、激
励生成
和形式化验证。主要包括寄存器传输级(RTL)电路建模、基于可观测性的覆
盖
率评估方法、设计错误模型;基于故障模型的激励生成、基于RTL行为模型
的激
励生成、覆盖率驱动的激励生成;基于可满足性的等价性检验、包含黑盒
电路的
形式化验证,以及不可满足问题。
全书图文并茂,阐述了作者及其科研团队自主创新的研究成果和结论
,对致
力于数字集成电路设计验证方法研究的科研人员(尤其是在读研究生),具
有较
大的学术参考价值,也可用作集成电路专业的高等院校教师、研究生和高
年级本
科生的教学参考书。
FOREWORD
前言
第1章 绪论
1.1 设计验证简介
1.2 设计验证中的关键问题
1.2.1 量化评估
1.2.2 激励生成
1.2.3 形式化验证
1.3 章节组织结构
参考文献
第2章 寄存器传输级行为描述抽象方法
2.1 硬件描述语言概述
2.1.1 硬件描述语言的产生与发展
2.1.2 硬件描述语言的描述特点
2.2 RTL行为描述的进程分析
2.2.1 语法与语义限制
2.2.2 组合进程
2.2.3 时钟进程
2.2.4 异步进程
2.3 寄存器传输级行为描述抽象
2.3.1 行为描述中的进程
2.3.2 过程性语句
2.3.3 语句的语义行为
2.3.4 语句的执行条件
2.3.5 进程的相互关系
2.3.6 电路模型
2.3.7 行为模拟方式
2.4 本章总结
参考文献
第3章 基于可观测性的覆盖率评估方法
第4章 缺项-设计错误模型
第5章 基于错误传播概率的量化分析方法
第6章 模拟验证的激励生成概述
第7章 基于传输故障模型的寄存器传输级激励生成
第8章 基于行为阶段聚类的寄存器传输级激励生成
第9章 覆盖率驱动的寄存器传输级激励生成
第10章 布尔函数与基于电路的布尔推理
第11章 基于可满足性的增量等价性检验方法
第12章 验证包含黑盒的电路设计的形式化方法
第13章 极小布尔不可满足问题
第14章 模型检验在电路设计验证中的应用研究
第15章 总结与展望
索引
如何买书 | 如何结算 | 如何支付 | 如何退货 | 配送介绍 | 普通用户与VIP | 账户余额介绍 | 积分介绍 | 礼券介绍 | 更多介绍...
Copyright © 书山有路 All Rights Reserved 赣ICP备06008180号