系统建模与仿真的校核、验证与确认 VV&A 技术

本书以导弹系统仿真为背景和实例，系统深入地研究仿真系统VV&A的理论、方法和算法。

软件验证与确认的最佳管理方法

科学计算中的确认与验证

核电站数字化仪控系统软件验证和确认实用手册

数字化仪控系统是核电站的中枢神经系统，相对于模拟仪控系统，它需要额外的设计和验证。两者之间主要的差别在于软件。为了达到对软件质量的高可信度，必须采用严格的技术规范和设计开发手段以保证一个高质量的软...

构件化软件动态更新与验证技术

药厂洁净车间净化空调系统验证与验收技术措施

嵌入式系统设计的验证与调试技术

本书是嵌入式系统软件验证方面的先驱之作，关注的重点在于嵌入式系统与软件的验证。

集成电路EDA与验证技术

本书对集成电路设计中的主要EDA工具使用进行了详细介绍，主要内容包括：MOSFET晶体管模型、集成电路EDA技术概述、模拟集成电路设计与仿真、模拟集成电路版图设计与验证、数字电路设计及仿真工具Model Sim、数...

最新家用、商用中央空调技术手册 设计、选型、安装与排障

本书介绍了目前流行的家用、商用中央空调的设计、选型、安装与排障，内容涉及分体一拖多空调器、风管户式中央空调、小型吸收式中央空调等。...

系统芯片 SoC 验证方法与技术

本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...