思博伦助力华为数据中心交换机验证测试

思博伦通信日前宣布，华为已经选择SpirentTestCenter，验证CloudEngine（CE）系列数据中心交换机中的最新成员——cEl2816的性能，     

基于SystemVerilog的同步FIFO的验证平台搭建

针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模块进行验证平台建模,可以有效地降低设计与验证的时序竞争风险,实现验证平台的复用和验证过程中的自动监测,并且在搭建验证平台的过程中阐述了基本的验证流程,以及结合System Verilog语言介绍了一些基本建模规则和技巧。     

联华电子顺利验证12VeFlash解决方案

联华电子日前宣布，已顺利验证晶圆代工领域第一个结合12V解决方案的高压嵌入式闪存（eFlash）工艺。此工艺可将中大尺寸触控IC所需的驱动高压，以及存放算法所需的eFlash，结合于同一颗高整合度的单芯片中，并且有效地改善信噪比（SNR）。与业界所提供的其它高压选项（例如18V、24V或32V）相比，此12V解决方案在信噪比与耗电之间，提供了绝佳的平衡。联华电子12VeFlash技术目前已于0．11微米与0．18微米工艺上提供给客户使用。     

Modelithics采用VectorStar验证其性能

AnritsuCompany宣布，其VectorStar宽频ME7838A矢量网络分析仪（VNA）系统已被ModelithicsInc．公训用于验证覆晶肖特基二极管模型的性能，该模型是针对CVirginiaDiodes公司（VDI）生产的W频段单阳极和W频段ZBD肖特基二极管。     

Ixia推出LTE基站验证解决方案XAir

Ixia近日在芝加哥4G世界通信大会上公布了XAir解决方案,作为首个全面的LTE基站验证方案,XAir创造了真实的移动用户行为,使运营商能够快速了解设备性能并做出相应的设备选择,同时通过精确规划容量设计出更有弹性的移动网络,并快速定位并解决实际网络问题。     

ITRI使用Cadence技术实现3D-IC芯片成功流片

CadenceDesign设计系统公司日前宣布其全套3D-IC技术与流程已为中国台湾工业技术研究院（ITRI）所采用，用于开发一款3D-IC芯片。Cadence与ITRI的工程师合作，使用综合的Cadence3D-IC流程实现、分析与验证测试芯片--硅穿孔（TSv）的宽I／O存储器堆叠。这种多个Ic被堆到单个封装里的3D-IC法，对于满足高级电子产品的尺寸、成本、功耗与性能要求变得越来越重要。     

OpenFlow测试概述

在OpenFlow大规模商用部署前，测试是必不可少的阶段，有效的、具有现实意义的测试方案，能够帮助厂商和运营方确定OpenFlow技术的适用性和局限性。测试是推动OpenFlow技术发展和成功商用的重要手段、思博伦通信赵峻琪所撰《OpenFlow测试概述》一文主要针对当前最热门的OpenFlow技术展开讨论．OpenFlow技术可以很好地实现业务快速定制，根据网络状况动态调整流量，提高效率，降低成本，并为中小设备厂商和软件厂商提供更多的市场机会。思博伦通信是0NF中活跃的成员，在测试领域发挥重大作用，参与了迄今为止所有的重要测试，这里面包括认证测试、互操作测试、概念验证测试和运营商研究性测试，覆盖了数据中心、传输网络等多个应用领域。     

基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

烽火通信选用Lantiq方案开发LTE宽带网关

正领特公司(Lantiq)近日宣布:烽火科技集团在其下一代LTE网关中选用了Lantiq的解决方案。这种高性能、高性价比的网关解决方案专为中国市场而开发。经过现场验证并得到广泛部署的Lantiq GRX288宽带网络处理器为烽火科技的全新网关提供了强大的处理能力,并利用Lantiq Direct LTE方案提供了领先的路由性能。这些创新的设计与开发,以及各项最前