通用接口控制器GPIO_WB IP核设计与实现

通用IO接口是SoC系统中非常重要的一种外围端口。本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现，较具体地介绍了GPIO_WB IP核的体系结构以及WISHBONE接口和DMA传输方式的设计方案，并对所设计实现的GPIO_WB性能及可重用性做了分析，结论表明，与已有的通用IO接口IP核相比，GPIO_WB IP核具有性能高、实现代价小、硬件简单、可重用性好、易于扩展等优点。     

SoC通讯体系结构的高层建模技术研究

片上通讯设计是SoC系统设计的关键。本文着重从高层建模上研究SOC通讯体系结构设计。首先概述了SoC的通讯体系结构设计,其次介绍了片上通讯体系结构的高层建模方法,然后介绍了高层片上通讯体系结构的快速仿真方法,最后介绍了我们设计实现的Hi-SoComm系统。     

基于代理中间件的两级身份认证系统的研究与实现

在分析代理中间件原理的基础上,将HTTP协议的口令认证与公钥密码的数字签名认证相结合,提出了一个基于代理中间件的两级身份认证系统。该系统可为采用Browser/Server系统结构开发的应用提供浏览器客户机与Web服务器的双向身份认证服务。     

实时GPS卫星信号采集系统的设计与实现*

开发了一个基于并行口EPP协议的实时GPS卫星信号采集系统,具体介绍了系统设计与实现的一些关键技术问题,分析了系统性能。系统的主要应用领域为GPS定位接收机的算法研究和原型系统的开发。     

基于集成框架的虚拟原型异构建模与仿真

在已开发的集成框架基础上,作者提出了基于视图对象和域对象的虚拟原型异构建模方法,以及独立于领域的虚拟原型仿真调度算法,开发了域对象管理和虚拟原型数据管理两个集成框架软构件,有效地解决了虚拟原型中异构建模和协同仿真问题。     

VLSI并行测试生成系统的一种动态层次框架

随着VLSI技术的发展和计算机性能的提高,并行测试生成系统不仅必需而且可行,本文在总结已有并行技术的基础上,提出了并行测试生成系统的一种动态层次框架,并给出了一种实现方案。     

GFSAS—1门与功能块级逻辑模拟和延迟时间分析系统

本文提出了一个新的门与功能块级逻辑模拟和延迟时间分析系统GFSAS-1。GFSAS-1的结构是一个以数据库为中心的模块结构。本文简要介绍了GFSAS-1的系统组成和功能特点,重点阐述了数据库管理系统(DMS),主要功能模块,以及波形描述语言(WDL)的设计方案     

CAD工具集成的方法与策略

由于各种ＣＡＤ系统各有所长、用户希望从多种系统中选择技术性能好，满足需求的工具集成在一起使用。工具集成是ＣＡＤ集成框架的重要目标之一。文章从理论上探讨了工具集成的概念和基本实施手段，并结合开发的ＹＨＣＩＦ集成框架系统，从平台集成、界面集成、数据集成、过程集成四个层次实现了工具集成。利用工具模板作为工具集成的界面；用工具箱对所集成的工具进行管理；用设计流图对设计过程进行控制。     

基于悖论分析和增量求解的快速反例压缩算法

使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL(brute force lifting)算法,其时间开销过大.为此,提出一种基于悖论分析和增量式SAT(boolean satisfiablilty problem)的快速反例压缩算法.首先,根据反证法和排中律原理,该算法对每一个自由变量v,构造一个SAT问题,以测试v是否能够避免反例.而后对其中不可满足的SAT问题,进行悖论分析,抽取出导致悖论的变量集合.所有不属于该集合的变量,均可作为无关变量直接剔除.同时,该算法使用增量式SAT求解方法,以避免反复搜索冗余状态空间.理论分析和实验结果表明,与BFL算法相比,该算法能够在不损失压缩率的前提下获得1～2个数量级的加速.