IP可重用的AMBA AXI总线验证平台设计与实现

总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点.针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的,层次化的AMBA AXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制.实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性.     

多态性PCIE桥扩展芯片的设计和硅后验证

作为主流的总线协议，PCIE(Peripheral Component Interconnect Express)总线的应用场景越来越丰富，连接的外围设备也越来越多。而无论桌面还是嵌入式的通用处理器上，PCIE控制器数量有限，同时很多PCIE桥芯片的功能也很局限。为此设计出一款具备多态性的PCIE扩展桥芯片来扩展处理器PCIE处理能力。该芯片的多通路、高通量、多态性的属性有效弥补了传统处理器PCIE能力不足的缺点。方案通过硅后验证方法，确定了芯片的可行性和稳定性，方案也为后续具备更多通路和属性的PCIE扩展芯片提供了设计思路。     

基于以太网硬件协议栈的DSP嵌入式系统设计

应用以太网硬件协议栈芯片技术,设计并实现了具有网络数据高速传输功能的DSP嵌入式系统.以太网选用专用芯片WS100,该芯片适用于嵌入式系统,并具有Intemet协议.通过配置系统网络信息来实现整套系统的TCP和UDP连接,同时以Server或Client模式进行数据传输.以基于WS100的DSP嵌入式数据采集系统为例,通过合理编写程序和配置各寄存器,验证表明,系统可以通过以太网成功传输数据.     

贝叶斯网络在SoC事务级验证平台中的应用

在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶斯网络强大的不确定性概率推理和数据分析能力以及事务级验证平台的特点,采用贝叶斯网络来自动分析验证平台中的事务配置参数和功能覆盖率统计数据之问的不确定关系,提出了一种改进的功能覆盖率驱动验证平台;与传统的约束随机验证平台相比,能快速达到覆盖率目标,缩短验证周期.     

基于PCIE转SATA多通道高速存储电路设计与原型验证

针对传统SATA控制器接口单一且无法充分发挥固态盘性能的问题，设计了一款基于PCIE转SATA多通道高速存储电路。充分利用PCIE总线高带宽低延时特性，并遵循AHCI协议，大幅缩短硬盘无用的寻道次数和数据查找时间，提高固态盘的读写性能，同时本设计可支持4路SATA通道，具有良好的可拓展性。设计结合PCIE和SATA协议特点，介绍了PCIE转SATA高速存储电路的系统架构，详细阐述了基于AHCI协议的数据流传输过程。最后基于FPGA原型验证对电路进行测试，电路的单盘读写速率分别为562 MB/s和527 MB/s，相比传统SATA控制器的读写性能具有较大提升，测试结果表明设计的PCIE转SATA高速存储电路读写性能优异，且具备良好的稳定性和可拓展性。     

一种嵌入式IPv4/IPv6双协议栈的实现

提出了一种基于平台无关性的嵌入式IPv4/IPv6双协议栈的实现方法。根据嵌入式应用,设计了相应的缓冲区管理机制,简化了IPv6模块中ICMPv6和邻居发现的相关功能以及TCP模块中的运行状态机和滑动窗口机制,并对协议栈接口层和传输层作了相应的功能扩展。     

一种嵌入式IPv4/IPv6双协议栈的实现

提出了一种基于平台无关性的嵌入式IPv4/IPv6双协议栈的实现方法.根据嵌入式应用,设计了相应的缓冲区管理机制,裁减了IPv6模块中ICMPv6和邻居发现的相关功能,简化了TCP模块中的运行状态机和滑动窗口机制,并对协议栈接口层和传输层作了相应的功能扩展.     

一种基于TPM芯片的计算机安全体系结构

针对现行通用个人计算机基于开放架构、存在诸多攻击点等安全问题，提出了一种基于TPM安全芯片的新型计算机体系结构。设计并实现了基于安全芯片的软件协议栈TSS，在安全芯片中使用软件协议栈，通过核心服务API来调用核心服务模块，解决远程通信的平台信任问题。设计并实现了基于多协议的授权和认证管理，实现上层应用和TPM之间的授权会话及授权认证，从而保证计算机能够完成安全计算和安全存储的工作，使计算平台达到更高的安全性。     

纯SV语言搭建验证平台

面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。直接测试方法适合于小设计,但一个典型SoC设计需要上千个测试用例,耗时太长。因此提升验证产量的唯一方法是减少产生测试所消耗时间。基于SystemVerilog具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用SystemVerilog语言功能构建一个验证平台。搭建验证环境时,可以应用带约束随机激励产生方法以及覆盖率驱动来提高验证效率,缩短验证周期,平台在queastasim上进行了仿真验证,并取得了比较好的结果。     

