硬件验证相关论文
为了提高低信噪比下跳频信号参数估计性能,提出了一种基于时频矩阵局部对比度的跳频信号参数估计算法。根据跳频信号和噪声的时频......
随着ASIC技术的不断发展,设计规模及复杂程度不断增加,前端设计的准确性对整个系统的重要性越来越大。因此,在前端设计中,除了进......
本文实现了一个低功耗,高速度的32位RISC处理器。芯片采用了ARM V4的指令集,哈佛结构和五级流水线。同时利用了改进的流水冲突检测......
IP(集成电路知识产权芯核)的仿真和硬件验证是IP开发中不可缺少的环节.文中基于FPGA(现场可编程门阵列)开发了一个IP仿真验证平台,......
Cadence新近推出的Palladium XP Ⅱ验证计算平台首发地选择到中国,作为系统开发增强套件的一部分,Palladium XP Ⅱ可显著缩短硬件......
硬件仿真已有四十年的发展历史,芯片复杂性的不断提高驱动了硬件仿真的发展(图P)。 “相比软件仿真,硬件仿真的速度快1000到20000倍......
本文研究了一种应用于数字音频无线传输系统中的前向纠错(FEC)算法和相应的电路设计,搭建了一个硬件验证平台,并在验证平台上完成了......
随着硬件设计技术的不断发展,硬件的规模越来越大、越来越复杂,硬件设计的正确性成为人们研究的热点。传统的验证手段主要有模拟、......
无线Mesh网络作为一种新型组网方式,是当前的一大研究热门。无线Mesh网络具有多跳、自愈、性能稳定等优势,并且可以通过多跳传输减......
里根政府在新的五年防御计划中,提出为弹道导弹防御增加70亿美元的经费,这表明它急于要加速研究和发展能快速部署一种积极防御系统......
介绍了RS码的编译码原理及其在FPGA上实现的硬件结构,设计了RS(204,188)编译码器.采用改进的无逆BM迭代算法求解译码关键方程,利用......
该文介绍了一种设计方法,它是通过使用晶片厂模型、论证测试模板以及与测试仪器的链接,实现RFIC设计并很快获得原型芯片。描述了蓝......
提出了一种利用Xilinx-FPGA的内部资源DCM实现多重数字时钟源设计的有效方法。DCM亦称为数字时钟管理器,它作为一个IP核的嵌入式结......
硬件验证是逻辑设计自动化工作中的重要组成部分,目前在该领域缺乏有效的工具支持。该文在给出VHDL的逻辑语义的基础上,使用一个自动变换......
恩智浦半导体公司近日宣布完成了FIDO U2F安全元件芯片的战略部署,该芯片可用于访问消费者云服务。谷歌(Google)已宣布支持FIDO U2......
为了使机器人专家容易掌握机器人抓取技术,Energid正在开发一个图形用户界面(GUI)的工具和可重复使用的软件工具箱,该工具箱包括轻......
随着信息技术的发展和各类数码产品的普及,有限的存储空间和数据传输带宽成为了难以突破的瓶颈。因此图像压缩成为了图像处理过程......
随着人类社会的发展,集成电路行业,特别是ASIC和FPGA技术取得了长足的进步,它们在人们的日常生活中的应用越来越广泛。与此同时,随......
本文提出了一种基于异步物理层的PCIe接口芯片FPGA验证技术,通过在PCIe接口与Serdes之间插入异步物理层接口,补偿物理链路与PCIe......
FPGA原型验证是一种在FPCA上搭建SoC和ASIC设计原型的方法学,可以方便的进行硬件验证和早期软件开发.此方法学也称为ASIC原型验证......
摘要:随着信息技术的发展,软硬件系统越来越复杂,其中软硬件系统设计的正确性至关重要。形式化验证方法在硬件设计和软件开发等领域发......
EDA技术是电子设计的发展趋势.阐述了基于VHDL语言的EDA设计流程,介绍了基于EDA技术的计时器设计的内部原理结构图及硬件验证结果,......
以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向......
赛灵思公司(Xilinx,Inc.)推出最新Virtex-6和Spartan-6FPGA连接开发套件,该套件将为客户提供一个综合的、易用的、经硬件验证的开发环境......
为提高纯电动汽车通信网络的带宽利用率和实时性,针对网络中随机性消息和周期性信息并存的特点,提出了一种时间触发总通讯协议(time......
随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸.符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据......
简要分析了USB体系结构,参考USB2.0标准构造了USB设备芯片的通信模型。基于这个模型,对USB设备芯片的核心——串行接口引擎(SIE)进行......
对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述.本文提出了用等式......
在OFDM系统的实现中,高速FFT处理换(FFT)算法特点的基础上,研究了一种高性能FFT处理器的硬件结构.此结构能同时从四个并行存储器中......
在微处理器或SOC芯片设计过程中,DMA控制器的硬件仿真验证是难以解决的问题之一,因为DMA控制器与包括微处理器核和内存控制器在内的......
赛灵思宣布推出用于光学互连论坛(OIF)SERDES成帧器第5级接口(SFI-5)标准的免费硬件验证参考设计和第三方IP。SFI-5接口用于光学传输设......
随着ASIC技术的不断发展,设计规模及复杂程度不断增加,前端设计的准确性对整个系统的重要性越来越大.因此,在前端设计中,除了进行......
随着ASIC技术的不断发展,设计规模及复杂程度也不断增加,前端设计的准确性对整个项目的重要性越来越大,因此,在前端设计中,除了进行软件......
Windows PreInstallation Environment (WindowsPE,简称WinPE),为Windows预安装环境,它包括运行安装程序、磁盘文件操作、连接网络共......
对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电......
随着ASIC技术的不断发展,设计规模及复杂程度也不断增加,前端设计的准确性对整个项目的重要性越来越大。因此,在前端设计中,除了进......
FPGA原型验证是一种在FPGA上搭建SoC和ASIC设计原型的方法学,可以方便的进行硬件验证和早期软件开发。此方法学也称为ASIC原型验证......
SpringSoft宣布,Sunplus凌阳科技采用CertitudeTM功能验证系统。Certitude软件使凌阳科技能够提高硬件验证的效率,并产生高质量的多......
作为一种形式化验证的主流方法,定理证明已被成功地应用于软件和硬件的验证。不同于模型检测技术,定理证明与状态无关,不存在状态空间......
射频识别技术(RFID)是一种利用射频信号自动、准确、便捷的信息采集技术。随着技术的发展,RFID的应用领域日益扩大,并将成为未来信......
LIN(Local Interconnect Network)总线作为一种现场总线,广泛应用于汽车网络中,相比于其他常用的汽车总线,例如CAN总线,LIN总线具......
一些重要的椭圆曲线密码算法需要计算两个输入无关的椭圆曲线标量乘法,以缩短这些算法的计算时间为目的,提出了一种伪流水线型椭圆......
用硬件描述语言实现了一种新的用于EDA实验教学的电子密码锁设计。该设计能把串行的按键输入转换为逻辑矢量,当此矢量与预置的相等......