大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

全面的功能验证:完整的工业流程/(美)Bruce Wile，(美)John C. Goss，(美)Wolfgang Roesner著 沈海华，乐翔译

出版发行项:

北京:机械工业出版社,2010

ISBN及定价:

978-7-111-29641-6/CNY98.00

载体形态项:

487页:图;24cm

并列正题名:

Comprehensive functional verification:the complete industry cycle

其它题名:

完整的工业流程

丛编项:

国际信息工程先进技术译丛

个人责任者:

(美) 戈斯 (Goss, John C.) 著

个人责任者:

(美) Roesner Wolfgang 著

个人责任者:

(美) 怀尔 (Wile, Bruce) 著

个人次要责任者:

乐翔 译

个人次要责任者:

沈海华 译

学科主题:

集成电路-芯片-设计

中图法分类号:

TN402

出版发行附注:

本书中文简体字翻译版由机械工业出版社与Elsevier(Singapore)Pte Ltd.合作出版

相关题名附注:

封面英文题名：Comprehensive functional verification: the complete industry cycle

责任者附注:

责任者Wile规范汉译姓：怀尔；责任者Goss规范汉译姓：戈斯

书目附注:

本书第482-487页附有书目

提要文摘附注:

本书分为5个部分。第1部分的内容是功能验证概述，包括概念背景、验证计划、验证策略和一些基本练习；第2部分和第3部分关注两个最主要的功能验证方法：基于模拟的验证方法和形式验证方法；第4部分把注意力集中在验证周期的后期阶段，包括回归测试和“逃逸”错误分析，以及一些高级的验证技术；第5部分，是一些验证实例研究的集合。

豆瓣简介：