硬件验证相关论文
硬件仿真已有四十年的发展历史，芯片复杂性的不断提高驱动了硬件仿真的发展（图P）。 “相比软件仿真，硬件仿真的速度快1000到20000倍......
本文研究了一种应用于数字音频无线传输系统中的前向纠错（FEC）算法和相应的电路设计,搭建了一个硬件验证平台,并在验证平台上完成了......
随着硬件设计技术的不断发展,硬件的规模越来越大、越来越复杂,硬件设计的正确性成为人们研究的热点。传统的验证手段主要有模拟、......
无线Mesh网络作为一种新型组网方式,是当前的一大研究热门。无线Mesh网络具有多跳、自愈、性能稳定等优势,并且可以通过多跳传输减......
随着信息技术的发展和各类数码产品的普及,有限的存储空间和数据传输带宽成为了难以突破的瓶颈。因此图像压缩成为了图像处理过程......
随着人类社会的发展,集成电路行业,特别是ASIC和FPGA技术取得了长足的进步,它们在人们的日常生活中的应用越来越广泛。与此同时,随......
FPGA原型验证是一种在FPCA上搭建SoC和ASIC设计原型的方法学,可以方便的进行硬件验证和早期软件开发.此方法学也称为ASIC原型验证......
摘要：随着信息技术的发展，软硬件系统越来越复杂，其中软硬件系统设计的正确性至关重要。形式化验证方法在硬件设计和软件开发等领域发......
以一款视频图像定标器为研究对象,提出了一种适用于大规模数字集成电路的软件功能性验证平台,详细阐述了平台的结构、平台中测试向......
随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸.符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据......
简要分析了USB体系结构，参考USB2．0标准构造了USB设备芯片的通信模型。基于这个模型，对USB设备芯片的核心——串行接口引擎(SIE)进行......
对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述.本文提出了用等式......
在微处理器或SOC芯片设计过程中，DMA控制器的硬件仿真验证是难以解决的问题之一，因为DMA控制器与包括微处理器核和内存控制器在内的......
随着ASIC技术的不断发展,设计规模及复杂程度不断增加,前端设计的准确性对整个系统的重要性越来越大.因此,在前端设计中,除了进行......
Windows PreInstallation Environment （WindowsPE,简称WinPE）,为Windows预安装环境,它包括运行安装程序、磁盘文件操作、连接网络共......
对软件进行检测和验证是保证软件可靠验证标准C程序的工具--标准C语言的有界模型检测工具CBMC,它可以对用Verilog语言建好的硬件电......
积极发展核电是国家的能源战略,而核电数字化仪控系统,尤其是数字化保护系统(安全级控制系统)是电站安全、可靠、经济运行的关键装......
作为一种形式化验证的主流方法，定理证明已被成功地应用于软件和硬件的验证。不同于模型检测技术，定理证明与状态无关，不存在状态空间......
射频识别技术(RFID)是一种利用射频信号自动、准确、便捷的信息采集技术。随着技术的发展,RFID的应用领域日益扩大,并将成为未来信......
LIN(Local Interconnect Network)总线作为一种现场总线,广泛应用于汽车网络中,相比于其他常用的汽车总线,例如CAN总线,LIN总线具......
一些重要的椭圆曲线密码算法需要计算两个输入无关的椭圆曲线标量乘法,以缩短这些算法的计算时间为目的,提出了一种伪流水线型椭圆......
用硬件描述语言实现了一种新的用于EDA实验教学的电子密码锁设计。该设计能把串行的按键输入转换为逻辑矢量,当此矢量与预置的相等......
论文针对目前大规模集成电路设计要求，结合电力电子应用，设计了一个SPWM信号产生系统IP软核，该软核可广泛应用于系统级芯片设计中。 ......
