虫虫首页|资源下载|资源专辑|精品软件
登录|注册

验证技术

  • 系统芯片SoC原型验证技术

    随着系统芯片(SoC)设计复杂度不断增加,使得缩短面市时间的压力越来越大。虽然IP核复用大大减少了SoC的设计时间,但是SoC的验证仍然非常复杂耗时。SoC和ASIC的最大不同之处在于它的规模和复杂的系统性,除了大量硬件模块之外,SoC还需要大量的同件和软件,如操作系统,驱动程序以及应用程序等。面对SoC数目众多的硬件模块,复杂的嵌入式软件,由于软件仿真速度和仿真模犁的局限性,验证往往难以达到令人满意的要求,耗费了大最的时间,将给系统芯片的上市带来严重的影响。为了减少此类情况的发生,在流样片之前,进行基于FPGA的系统原型验证,即在FPGA上快速地实现SoC设计中的硬件模块,让软件模块在真正的硬件环境中高速运行,从而实现SoC设计的软硬件协同验证。这种方法已经成为SoC设计流程前期阶段常用的验证方法。 在简要分析几种业内常用的验证技术的基础上,本文重点阐述了基于FPGA的SoC验证流程与技术。结合Mojox数码相机系统芯片(以下简称为Mojox SoC)的FPGA原型验证平台的设计,介绍了Mojox FPGA原型验证平台的硬件设计过程和Mojox SoC的FPGA原型实现,并采用基于模块的FPGA设计实现方法,加快了原型验证的工作进程。 本文还介绍了Mojox SoC中ARM固件和PC应用软件等原型软件的设计实现以及原型验证平台的软硬协同验证的过程。通过软硬协同验证,本文实现了PC机对整个验证平台的摔制,达到了良好的验证效果,且满足了预期的设计要求。

    标签: SoC 系统芯片 原型 验证技术

    上传时间: 2013-07-02

    上传用户:dsgkjgkjg

  • 基于FPGA组的ASIC逻辑验证技术研究

    随着ASIC设计规模的增长,功能验证已成为整个开发周期的瓶颈。传统的基于软件模拟和硬件仿真的逻辑验证方法已难以满足应用的要求,基于FPGA组的原型验证方法能有效缩短系统的开发周期,可提供更快更全面的验证。由于FPGA芯片容量的增加跟不上ASIC设计规模的增长,单芯片已无法容纳整个设计,所以常常需要对设计进行逻辑分割,将子逻辑块映射到FPGA阵列中。 本文对逻辑验证系统的可配置互连结构和ASIC逻辑分割算法进行了深入的研究,提出了FPGA阵列的非对称可配置互连结构。与现有的对称互连结构相比,该结构能提供更多的互连通道,可实现对I/O数量、电平类型和互连路径的灵活配置。 本文对逻辑分割算法进行了较深入的研究。针对现有的两类分割算法存在的不足,提出并实现了基于设计模块的逻辑分割算法,该算法有三个重要特征:1)基于设计代码;2)以模块作为逻辑分割的最小单位;3)使用模块资源信息指导逻辑分割过程,避免了设计分割过程的盲目性,简化了逻辑分割过程。 本文还对并行逻辑分割方法进行了研究,提出了两种基于不同任务分配策略的并行分割算法,并对其进行了模拟和性能分析;验证了采用并行方案对ASIC逻辑进行分割和映射的可行性。 最后基于改进的芯片互连结构,使用原型系统验证方法对某一大规模ASIC设计进行了逻辑分割和功能验证。实验结果表明,使用改进后的FPGA阵列互连结构可以更方便和快捷地实现ASIC设计的分割和验证,不但能显著提高芯片间互连路径的利用率,而且能给逻辑分割乃至整个验证过程提供更好的支持,满足现在和将来大规模ASIC逻辑验证的需求。

    标签: FPGA ASIC 逻辑 验证技术

    上传时间: 2013-06-12

    上传用户:极客

  • 基于FPGA的64位CPU验证平台的建立

    现代IC设计中,随着设计规模的扩大和复杂度的增长,验证成为最严峻的挑战之一。在现代ASIC设计中,很难用单一的验证方法来对复杂芯片进行有效的验证,为了将设计错误减少到可接受的最小量,需要将一系列的验证方法和工具结合起来。 在64位全定制嵌入式CPU设计过程中,使用了多种验证技术和方法,并将FPGA验证作为ASIC验证的重要补充,加强了设计正确的可靠性。 论文首先介绍了64位CPU的结构,结合选用的Xilinx的Virtex

    标签: FPGA CPU

    上传时间: 2013-04-24

    上传用户:003030

  • system verilog与功能验证 钟文枫 编,高清文字版

    本书重点介绍硬件设计描述和验证语言 system verilog的基本语法及其在功能验证上的应 用;书中以功能验证为主线,讲述基本的验证流程、高级验证技术和验证方法学,以 system verilog为基础结合石头、剪刀、布的应用实例,重点阐述了如何采用 system verilog实现 随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术;最后,通过业界流行 的开放式验证方法学 OVM介绍如何在验证平台中实现可重用性。

    标签: system verilog

    上传时间: 2022-05-12

    上传用户:lostxc

  • 基于ARM的嵌入式指纹识别系统

    生物识别技术代表了未来身份验证技术的发展方向,而指纹识别技术又是最可靠、最有效的生物识别技术之一。目前,指纹识别技术是优于其它生物识别技术的身份鉴别方法。这是因为人的指纹各不相同、终生基本不变的特点已经得到公认,特别是现有的指纹识别算法已达到识别迅速、准确可靠的水平,是完全可以商业化的生物识别技术。 传统的指纹识别系统多是基于PC平台,这种系统将指纹图像处理和指纹匹配甚至指纹采集控制都放在PC平台上,在获得了较高速度和开发效率的同时,缺点也是显而易见的,其体积庞大,成本较高。而已有的嵌入式指纹识别系统多是基于单片机和DSP的,不是在运算速度上受到硬件限制,就是在系统的扩展性、可维护性及用户交互上有诸多不足。 近年来指纹识别应用的普及对自动指纹识别系统的便携性和易用性提出了更高的要求,指纹识别技术正向着小型化和嵌入式的方向发展。在微电子领域,以ARM、DSP、FPGA为代表的嵌入式微处理器的性能飞速提高,为构建嵌入式系统提供了硬件保证。 ARM是当前最为流行的32位RISC处理器架构,目前ARM占RISC处理器市场的七成左右。三星公司的S3C2410是基于ARM920T内核的通用32位微处理器,它具有高性能和低功耗的特性,被设计用于手持设备和通用嵌入式系统。 嵌入式系统对操作系统和其上运行的软件有特别的要求。针对本课题所采用的ARM硬件平台,详细介绍了嵌入式操作系统Arm-Linux的移植。分别说明了交叉编译工具链的安装、引导装载器的移植和Linux内核的裁减和交叉编译过程。为了运行应用程序,还介绍了文件系统的构建。 指纹识别系统需要指纹采集设备。FPS200是Veridicom公司推出的第三代半导体指纹传感器,是一款专为嵌入式系统设计的高性能、低成本、低功耗的电容式固态指纹传感器。本文详细阐述了基于FPS200的USB接口指纹采集卡的设计与实现。 指纹图像处理与匹配是整个系统的重要环节,论文介绍了图像处理与匹配的一般概念,并提出了新的指纹匹配方法。指纹匹配是自动指纹识别中的一个难点。现有的指纹匹配方法大致可以归结为图形匹配和人工神经网络匹配两大类,本文提出的基于线段的特征点匹配算法属于图形匹配。 嵌入式系统需要完善的软件支持。随着嵌入式技术的飞速发展,用户交互界面也由传统的字符界面向图形界面转变,图形用户界面系统得到了长足的发展。MiniGUI 是一个非常适合于工业控制实时系统以及嵌入式系统的可定制的、小巧的图形用户界面支持系统。本文介绍了基于MiniGUI的可视化指纹识别软件设计。 综上所述,本文针对特定硬件条件,构建了定制的嵌入式操作系统;设计了支持USB数据传输的指纹采集卡;指纹图像的滤波、提取特征和指纹特征匹配均针对嵌入式系统的实际情况进行了优化;利用MiniGUI图形支持库完成了界面美观友好的可视化指纹识别程序。系统具有安全可靠、易于扩展、性价比高等优点。

    标签: ARM 嵌入式 指纹识别系统

    上传时间: 2013-08-01

    上传用户:小儒尼尼奥

  • Verilog HDL 综合实用教程

    ·  内容提要 本书的鲜明特色在于帮助读者全面、正确地理解Verilog硬件描述语言的综合。本书以电路综合为目标,针对各种语言结构逐一讨论了其可综合性、仿真与综合时的语义差别以及相关的各种相关的各种用法,给出了大量示例,对各种似是而非的用法作了对比,指出了其语义差别和所综合出的电路在功能上的差异。本书的另一特色在于详细介绍了设计模型的优化技术和验证技术。本书内容全面、深

    标签: nbsp Verilog HDL 实用教程

    上传时间: 2013-07-01

    上传用户:努力努力再努力

  • 以电路综合为目标

    以电路综合为目标,针对各种语言结构逐一讨论了其可综合性、仿真与综合时的语义差别以及相关的各种用法,对各种似是而非的用法作了对比,指出了其语义差别和所综合出的电路在功能上的差异,详细介绍了设计模型的优化技术和验证技术

    标签: 电路

    上传时间: 2014-01-17

    上传用户:aa17807091

  • MATLAB SIMULINK 通信系统建模与仿真实例分析

        本书系统地介绍了通信建模仿真方法和模型验证技术,并结合作者近年在教学科研中所设计的大量基础的和较深入的建模仿真实例,详细讨论了 Matlab/Simulink 作为仿真实现平台在电子与通信工程中应用的基本方法、技巧和难点。本书重点讨论了建模仿真原理和相关的数值计算方法、模拟通信系统、模数转换、调制与编码、信道模拟、载波与符号同步、信道均衡、跳频系统和直接扩频系统、通信模型正确性评估、仿真数据验证和数据处理技术等内容,并在仿真实例中展示了科学研究论文和报告所必须的数据处理和表现技巧。    本书提供了约 150 个建模仿真实例, 80多道思考题,以及全部实例代码和一个电子教案。这些实例根据基本数学原理,结合 Simulink 的 S 函数编程,也使用了通信工具箱、信号处理工具箱和相关模型库的模块和函数,以便于读者追源求本,深入理解建模和仿真的实质。    本书可作为高等院校通信工程、电子信息类专业的本科生和研究生系统仿真课程的教材或进行相关课题研究的参考书,也可作为相关专业课程设计和毕业设计等综合性实践教学的指导材料,还可供通信工程专业技术人员、教师等作为解决通信系统设计、评估和建模仿真领域实际问题的参考资料。

    标签: Matlab 通信建模

    上传时间: 2022-04-23

    上传用户:lw125849842

  • 验证用户名是否有效。用到了AJAX技术

    验证用户名是否有效。用到了AJAX技术

    标签: AJAX 用户

    上传时间: 2014-12-04

    上传用户:脚趾头

  • 特别是在题库管理模块中对自动组卷功能常用的算法(包括随机选取法、回溯试探法和遗传算法)进行了比较。对于较流行的验证码技术也给出了具体实现。

    特别是在题库管理模块中对自动组卷功能常用的算法(包括随机选取法、回溯试探法和遗传算法)进行了比较。对于较流行的验证码技术也给出了具体实现。

    标签: 算法 题库 模块 自动

    上传时间: 2013-12-10

    上传用户:sqq