作者: (美)Bruce Wile John Goss Wolfgang Roesner
译者: 沈海华 乐翔
丛书名: 国际信息工程先进技术译丛
出版社:机械工业出版社*
ISBN:9787111296416
上架时间:2010-4-1
出版日期:2010 年3月
开本:16开
页码:487
版次:1-1
内容简介:本书分为5个部分。第1部分的内容是功能验证概述,包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念,以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段,包括回归测试和“逃逸”错误分析,以及一些高级的验证技术。第5部分,是一些验证实例研究的集合,进一步强调了验证周期和验证过程中的相关概念。本书既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书,也可作为集成电路验证领域的工程师的技术指南或工具书。
全面的功能验证:完整的工业流程
全面的功能验证:完整的工业流程
全面的功能验证:完整的工业流程
baomam.cn
复制
全面的功能验证:完整的工业流程
0kyb
复制
baomam.cn
复制
谢谢
sfgh
BaoMam.cn中的资源很不错,最近下载了好多书,下半年好好充电,谢谢寳孖孖楼主,谢谢分享。
感谢分享
感谢分享
感谢分享