Security Architecture of Trusted Virtual Machine Monitor for Trusted Computing

With analysis of limitations Trusted Computing Group （TCG） has encountered, we argued that virtual machine monitor （VMM） is the appropriate architecture for implementing TCG specification. Putting together the VMM architecture, TCG hardware and application-oriented ＂thin＂ virtual machine （VM）, Trusted VMM-based security architecture is present in this paper with the character of reduced and distributed trusted computing base （TCB）. It provides isolation and integrity guarantees based on which general security requirements can be satisfied.     

基于VMM的LTE小区搜索模块验证

随着芯片设计规模和复杂度的增加,功能验证变得越来越复杂,验证面临着诸多挑战。有统计数据显示,验证工作占整个设计开发工作60%～80%的时间。在长期演进系统(long term evolution,LTE)中,小区搜索是一个非常关键的过程,是移动终端开机后首先要做的步骤。小区搜索的性能好坏直接影响LTE系统后续过程的进行,对LTE系统的性能有很大的影响。以LTE系统小区搜索模块为例,简要介绍了VMM(verifacation methodology man-ual)验证方法学,并基于VMM验证方法学搭建了小区搜索模块验证平台,对小区搜索模块进行了全面的功能验证。验证结果表明,本模块能够完成预期的目标,采用VMM验证方法学可以极大地提高验证效率,缩短验证周期。     

基于VMM的SOC可重用验证平台设计

当前集成电路设计规模空前增长,对验证提出了巨大挑战,搭建组件化和可重用的验证平台已逐渐被业界采用。以一款接入交换机芯片验证为例,介绍了应用VMM方法学搭建基于subenv的组件化和可重用的验证平台的方法和原则。项目实践表明此方法可以极大地提高验证效率。     

Windows95实时性的研究

Ｗｉｎｄｏｗｓ９５是一个通用操作系统,对实时系统提供了一定的支持,本文主要分析了Ｗｉｎｄｏｗｓ９５的实时性,针对其不足,对从内核的角度探讨了改善Ｗｉｎｄｏｗｓ９５实时性的方法,并为实时应用提供了几个调用接口。     

基于Windows VxD的高精度仿真伺服控制系统

为进一步优化高精度仿真伺服系统的数据采集和仿真性能,应用Windows VxD技术设计了一种新颖的高精度仿真伺服系统实时控制方案,给出了伺服系统中仿真机软件的Windows VxD的关键技术实现.该仿真伺服控制系统整体结构采用三闭环控制.实际工程应用表明,基于VtoolsD软件开发平台、用C 语言开发设计的高精度伺服仿真系统的Windows VxD仿真软件,其控制精度可达到0.000 1,满足控制系统的精度和要求.