基于ARM9的AFDX-ES SoC验证平台的构建与实现
以SoC软硬件协同设计方法学及验证方法学为指导，系统介绍了以ARM9为核心的AFDX-ES SoC设计过程中，软硬件协同设计和验证平台的构建过程及具体实施。应用实践表明该平台具有良好的实用价值。 ...
数值验证技术资料
📦 资源总数：6182
📄 技术文档：1
💻 源代码：11158
🔥 数值验证热门资料
查看全部6182个资源 »C语言算法速查手册
本书用C语言编写了科研和工程中最常用的166个算法，这些算法包括复数运算、多项式的计算、矩阵运算、线性代数方程组的求解、非线性方程与方程组的求解、代数插值法、数值积分法、常微分方程（组）初值问题的求解、拟合与逼近、特殊函数、极值问题、随机数产生与统计描述、查找、排序、数学变换与滤波等。同时结合这些算...
STM32DMA功能测试源代码，已经在开发板上进行了验证
STM32DMA功能测试源代码，已经在开发板上进行了验证...
设计与验证Verilog HDL（吴继华）
设计与验证Verilog HDL【作者：王诚、吴继华；出版社：人民邮电出版社】 本书以实例讲解的方式对HDL语言的设计方法进行介绍。全书共分9章，第1章至第3章主要介绍了Verilog HDL语言的基本概念、设计流程、语法及建模方式等。...
基于FPGA原型的GPS基带验证系统设计与实现
随着SoC设计复杂度的提高，验证已成为集成电路设计过程中的瓶颈，而FPGA技术的快速发展以及良好的可编程特性使基于FPGA的原型验证越来越多地被用于SoC系统的设计过程。本文讨论了GPS基带的验证方案以及基于FPGA的设计实现，并对验证过程中的问题进行了分析，并提出相应的解决办法。...
📄 数值验证技术文档
查看更多 »💻 数值验证源代码
查看更多 »📂 数值验证资料分类