RapidIO IP核的验证方法研究

串行RapidIO是针对高性能嵌入式系统芯片间和板间互连而设计的,是未来十几年中嵌入式系统互连的最佳选择之一.在以RapidIO为接口的SOC设计中,对RapidlO IP核的验证是其基础.基于对RapidIO协议的理解,研究了RapidlOIP核功能验证的方法、验证平台的搭建以及验证侧试过程的实施,提出了虚拟平台验证与FPGA原型验证相结合的验证方法.该验证过程搭建了可靠的验证平台,为RapidlO IP核的可靠工作提供了保证.文中的研究工作,从验证思路和方法上对于类似设计的验证具有一定的参考价值.     

一种RapidIO IP核的设计与验证

RapidIO总线是第三代总线的代表,是处理器之间实现互联的最佳选择。但国内对于此技术的研究尚处于起步阶段,使用者也多以购买国外成熟IP为主。文中基于RapidIO V1.3协议,介绍了一种RapidIO总线的设计和实现方法,之后对其进行了全面的虚拟平台测试和FPGA平台测试。测试结果表明,该RapidIO总线符合RapidIO V1.3协议,且设计实现方式简单,复用性好,可以作为RapidIO接口方便地应用于FPGA和芯片设计中。     

基于Vxworks的PCI-RapidIO桥驱动设计

为了使CPU能通过PCI接口连接到RapidIO系统中,利用PCI-RapidIO桥的硬件设备,在Vxworks操作系统平台上开发该设备的驱动程序。测试结果证明,该驱动程序能在PCI端对RapidIO总线进行操作,实现RapidIO的基本I/O、消息传递、系统启动和多播 功能。     

事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法(TBFV)．应用该方法，验证工程师可以在行为级对系统进行验证，无需了解设计的细节．为了对该方法进行示范，验证了8051的RTL级实现，并给出了8051指令集的TBFV模型．     

关于仿真模型验证

本文对国内外仿真模型的发展进行了述评,陈述了仿真模型验证的定义和有关概念,提出了模型验证的区间假设检验法,介绍了自相关函数检验法。     

利用方差分析法进行模型验证

计算机仿真在许多领域得到了越来越广泛的应用,这给模型验证方法的研究提出了更高的要求。众所周知,方差分析法是一种常用的统讣方法。它通过比较因素在不同水平下进行试验所得到的试验指标,来检验不同水平下试验结果的差别是否显著。如果将仿真模型与实际系统分别看作试验因素的水平,在其他条件相同时进行试验,获得两组试验指标。对所获得的数据利用方差分析法进行分析,则可检验其差别是否显著。若差别不显著,则表明仿真模型与实际系统在给定的显著性水平下是一致的。该文最后结合具体数据给出了该方法的具体应用,所得结论与利用其它验证方法得到的结论相一致,从而说明利用方差分析法进行模型验证是可行的。     

森林间隙率模型及模型验证

植被冠层间隙率的研究至今已有３０多年的历史。间隙率模型的研究一直沿着辐射传输方向及几何光学方向发展，本文试图将两者结合起来得到一个更为一般的间隙率模型。要验证模型，实验数据的获取是极其重要的，为了获得准确的数据，我们对观测进行了精心的设计，并在测量方法上有所创新，如“摄影法”，“平行光孔孔法”等都是经济而方便的方法。     

时间自动机模型验证的研究进展

基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展.介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向.     

基于uppaal的飞机着陆控制系统模型验证

为了避免飞机在着陆过程中出现事故,同时又能充分利用机场的跑道资源,对飞机数量多于跑道的情况进行了研究,采用了模型验证的方法.介绍了时间自动机的相关理论,以及基于该理论的验证工具uppaal,在此基础上使用uppaal工具对飞机着陆过程构造了模型,然后对模型的需求规范进行了验证,验证结果表明该模型不存在死锁问题,最终可以保证飞机安全和及时地着陆.     

CPS1432交换芯片的串行RapidIO互连技术