基于Linux的蓝牙系统核心协议栈的设计与实现

本文设计与实现的基于Linux平台的Bluetooth核心协议栈主要由四个模块组成：服务发现协议SDF模块，逻辑链路控制与适配协议L2CAP模块，串行线路模拟协议RFCOMM模块和主机控制接口HCI模块。在本核心协议栈的设计过程中，始终将提高整个协议栈的执行效率作为第一目标。为提高协议栈的效率，对协议栈进行了设计优化，采用了状态自动机、散列技术、缓冲机制、开放式平台、硬件模拟技术等一些先进技术。     

基于协议栈的现场总线协议转换通用化设计

为实现不同现场总线之间的通信和提供统一的设计模式,达到屏蔽现场总线异构性的目的,对多种现场总线集成环境下不同总线之间的通信进行了研究,建立协议栈模型实现了协议转换网关的通用化设计。与传统的协议转换方式相比,不再局限于一对一的转换,具有与对象位置、通信协议的无关性,提高了系统的扩展性和对不同总线的兼容性。     

基于协议栈的现场总线协议转换通用化设计

为实现不同现场总线之间的通信和提供统一的设计模式，达到屏蔽现场总线异构性的目的，对多种现场总线集成环境下不同总线之间的通信进行了研究，建立协议栈模型实现了协议转换网关的通用化设计。与传统的协议转换方式相比，不再局限于一对一的转换，具有与对象位置、通信协议的无关性，提高了系统的扩展性和对不同总线的兼容性。     

FF HSE和FF H1协议网关的基本原理与实现

研究了通过协议转换式网关实现不同总线协议之间互联和互操作的基本原理 ,解决了在开发FFHSE和FFH1网关软件过程中的多个关键技术 .FF一致性测试软件包的测试结果表明该网关符合FF协议标准 .     

时间触发总线验证技术研究

TTP协议定义了一种高确定性,无冲突,高安全的通信总线,能够满足包括飞行控制等的安全关键实时控制系统的应用要求。时间触发总线验证技术根据TTP协议规范要求,针对研制的节点进行测试,包括基本通信测试、时钟同步、故障注入等不同的测试场景,充分验证被测节点的各项功能、性能。通过这些测试,表明被测节点各项指标都满足研制需求,可用于安全关键实时控制系统。     

利用CCS的协议描述与验证技术的研究

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。     

基于射频CC2420实现的ZigBee通信设计

摘要：本文简要介绍了ZigBee技术，详细的说明了针对使用PIC18系列单片机为控制器、CC2420为RF收发器的ZigBee节点的硬件组成，并从ZigBee通信协议及协议栈的构架等方面阐述了ZigBee无线通信网络的实现。     

Epilogue和BSD协议栈的实现机制的比较

协议栈是网络通信中最重要的软件部分,在数据交换中起着重要作用。对其进行研究分析有助于进行特定情况下的协议栈实现。文中对两种典型协议栈的实现方式进行比较,分析了两者在各个层次上的协议的实现,并比较其协议栈所占用资源,从而对其可靠性和进行二次开发的可能性进行研究,最后分析了这两种协议栈的实现方式的优缺点。两种协议栈的比较可为实现某种协议栈时提高其可靠性、可读性、可移植性提供有益参考。     

1Web Service体系结构研究

Web Service最突出的优势在于它是利用通用的数据传输协议和数据格式来实现服务的访问.本文基于Internet和Web应用的最新发展,研究Web Service体系结构框架,并介绍其主流协议和应用开发环境,旨在为新型Web应用开发提供指导.     

管理站点和管理代理通信设计

对简单网络管理协议中管理信息和协议数据单元进行扩充,设计并实现面向应用软件的网络监控系统。该系统提供对应用程序类中成员变量和成员函数的监控功能。研究管理站点和管理代理监控信息的交换和传输方式,包括网络应用软件监控系统协议栈的定义、通讯协议的设计等。阐述监控信息传输时报文分组和重组的必要性,并设计相应的算法。研究结果表明:该网络监控系统可用于实现管理站点和管理代理间监控信息实时、准确的交换与传输。     

基于以太网交换机的Linux协议栈虚拟化技术

网络协议栈虚拟化的目标是在一台网络设备上虚拟出多个协议栈以实现网络设备的一虚多功能。由于 Linux操作系统的网络协议栈本身是不支持这种网络协议栈虚拟化技术的,因此本文通过对Linux操作系统3.11.10版本 IPV4网络协议栈进行改造以实现 Linux网络协议栈的虚拟化,并在设备平台上验证了经过网络协议栈虚拟化改造后的以太网交换机对业务流的隔离功能。