《数字集成电路设计验证 量化评估、激励生成、形式化验证》高清PDF
作者:李晓维,吕涛,李华伟,李光辉著
出版:北京:科学出版社
页数:411 ✅ 真实服务 非骗流量 ❤️
出版时间:2010.05 (求助前请核对清楚)
求助编号:9125815570 (学习资料 勿作它用)
求助格式:PDF(无水印/扫描版)我要投诉
重要说明:求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《数字集成电路 设计透视 第2版·影印版》高清PDF下载 拉贝(Rabaey,J.M.),钱德拉卡山(Chandrkasan,A.),尼科利奇(Nikolic 2004.03
《数字集成电路设计 从VLSI体系结构到CMOS制造》高清PDF下载 (瑞士)凯斯林著 2011.01
《数字集成电路容错设计》高清PDF下载 李晓维等著 2011.04
《数字集成电路 电路、系统与设计 第2版》高清PDF下载 (美)拉贝艾,(美)钱德卡桑,(美)尼克里克著 2010.11
《数字集成电路设计 从VLSI体系结构到CMOS制造 英文版》高清PDF下载 (瑞士)HubertKaeslin著 2010.04
《数字集成电路设计与技术》高清PDF下载 林丰成,竺红卫,李立编著 2008.10
《现代数字集成电路设计》高清PDF下载 鞠家欣编 2006.08
《数字集成电路与系统设计》高清PDF下载 李广军等编著 2015.10
《微电子与集成电路丛书 数字集成电路设计实践》高清PDF下载 易幼文编著 2015.08
《基于Proteus的数字集成电路快速上手》高清PDF下载 杜树春编著 2012.10
本书重点介绍过去五年内取得的相关研究成果,兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证三大部分。本书内容反映了中科院计算所在数字集成电路设计验证方面的最新研究进展,主要工作成果已在国内外学术刊物和会议上发表。基础研究成果“集成电路逻辑测试与验证基础技术”[本书第2,5~12章]获2007年度北京市科学技术奖。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。