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

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

基于合约的程序分析技术研究

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础,以SQLServer2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分析实验。实验表明,在函数的入口处或者在类的开始点检测程序中应保持的隐含性质是相对较好并且合理的的检测位置。通过利用合约进行程序动态分析的基本过程,是一种新的软件质量保证的思维模式,利用这种模式可以进一步提高软件质量,从而保证软件的可用性。     

面向SOC设计的混合验证方法及其应用

本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。     

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

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

基于矢量随机生成和断言的LCD控制器的验证

随着SoC(片上系统)设计能力的快速发展和工艺水平的不断提高,芯片功能日益复杂,功能验证的任务也日渐加大。文中以LCD(液晶显示器)控制器为例,利用随机矢量生成技术和断言技术,实现了该控制器的功能验证。验证结果表明,采用两者相结合的技术能有效地搭建复杂验证环境,大大提高了验证效率,并取得了良好的效果。     

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

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

电子政务中基于SAML的信任与授权服务系统设计*

介绍了SAML的主要特点,包括声明类型和SAML的标准体系结构,以及SAML在电子政务建设中的应用。针对目前电子政务系统中信任与授权服务是保障信息安全的重要基础设施,结合SAML的标准体系结构,提出了电子政务中基于SAML的信任与授权系统的设计框架,并对此系统中基于SAML的授权机制的实现进行了分析。     

Contextual determinants of mothers' interventions in young children's peer interactions.

In this study, the role of context in mothers' interventions in their preschool children's peer relationship problems was investigated. Event theme (aggression, peer rebuff, or initiating play), the child's role in the event (actor or target), the child's age and sex, and the mother's emotional reaction were examined as predictors of the extent to which mothers (N = 71) said they would discuss peer relationships, encourage peer interaction, and use power assertion in response to a series of videotaped vignettes depicting common peer relationship problems. Mothers suggested using more discussion in aggressive situations and more encouragement in initiating play situations. Mothers said they would use more power assertion when the child was the actor (i.e., provocateur), rather than the target, in an aggressive situation. Findings are discussed in terms of (a) the importance of considering context in understanding how mothers intervene in their children's peer relationships and (b) the need to examine moderators of cross-contextual consistency in mothers' interventions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

通用SPI Flash控制器的设计与验证

为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。