📚 协议验证技术资料

📦 资源总数：10561

💻 源代码：9550

协议验证是确保数字系统中通信协议正确无误的关键技术，广泛应用于网络设备、嵌入式系统及物联网领域。通过形式化方法与仿真测试相结合，协议验证能够有效检测并修复潜在错误，提高系统可靠性。掌握这一技能对于从事硬件设计、软件开发以及网络安全工作的工程师来说至关重要。本页面汇集了10561份精选资源，涵盖从基础理论到高级应用的全面资料，助力您深入理解协议验证的核心概念与实践技巧，加速项目开发进程。

🔥 协议验证热门资料

查看全部10561个资源 »

PCI从设备控制器的FPGA设计与实现

随着星载电子系统复杂度、小型化需求的提高，SoC已经成为应对未来星载电子系统设计需求的解决途径。为了简化设计流程并且提高部件的可重用性，在目前的SoC设计中引入了称之为平台的体系结构模板，用它来描述采用已有的标准核来开发SoC的方法。在星载电子系统中常用部件的分类设计，最终建立一个包括多种功能部件，...

📅 2013-06-07 👤 tccc

FPGA PCI 设备控制器

机载双基地SAR成像算法的FPGA设计与实现

双基地合成孔径雷达(简称双基地SAR或Bistatic SAR)是一种新的成像雷达，也是当今SAR技术的一个发展方向，在军用及民用领域都具有良好的应用前景，近年来成为研究的热点。本文则侧重于研究双基地SAR的距离一多普勒(R-D)成像算法的实现。在双基地SAR系统及成像算法的研究方面，推导了双基地...

📅 2013-07-26 👤 是王洪文

FPGA SAR 机载双基地

AXI协议

axi协议的文档，介绍AMBA Advanced eXtensible Interface (AXI) Protocol...

📅 2013-04-24 👤 tongda

AXI 协议

基于FPGA技术的星载高速复接器设计

随着空间科学任务的增加,需要处理的空间科学数据量激增,要求建立一个高速的空间数据连接网络.高速复接器作为空间飞行器星上网络的关键设备,其性能对整个空间数据网络的性能起着重要影响.该文阐述了利用先入先出存储器FIFO进行异步速率调整,应用VHDL语言和可编程门阵列FPGA技术,对多个信号源数据进行数据...

📅 2013-07-17 👤 wfl_yy

FPGA 星载复接器

基于IEEE80211a的OFDM基带传输系统的研究及其部分模块的FPGA实现

IEEE802旗下的无线网络协议引领了无线网络领域的新革命，其不断提升的速度优势满足了人们对于高速无线接入的迫切要求，在这其中，OFDM技术所起的作用不可小觑。随着FPGA、信号处理和通信技术的发展，OFDM的应用得到了长足的进步。在此情况下，以OFDM技术为核心实现数据传输的原型机系统显得应情应景...

📅 2013-07-13 👤 远远ssad

80211a 80211 IEEE FPGA