验证工程

验证工程技术资料下载专区,收录6,942份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

6,942 份资源

验证工程 全部资料 6,942 份

PDF文档

该文提出了一种面向宿主机器代码编译的嵌人式软件功能验证方法.该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方...

7 次
PDF文档

随着多媒体信息技术的发展,数字信息技术和通信技术的迅速提高,对多媒体视频压缩图像的要求越来越高。AVS-作为我国第一个拥有自主知识产权的音视频编解码标准应运而生,AVS(Audio Video cod...

3 次
PDF文档

近年来,GPS技术迅速发展,并随着3G时代的到来,其应用领域日益广阔,需求量与日俱增。与此同时,随着电路系统设计越来越复杂,上市时间日益缩短,集成电路设计方法面临重大变革。因此采用新型方法学来设计GP...

6 次
PDF文档

随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证...

9 次
PDF文档

本文首先介绍了主流8位MCU(微控制器)的通用架构,通过比较分析主流国际MCU半导体供应商的MCU产品,结合作者在德国英飞凌公司的项目实践,分析了英飞凌XC866系列8位MCU的架构特点和功能特性。在...

6 次
PDF文档

近几年来,SOC设计已经成为当今集成电路设计中的一大亮点。其于平台的设计解决方案,加上丰富的第三方IP,可以快速的构建一个满足市场需求的SOC芯片。但是随着市场对SOC功能的要求逐渐加大以及工艺的提高...

3 次
PDF文档

  本文着重研究了多路数字节目复用器中的对多路预处理TS流复用的原理和基于FPGA的实现方法。首先论述了关于数字电视系统的一些基本概念,介绍了MPEG-2/DVB标准以及数字电视节目专用信息(PSI)...

9 次
PDF文档

简要介绍了嵌入式飞行参数传感系统(FADS)的空气动力学模型,并以美国的X-33飞行器为例,详细描述了该系统的算法实现。设计了FADS系统的验证方法,并且列出了另外一种FADS系统结构下的验证结果。结...

8 次