基于VMM统一验证平台的Serdes芯片验证

本文基于VMM验证平台,介绍了高速串行收发器芯片的验证方法。文章首先简要介绍了Serdes芯片和VMM验证方法,然后搭建了Serdes芯片的VMM统一验证平台,并从测试激励产生、寄存器读写控制、覆盖率自动统计、断言验证及覆盖率收敛等几个方面详细阐述了Serdes芯片的验证过程。最后给出了验证结果和测试报告。     

卫星服务业发展走向分析

MobiTV的首席技术官(CTO)凯·乔纳森在评价MobiTV的新型卫星移动视频交付方案时,曾经斩钉截铁而又十分自信地断言:“针对国际上度身订制的要求,我们现在具有了更大的灵活性,我们具备保护我们财产和技术,同时也保护我们合作伙伴的内容安全的合适方案。”     

单点登录技术在电子政务系统中的应用

文章分析了电子政务应用系统的特点,介绍了两种常见的单点登录技术,重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术设计了一套单点登录系统,分别在Java和MicrosoftNET环境下实现了异构电子政务系统的单点登录。     

关于程序正确性证明的进一步探讨

本文介绍了什么是程序的完全正确性、部分正确性、终止性，并通过实例，介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤。     

关于断言的缺省逻辑

在Brewka提出的一种修正的缺省逻辑的基础上,对Reiter原来缺省逻辑作了推广,得到了一种关于断言的缺省逻辑,并证明Brewka修正的缺省逻辑就是一种特殊的关于断言的正规缺省逻辑。     

基于断言的SoC设计验证方法

随着SoC(System on-a-Chip)设计规模的指数增长,验证时的模拟时间也变得越来越长,已经到了令人无法忍受的地步.因此如何进行有效、充分的验证,尤其是功能验证已经成为SoC设计方法学中重要的内容.本文将要介绍的基于断言的验证(Assertion Based Verification,ABV)是SoC设计功能验证的一种有效的方法,能够有效地提高验证效率.     

一种基于事务的IP功能验证环境

介绍了对事务级验证方法提出了一种基于事务的IP功能验证环境，加入断言技术，并应用于实际项目。实验结果表明，该验证平台具有较高的自动化程度和较快的错误定位机制，可以极大地提高验证效率。     

摩托罗拉 MOTO Q8智能手机 从未如此好玩过

今年早些时候，在MOTO推出MOTO Q gsm和Q9时，我们就对MOTO Q gsm进入大陆市场抱以极高的期望，并断言它有可能成为商务人士手中的利器之一。终于，在步入2007年年底时，MOTO Q gsm终于以中国移动定制心机的身份出现在我们的面前——型号为MOTO Q8。在经过短暂时间的试用之后，先前关于MOTO Q8的商务定位已在我们心中完全抹去，崇尚娱乐的它在我们口中的昵称也自然而然地变为可爱的“小Q”了![第一段]     

基于覆盖率驱动的SoC验证技术研究

覆盖率数据是验证工程师判定SoC验证完备程度的定性度量,为SoC验证完全性提供了保障,指明了方向．文中以SoC总线仲裁器验证为例,对其结构覆盖率、功能覆盖率、断言覆盖率等多种覆盖率进行了全面的分析,然后根据覆盖率分析结果反馈到RTL设计代码和测试激励进行修正,直到验证的完整性满足设计的要求．     

RVM随机验证中的三个关键点及其应用

本文首先分析了传统验证方法的不足和使用RVM随机验证的原因,指出了RVM随机验证的3个关键点,接着介绍了RVM随机验证方法学的主要特征和一些重要术语,以及RVM验证方法学中层次化验证的结构.最后,结合UART(通用异步收发报机)实例,对3个关键点进行了详细的阐述.本文主要介绍了在搭建高效验证平台时,需要认真分析和详细设计的3个关键点,平台搭建方法是RVM参考验证方法学.通过本文的论述,在进行芯片验证时,只要设计好了这3个关键点就可以保证验证的快速和高效.