RapidIO技术是世界上第一个、也是目前唯一的嵌入式系统互连国际标准(ISO/IEC18372),串行RapidIO是针对高性能嵌入式系统芯片间和板间互连而设计的。本文介绍了CPS1432交换芯片与P2020组成的星型拓扑网络结构,包括硬件设计方案和软件设计要点,对高性能嵌入式互连设计具有很好的借鉴意义。     

C645x的串行RapidIO总线通信系统设计

以多片C645xDSP为应用对象,介绍DSP之间的串行RapidIO总线通信方式。详述串行RapidlO的结构层次、硬件设计和软件设计方法。在DSP的数字信号处理功能基础上应用串行RapidIO,使得数据传输速率达到10Gbps,从而实现语音、视频和数据的同时传输,满足高速数据传输系统的需求。     

TMS320C6678中的高速串行接口RapidIO研究

本文从嵌入式多核处理器之间高速数据通信的应用出发,结合对TI的TMS320C6678多核DSP的认识,开展了对RapidIO(SRIO)接口协议和TMS320C6678 SRIO模块结构的研究.并在此基础上,工程实现了TMS320C6678片间SRIO通信的详细配置过程,并对其通信性能进行了评测分析,为多核DSP系统级通信的设计提供了一定的参考.     

一种RapidIO网络路径分配策略

分析了Linux内核中RapidIO网络路径分配的机制,针对其在负载均衡方面存在的不足,设计并实现了一种基于A星算法的路径分配策略.通过在硬件环境中的测试结果表明,该策略可以有效地降低网络拥塞概率,提高网络传输效率.     

基于RapidIO的双路IEEE 1394b串行总线控制器的实现

介绍了1394b总线网络系统和1394b逻辑设计架构,阐述了基于RapidIO架构的双路1394总线控制器的硬件平台。在此平台上进行基于VxWorks操作系统的1394驱动开发和RapidIO驱动开发,并搭建1394b总线网路测试平台。验证了板卡上两路1394b总线控制器的基本通信功能,实现了板卡内部芯片间的高速互联,以及根节点和叶节点在不同通道上、在100 Mbit/s和400 Mbit/s速率模式下的总线网路通信。     

RapidIO 在多处理器系统互连中的应用

分析了传统的共享总线技术遇到的困难，介绍了新型总线技术RapidIO。结合实例，分析研究了RapidIO在多处理器系统互连中的应用。     

高速串行总线RapidIO与PCI Express技术分析比较

传统的分层共享总线已无法满足未来高性能嵌入式系统的I／O性能需求和快速高效的信号处理和数据传输。系统内的不同组件之间的彼此通信的速率已成为制约嵌入式系统性能提高的瓶颈。为了缓解I／O瓶颈问题,I／O技术及体系结构发生重大变革,使新型互联技术不断涌现,如PCIExpress,RapidIO等。本文主要对这两种串行总线技术分析比较。     

基于RDMA的Rapidl0用户态通信接口实现

作为一款高性能的嵌入式互联协议,RapidIO支持RDMA操作以获得高性能.目前,针对RapidIO通信接口只有以太网模拟器,这种实现机制限制了RapidIO通信性能的发挥.参考国内外基于RDMA的通信协议实现方法,并结合RapidIO互联协议的特点,提出了一套基于RDMA技术的RapidIO用户态通信接口实现方法.在此基础上,验证了通信接口的性能并对实现方案进行了多种优化.经比较,实现的RapidIO通信接口数据吞吐量是目前所有已知的RapidIO通信接口中最高的.     

一种基于RapidIO接口的嵌入式系统

针对嵌入式系统的高速通信需求,提出一种基于RapidIO接口的嵌入式系统,该方案以Xilinx的FPGA以及PowerPC嵌入式CPU为平台,建立RapidIO IP核与嵌入式系统的硬件和软件接口,对其功能进行验证.给出硬件结构图及关键部分的设计思路.采用逻辑仿真与物理仿真证明了方案的有效性.