注重体验与质量的电子书资源下载网站
分类于: 编程语言 互联网
简介
全面的功能验证: 完整的工业流程 豆 0.0分
资源最后更新于 2020-09-23 15:18:13
作者:
出版社:机械工业出版社
出版日期:2010-01
ISBN:9787111296416
文件格式: pdf
标签: 功能验证 测试 工作学习 Verification, IC 工业流程
简介· · · · · ·
《全面的功能验证:完整的工业流程》分为5个部分。第1部分的内容是功能验证概述,包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念,以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段,包括回归测试和“逃逸”错误分析,以及一些高级的验证技术。第5部分,是一些验证实例研究的集合,进一步强调了验证周期和验证过程中的相关概念。
《全面的功能验证:完整的工业流程》既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书,也可作为集成电路验证领域的工程师的技术指南或工具书。
目录
译者序
对本书的评论
原书序
前言
第1部分 验 证 简 介
第1章 芯片设计的验证
第2章 验证流程
第3章 基于模拟的验证基础
第4章 验证计划
第2部分 基于模拟的验证
第5章 硬件描述语言和模拟引擎
第6章 创建环境
第7章 基于模拟的测试激励生成策略
第8章 基于模拟的验证中的结果检查策略
第9章 广义的功能验证
第10章 重用策略与系统模拟
第3部分 形 式 验 证
第11章 形式验证简介
第12章 形式验证的使用
第4部分 全面的验证
第13章 完成验证周期
第14章 高级验证技术
第5部分 验证实例研究
第15章 验证实例
附录 验证术语表
参考文献
对本书的评论
原书序
前言
第1部分 验 证 简 介
第1章 芯片设计的验证
第2章 验证流程
第3章 基于模拟的验证基础
第4章 验证计划
第2部分 基于模拟的验证
第5章 硬件描述语言和模拟引擎
第6章 创建环境
第7章 基于模拟的测试激励生成策略
第8章 基于模拟的验证中的结果检查策略
第9章 广义的功能验证
第10章 重用策略与系统模拟
第3部分 形 式 验 证
第11章 形式验证简介
第12章 形式验证的使用
第4部分 全面的验证
第13章 完成验证周期
第14章 高级验证技术
第5部分 验证实例研究
第15章 验证实例
附录 验证术语表
参考文献