安捷伦宣布其WiMAX预先一致性测试和生产解决方案顺利通过验证

近日．安捷伦科技公司宣布：其WiMAX设计验证和生产解决方案已经成功交付并获多家客户采用。这些解决方案拥有其他厂商的产品所无法比拟的卓越性能和功能，为工程师测试固定802．16-2004和移动802．16e-2005 WiMAX PHY提供了强大的研发和一致性测量能力。     

利用SoC平台设计并验证MPEG-4/JPEG编解码IP

随着硅工艺在几何尺寸上的不断缩小,芯片的设计者事实上能将所有系统功能整合在单一芯片上。许多芯片制造商和设计者在面对客户对于多功能、低功耗、低成本及小型化的需求时,认为SoC的高集成度是解决问题的万能药方。不幸的是,设计的生产力跟不上摩尔定律的速度。     

VLSI全定制版图分级LVS验证的研究

在VLSI芯片的全定制版图设计中，LVS验证日益复杂繁琐，本文系统介绍了用HERCULES实现LVS验证的原理、流程和配置文件，并讨论了如何用HERCULES高效率的实现分级LVS(Hierarchical LVS，简称HLVS)验证，这些技术和方法已经应用在成功流片的64位通用CPU全定制版图的设计中，提高了版图LVS验证的效率。     

多服务组的流媒体安全通信机制

提出了一种基于多服务组的流媒体安全通信机制.现有的方案一般是针对用户只参加一个多播组的通信,很少涉及到一个用户同时参加多个多播组的通信,而且没有提供有效的发送方身份验证机制.本文提出了一种具有发送方身份验证功能的一个用户同时可以参加多个组通信的方案,大大地降低了用户和服务器的存储开销,与传统的密钥树方案相比,用户的存储开销降低为原来的l/lgn(n为组中的用户数目),有良好的可扩展性.另外,本机制实现了可靠的发送方身份验证功能.     

一个完善的秘密分享方案

可验证秘密分享在实用密码学领域内是一个非常重要的工具,它在密钥管理协议、门限或分布式签名协议、电子商务、多方安全计算及团体式密码系统等许多方面都有极为广泛的应用。针对一类突发事务须及时、安全解决的特点, 利用离散对数问题的难解性,在假设初始化阶段和秘密恢复阶段始终有一位值得信赖的分发者参与的情况下,提出了一个可公开验证的门限秘密分享方案。     

圭谷十日行（二）

Verisity Design是一家专注于设计验证的EDA软件公司，提供解决客户验证电子系统和复杂集成电路的软件以及IP，在功能验证领域的市场份额达65％以上，所有知名设计公司都将Verisity的验证方法和系统SpecMan作为标准验证平台。Verisity还与ARM、Cadence、Synopsys、Mentor Graphic等IP提供商和EDA软件厂商保持紧密合作，共同     

基于E语言和OVL库的功能验证方案

提出了一种基于E语言和OVL库的功能验证解决方案，此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级。使用这种方法可以有效地缩短设计周期、降低设计成本，提高验证效率和质量。     

分组密码算法芯片验证

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

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

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

基于Z的协议形式描述与验证

一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展[6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。