电子证据可采性完善刍议

目前,司法实践中认定证据的类型已经从最开始单纯的物证向电子证据等多元化证据转换。但是由于电子证据的特殊性,使其可采性认定也随之下降,针对司法实践的需要与法律规定存在一定的空白区域,使得对电子证据可采性问题进行探讨有了一定理论价值和现实意义,本文通过对电子证据可采性所出现的问题进行分析,并提出相应的立法完善建议。     

MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

基于SoPC的智能监控卡设计与实现

针对机载机电管理计算机传统监控板卡智能化不高、集成度低的缺点,介绍了一种基于s0PC（SystemonProgram-mableChip）方案实现的智能监控卡。该卡使用FPGA内嵌的PPC处理器管理本地各种资源,主机通过PCI接口完成与PPC处理器的指令及数据交互。在FPGA片内集成了多个成熟IP产品,提高了系统集成度,缩短了产品开发周期。着重阐述了FPGA核心电路的系统架构设计、各功能模块的逻辑设计与实现、软硬件协同验证等。实际的系统测试表明该产品具有功能丰富、集成度高、扩展性强的特点。     

图形处理器片段处理单元的设计与实现

针对图形处理器三维引擎中对图形的后期处理需求,实现片段写入帧缓冲区前的测试、混合、逻辑操作、累积、清除和屏蔽等关键功能。分析并提取了OpenGL核心库中的片段处理相关函数,确定了片段处理单元要实现的功能;合理安排多个片段处理功能的执行顺序,设计了基于流水线的片段处理单元结构;采用Verilog HDL对电路进行描述,采用 Cadence NC-Verilog 仿真工具进行虚拟验证,采用 Xilinx 的 ISE 工具进行综合,并在 Xilinx Virtex6 XC6VLX760 FPGA上进行原型验证,电路工作频率可以达到180 MHz,测试功能正确。在SMIC 65 nm CMOS工艺下,采用Synopsys Design-Compiler对设计进行综合,电路工作频率达到300 MHz,满足设计需求。     

一种CMOS1／2Mbps3．3V1553B收发器的设计与实现

1553B总线是一种广泛用于航天、航空以及军事领域内的通用数字总线。但随着应用系统的技术发展,原有1Mb—ps传输速率的收发器已经不能满足使用需求,因此文中提出一种2Mbps的收发器系统结构,并兼容1Mbps的传输速率。该收发器采用0．35μmsingle—polyCMOS工艺实现,流片测试结果表明,在1Mbps速率下,该收发器完全满足1553B总线协议要求。在2Mbps速率下,收发器的传输误码率小于10^-12在3．3V工作电压下,收发器静态功耗为17mA。     

一种IEEE1394物理层IP的FPGA原型验证方法

符合IEEE1394协议的物理层IP主要完成总线连接检测、连接管理、仲裁、数据收发等功能,是一款集成高速Ser-des的数模混合SoC。由于在Serdes的测试芯片设计完成前无法对1394物理层IP进行全面验证,因此文中在介绍1394 PHY物理层IP各部分功能的基础上,提出了一种以Xilinx的GTP代替1394物理层Serdes,构建FPGA原型验证平台,采用专用硬件逻辑和软件结合的方式,对1394物理层IP进行充分验证的方法。使用该平台可在Serdes设计未完成前对数字逻辑进行验证,大大缩短物理层IP的开发周期;通过软件控制下的测试项生成、测试过程监控、测试结果判断,可显著提高验证效率。     

基于FPGA的光纤通道网络监控卡设计与实现

光纤通道（ Fibre Channel,FC）监控设备在光纤通道网络中承担着数据监控、过滤和解析等任务,对FC网络的构建、运行、故障诊断和调试起着关键性的作用。文中在对FC协议进行深入研究的基础上,提出一种在线实时过滤的光纤通道监控卡解决方案,可实现FC链路数据的实时监控。该仿真卡采用软硬件协同工作的方式,由硬件电路实现监控卡中光纤通道链路数据过滤,软件负责过滤条件配置及筛选后数据分析,克服了软件过滤数据速度慢的缺点,保证了数据过滤的实时性;同时,由于采用软件配置,使得监控卡的应用更加广泛和灵活。光纤通道网络监控卡的研制,对加速FC网络的研制有积极的推动作用。     

一种PCI转OPB接口的设计与实现

IIC接口为OPB总线与IIC串行总线之间的高度可编程接口,在I2C总线上既可作为主设备,又可作为从设备。该部分设备挂在OPB总线上,PPC处理器通过PLB2OPB桥来访问这些寄存器。为使PCI主机能正确访问IIC接口寄存器,文中在对PCI总线协议和IIC协议进行深入研究的基础上,提出一种PCI接口到OPB接口的时序转换电路解决方案,以满足二者之间的通信需求。通过功能仿真和工程实践表明,该转换电路工作稳定,性能良好,较好地满足了应用需求。     

多总线接口信号处理SoC虚拟验证平台的实现

多总线接口信号处理SoC芯片是以信号处理DSP为核心集成了多个总线接口的片上系统,该SoC涉及的总线协议众多,验证复杂、工作量大,验证将是该SoC芯片开发的瓶颈。为了缩短多总线接口信号处理SoC芯片的开发周期,提高该SoC芯片的一次流片成功率,必须采用更为可靠和有效的验证方案。以SoC验证流程及方法为指导,重点介绍了多总线接口信号处理SoC虚拟验证平台的构建和具体实施。验证结果表明,该验证平台能高效、全面验证芯片功能,提高了芯片验证效率,缩短了整个芯片开发周期,为芯片的成功投片提供了可靠保障。