SOC设计验证讲述

本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。     

福禄克经过ATEX和FM验证的过程校准器

福禄克专为有爆炸危险的环境设计了一系列测试工具,Fluke 707Ex回路校准器是其中的第一款.707Ex达到Factory Mutual (FM)要求并符合最新的欧洲易爆气氛使用(ATEX-ATmospheric EXplosibles)规定.集成化的707Ex采用了环境改造学设计，将旋钮和按键校准器的优点结合在一台校准器上，用于特殊区域中电流环路的校准，     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果     

检测证书的质量管理

本文简要介绍了对检测证书自身质量的三项基本要求和判断检测证书质量的两类标准，通过树立全员质量管理意识，确保检测证书的质量。     

导电环接触电阻的改进测量方案

介绍了导电环接触电阻测量方法的现状,提出了在测量过程中防止导线缠绕的两种改进方案,通过分析验证,说明改进后的测量方案能够很好的完成导电环接触电阻的测量.     

一种新型微处理器功能验证

文中介绍一种新型微处理器的验证方法，并对相关的一些验证策略进行深入的讨论。     

挖掘机工作装置实验样本长度确定方法及程序系统

本文通过对某液压挖掘机工作装置实验样本长度的研究,详细讨论了样本长度的确定方法,重点分析了趋势曲线拟合法,提出了样本长度精度区间分析的方法,并在处理大量实验数据的基础上,从载荷分布及寿命估算的角度做了实际的验证.编制了应用程序,使样本长度确定至寿命估算整个过程程序化.     

中国环境标志“预拌混凝土”产品认证示范验证项目启动

3月20日，国家环境保护总局环境发展中心、建设部科技发展促进中心、中国建筑装饰装修材料协会、北京东方建宇混凝土科学技术研究院、中国建筑科学研究院、北京建工集团商品混凝土中心在北京共同举行了“中国环境标志‘预拌混凝土’产品认证示范验证项目启动仪式”。宣布正式开始对北京建工集团商品混凝土中心生产的预拌混凝土实行中国环境标志认证示范验证，该单位也就此成全国首家受验单位。