集成电路系统设计、验证与测试.pdf
本书涵盖了IC设计过程和EDA，系统级设计方法与工具，系统级规范与建模语言，SoC的IP设计，MPSoC设计的性能验证方法，处理器建模与设计工具，嵌入式软件建模与设计等内容。
验证
安全协议实施安全性自动化分析与验证.pdf
《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽
安全协议形式化分析与验证.pdf
《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言Pro
SystemVerilog验证 : 测试平台编写指南.pdf
本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。
集成电路验证.pdf
本书从集成电路验证领域存在的问题出发，详细介绍数字电路和模拟电路验证方法，主要包括设计验证语言基础、模拟仿真验证、覆盖率检验方法、电路的形式验证、物理验证、SPICE仿真、低功耗设计和验证方法、低功耗验证技术实例、硅后验证等方面。全书紧密围绕工业界集成电路验证流程进行阐述，尽可能
2017司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2017年度25项司法鉴定领域能力验证部分鉴定机构的反馈结果，分别是“尿液中滥用物质的定性分析”“血液中乙醇含量测定（限用气相色谱法）”“血液中常见毒物的定量分析”“个体识别（血斑与唾液斑）”“个体识别（血斑与精斑）”“亲权鉴定（血斑）”“亲权鉴定（二联体
2014司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2014年度23项司法鉴定领域能力验证部分鉴定机构的反馈结果，覆盖法医类、物证类和声像资料（含电子物证）专业。评析中选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判、结论表述
空间微波遥感数据验证理论与方法.pdf
本书总结了作者近十年来在空间微波遥感数据验证理论与方法的研究成果，全面论述空间微波遥感在数据验证与定量信息获取的理论与方法。
2016司法鉴定能力验证鉴定文书评析.pdf
本书评析的鉴定文书取材于2016年度26项司法鉴定领域能力验证部分鉴定机构的反馈结果，覆盖法医类、物证类和声像资料（含电子物证）专业。评析中选用了同一个能力验证项目中不同层次水平的鉴定文书及相关反馈结果，依据各专业的要求从鉴定方法、鉴定过程、分析论述、标准适用、结果评判、结论表述