本本书屋

 本本书屋 logo

硬件设计验证 2024 pdf epub mobi 电子书

硬件设计验证
☆☆☆☆☆
简体网页||繁体网页

硬件设计验证 2024 pdf epub mobi 电子书 著者简介

硬件设计验证 电子书 图书目录

下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-19

硬件设计验证 2024 pdf epub mobi 电子书

硬件设计验证 2024 pdf epub mobi 电子书

硬件设计验证 2024 pdf epub mobi 电子书


喜欢 硬件设计验证 电子书 的读者还喜欢


硬件设计验证 电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:机械工业
作者:兰姆
出品人:
页数:359
译者:王维维
出版时间:2007-1
价格:45.00元
装帧:
isbn号码:9787111195023
丛书系列:

图书标签: 验证  硬件设计验证  VLSI  IC  Verification  FPGA  EDA  BDD   

硬件设计验证 2024 pdf epub mobi 电子书 图书描述

随着数字逻辑设计的规模越来越大，复杂度越来越高，功能验证已经成为设计过程中的首要瓶颈。缩短验证时间是项目取得成功的关键。本书系统地阐述了当今最具价值的基于模拟和形式方法的验证技术，帮助测试工程师和设计工程师为每个项目选择最佳的解决方法，最快地在设计中建立起自信，并将它移植到更快的制造过程中。

　　本书作者William K．Lam是设计验证方面的世界级一流专家，书中汇聚了作者广博的实践经验，既讨论一般的测试原则，也展示具体的实践方法，有些内容还提供了伪代码形式的算法，读者只需简单地改写为具体的程序设计语言，即可上机调试。无论高校学生还是企业的验证工程师都可以从本书获益。

　　本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术，内容深入浅出，叙述详尽，既讨沦一般的测试原则又展示具体的实践方法，包含作者多午实践经验，实用性强。每章最后还配有各类习题，读者可用来巩固所学的知识。.

　　本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材，也可供相关专业工程师参考。

硬件设计验证 2024 pdf epub mobi 电子书
硬件设计验证 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

硬件设计验证 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

书的后半部分，关于形式验证的部分，很有意义。

评分☆☆☆☆☆

书的后半部分，关于形式验证的部分，很有意义。

评分☆☆☆☆☆

书的后半部分，关于形式验证的部分，很有意义。

评分☆☆☆☆☆

书的后半部分，关于形式验证的部分，很有意义。

评分☆☆☆☆☆

书的后半部分，关于形式验证的部分，很有意义。

硬件设计验证 2024 pdf epub mobi 电子书

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接




相关图书



服务条款
联系我们
关于我们
隐私政策

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有