硬件设计验证基于模拟与形式的方法相关电子书下载

（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

唐涛，赵林编2014 年出版205 页ISBN：9787113159290

本书结合列车运行控制系统开发过程的特点，介绍了基于模型的列控系统设计及验证方法、技术和工具，重点阐述了通过使用不同的模型，在开发过程中的不同阶段从不同的视角对系统进行建模，并通过模型为开发过程提供进...

尹飞飞，陈铖颖，范军，王鑫编著2016 年出版264 页ISBN：9787121298073

本书依托Cadence Virtuoso与Mentor Calibre，介绍使用Cadence Virtuoso与Mentor Calibre进行CMOS模拟集成电路版图设计、验证及后仿真的方法，内容包括CMOS模拟集成电路版图基础、Cadence Virtuoso版图设计工具...

韩俊刚，杜慧敏著（西安邮电学院）2001 年出版269 页ISBN：7301053320

国家自然科学基金研究成果专著出版基金资助:本书介绍了形式化方法，数字硬件的规范描述和验证，高阶逻辑系统及其在硬件验证中的应用，模型检验，验证与综合系统VIS等内容。...

（英）韦尔著2010 年出版301 页ISBN：9787513502887

本书作者Weir教授是世界著名的语言测试专家，撰写了很多在语言测试方面影响较大的著作。本书是第一部全面、系统地阐述语言测试效度的专著。书中吸收了效度研究的最新成果，提出了基于证据的效度验证的理论框架...

韩旭著2015 年出版225 页ISBN：9787030459381

本书共分4部分13章，是作者近10年来在复杂结构的数字化设计中的共性关键技术及应用方面研究成果的总结。复杂结构的几何、工艺及功能需求等存在高度复杂性、多样性和不确定性，这使得利用模拟的方法对其进行设...

张爱新，李建华著2010 年出版214 页ISBN：9787111297260

本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

李晓维，吕涛，李华伟，李光辉著2010 年出版411 页ISBN：9787030276094

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

肖美华著2019 年出版0 页ISBN：