验证
-
全面的功能验证 完整的工业流程
BRUCEWILE,JOHNC.GOSS,WOLFGANGROESNER著2010 年出版487 页ISBN:9787111296416本书分为五个部分。第1部分的内容是功能验证概述,包括概念背景、验证计划、验证策略和一些基本练习。第2和第3部分介绍了验证周期等。
-
实验设计原理 社会科学理论验证的一种路径
戴维·威勒亨利·沃克著2010 年出版148 页ISBN:9787562451877本书介绍了实验方法在社会科学研究领域中的应用,把实验方法区分为经验驱动型和理论驱动型。前者是帮助研究者从实验现象中归纳出规律,后者是对抽象理论的实证验证。这本书对多个典型的实验进行解析,并将自然科...
-
临床检验方法确认与性能验证
王治国著2009 年出版453 页ISBN:9787117119627本书是国内第一本系统地介绍临床检验方法确认与性能验证的书籍。卫生部于2006年出台《医疗机构临床实验室管理办法》,办法的重点就是对临床检验方法确认提出了具体的要求,即数据基本统计分析、分析质量要求、...
-
传值CCS和∏-演算互模拟等价的验证理论和算法
曾淳主编;张春元,周珞晶副主编;李舟军著2005 年出版165 页ISBN:7810991523本书内容提出对转子系统中存在的复杂非线性行为展开研究,并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作;从碰摩转子实验系统中...
-
系统工程Petri网 建模、验证与应用指南
(法)Claude Girault,(德)Rudiger Valk著;王生原,余鹏,霍金健译2005 年出版447 页ISBN:7121007819本书是一本有关Petri网的建模、验证与应用的优秀教学与研究参考书。全书分为5个部分共27章,首先讲解了Petri网的基本概念,通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Pe...
-
ARM SoC设计的软件和硬件协同验证
(美)Jason Andrews著;周立功等译2006 年出版178 页ISBN:7810777521本书是一本硬件/软件协同验证技术相关信息的书。传统的潜入式系统设计已经发展成为单个芯片的设计。在这个SoC设计的时代,芯片现在已经把微处理器包含在内,而且,还要求软件在硬件装配好之前就能开发出来。本书...
-
SOC/ASIC设计、验证和测试方法学
沈理编著2006 年出版260 页ISBN:7306026828本书内容包括集成电路的发展、SOC设计方法学、SOC/ASIC测试方法学、SOC/ASIC验证方法学、Philips SOC设计平台的实例等。
-
编写测试平台 HDL模型的功能验证 第2版
(美)伯杰龙(Bergeron,J.)著;张春等译2006 年出版345 页ISBN:7121030764验证是制造出功能正确的芯片的必要步骤,是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具,验证的重要性和代价,比较了不同的验证方法,以及测试和验证的区别。然后从方法学的角度探讨...
-
幼儿素质教育课程资源整合研究理论假设与实践验证
张学琴主编2006 年出版557 页ISBN:7530946951本书是全国教育科学“十五”规划教育部重点课题的一项,本专集的理论研究成果展示了课题研究形成与发展的实践过程。共分两部分。
-
创富圣经 500位世界富豪验证了的创富启示录
(美)希尔,(美)沃特尔斯,(美)哈奈尔著;马慧译2012 年出版398 页这是一部关于创富成功的结集版本。在第一部《思考致富》里,拿破仑·希尔将创造财富的智慧倾囊相授,毫不吝啬地将成功创富的秘密告诉了世人。《致富的科学》曾深深地影响卡耐基、拿破仑·希尔的财富书。它是一...
-
集成电路EDA与验证技术
陈铖颖等编著2019 年出版320 页ISBN:9787560651699本书对集成电路设计中的主要EDA工具使用进行了详细介绍,主要内容包括:MOSFET晶体管模型、集成电路EDA技术概述、模拟集成电路设计与仿真、模拟集成电路版图设计与验证、数字电路设计及仿真工具Model Sim、数...