去查网 logo

hardware verification

中文翻译硬件验证

同义词释义

    1)hardware verification,硬件验证2)Hardware/software co-simulation,软硬件验证3)Software/hardware co-verification,软硬件协同验证4)hardware/software co-verification,软/硬件协同验证5)hardware accelerated verification,硬件加速验证6)HVL,硬件验证语言

用法例句

    ANSI-C bounded model checker and hardware verification using CBMC;

    ANSI-C语言的有界模型检测及其在硬件验证中的应用

    The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.

    随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。

    With respect to the verification bottleneck of current digital ASICs design and for the purpose of describing and verifying design object in a higher abstract level,a software/hardware co-verification method is presented,the method is based on processor core model of SystemC and others model of Verilog.

    针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。

    A number of vertex processing unit programs on the platform had been run using software/hardware co-verification methods.

    在该平台上,采用软硬件协同验证的方法,成功地运行了多个顶点处理器程序。

    Implementation of efficient debug in virtual prototyping based on hardware/software co-verification;

    基于虚拟原型机的软/硬件协同验证中高效调试手段的实现

    To reduce the time to set up test bench and improve the verification efficiency a new language-Hardware Verification Language (HVL) is presented.

    为了缩短验证环境设计时间、提高验证效率,人们提出了一种新的语言——硬件验证语言 (Hardware Verification Language,HVL)。

    USB IP Verification Based on the Hardware Verification Language JEDA;

    基于硬件验证语言JEDA的USB IP核验证

    Design and Verification of an On-Board Reconfigurable Computer SoC;

    星载可重构计算机系统集成与软硬件验证研究

    SystemC~(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;

    硬件系统SystemC~(FL)设计模型的SPIN验证

    The Hardware Design and Verification of OOB Mode(A) Transport System in CableCARD;

    CableCARD中OOB Mode(A)传输系统的硬件设计及验证

    Hardware/Software Co-verification Solution Based on FPGA and ISS

    基于FPGA和ISS的软硬件协同验证技术

    Study on the Vector-based SW/HW Cosimulation Method

    Vector模式软硬件协同仿真验证方法研究

    Formal Verification of Hardware Design Based on Rebeca Model

    基于Rebeca模型的硬件设计形式化验证

    Design of HW/SW Co-verification Platform for SoC

    面向SoC的软硬件协同验证平台设计

    A SoC Hardware/Software Co-Verification Platform Based on PowerPC Processor

    基于PowerPC的SoC软硬件协同验证平台

    High Effecient Software and Hardware Co-verification Platform for Cable Modem SOC Design

    一种高效Cable Modem SOC软硬件协同验证平台

    Parallel architecture design and FPGA verification of hardware adaboost algorithm

    Adaboost算法并行硬件架构研究与FPGA验证

    You may check the properties of already installed hardware or add a new hardware device.

    您可以验证已经安装的硬件的属性或添加一个新硬件设备。

    Development and HIL Validation of ABS ECU for Commercial Vehicle;

    商用车ABS系统ECU的开发及硬件在环验证

    HW/SW Co-Verification Platform Research for MPSOC;

    面向多处理器核SOC的软硬件协同验证平台研究

    Software/Hardware Co-design andFPGA Verification ofIEEE Std. 802.11b MAC;

    无线局域网MAC控制器的软硬件设计及验证

    Formal Verification of Digital Hardware Based on HOL;

    基于高阶逻辑系统HOL的数字硬件形式化验证

    SoC Software and Hardware Co-design Verification Based on Multi-operating System

    基于多操作系统的SoC软硬件协同设计验证

    The Design and Implementantion of AMBA2.0 in MPEG2-DECODER IC and Co-Simulation

    AMBA2.0在MPEG-2 DECODER芯片中的实现及软硬件协同验证

全部查询工具

关于我们免责声明联系我们网站地图最近更新

免责说明:本站为非营利性网站,本站内容全部由《去查网》从互联网搜集编辑整理而成,版权归原作者所有,如有冒犯,请联系我们删除。

Copyright © 2020 - 2024 quchaw.com All rights reserved.浙ICP备20019715号