分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

第三种波粒二象性的揭示及其实验验证

简单回顾了Einstein 1905年揭示的第一种波粒二象性（光的波粒二象性）与de Broglie 1923年揭示的第二种波粒二象性（实物粒子的波粒二象性）及其实验验证过程，指出了这两种波粒二象性的本质差别，分析了波粒二象性的逻辑体系并指出：只要把Gan1995年揭示的“经典（电磁）场在结构上的颗粒性”当作“第三种波粒二象性”就能构成“三种波粒二象性”的完美组合，利用“波粒二象性的相变假说”还可以把这“三种波粒二象性”和谐地统一起来。借助于经典条件下光的经典理论与量子理论究竟哪一个更为精确的实验判决（见《光散射学报》）2006年第1期第75．79页《Lorentz-Compton佯谬与一个双赢判决性散射实验设计》）还可以完成“第三种波粒二象性”和“波粒二象性的相变假说”的实验验证。     

瑞萨科技采用Synopsys VCS解决方案和VMM方法论

瑞萨科技采用了Synopsys的VCS功能验证解决方案开发复杂的SoC,并选定了VMM方法集,即Verification Methodology Manual(VMM) for System Verilog,用于验证其重要的SuperHyway总线片上互连架构。     

WIZARD海军诱饵在北约实验中进行验证

2007年7月16日，以色列海法市，拉斐尔军事发展有限公司透露其WIZARD海军角反射器诱饵最近参加了北约海军每年举行的MCG／8电子战实验，该实验于上个月在挪威进行．     

形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

基于傅立叶变换轮廓术的物面相位提取

采用傅立叶变换轮廓术,针对基频提取的关键技术采用逐行傅立叶变换,准确提取基频信息的方法恢复相位信息.在此基础上,以未畸变条纹为基准,得出被测物体的真实位相值.该方法只需一幅条纹图,节约了测量时间.实验证明可实现无接触面型的自动传感.     

验证计划报表工具VMM Planner

本文介绍了Synopsys公司最新推出的验证计划报表工具VMM Planner。该工具能够帮助用户验证过程的计划阶段，用该工具特有的描述语言HVP语言或者通用的MS Office Excel工具，系统地、层次化地描述验证计划，并且在验证计划的实施过程中，将测试得到的各类数据，反标到验证计划中，产生相应的状态报告，追踪验证进程。     

地源热泵的运行特性模拟研究

依据圆柱源理论,建立起了耦合地面热泵机组和地下埋管换热器特性的模拟模型,该模型可用于长期运行的地源热泵系统的短时间步长运行特性模拟。探讨了模拟过程中有关参数的确定方法,并运用所建模型对地源热泵的冬季和夏季运行特性进行了模拟。运行特性模拟与实验数据的验证结果表明,所建模型可以对地源热泵的运行特性做出符合实际的预测。