hardware verification的例句大全

The Study of Hardware Verification in Theorem Prover HOL

基于定理证明器HOL的硬件验证研究

with the continuous development of the integrated circuit industry, the size of the hardware circuit is growing more and more complex, hardware verification as an important part of the hardware design, but also become the research focus.

当前集成电路发展日新月异，硬件电路的规模也随着摩尔定律在不断增加，硬件验证作为硬件设计的重要组成部分，也成为人们的研究热点。

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）。

Hardware Verification Language and Simulation Verification Technology

用硬件验证语言实现模拟验证方法学

Formal Verification of Hardware Design Based on Rebeca Model

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

Using the new flow, we get high efficiency of hardware design and high reliability of system verification.

采用新的流程克服了又有流程系统设计和RTL设计分裂而造成的种种弊端，既简化了设计流程，又增加了验证的可靠性，提高了验证效率。

This paper describes the verification and debug system for the design of MIPS north bridge. The system is constructed by two parts, software simulation platform and hardware debug platform.

介绍了在设计MIPS计算机的北桥过程中开发的一套的验证和调试系统，内容包括北桥的软件功能仿真平台和硬件验证、调试平台。

Principle simulation, module design, necessary parameters for system are accomplished by Matlab, while verification of hardware module functions, adjustment of timing between modules and obvious validation for system function are achieved by comparing the difference of simulation waves given by Max+ Plus and Matlab.

通过比较Max+Plus与Matlab的仿真结果差异来实现硬件模块的功能验证、模块之间时序关系的调整和系统功能的直观验证；

Design and Verification of the Hardware String Matching System Based on Bloom Filter

基于Bloom filter的硬件字符串匹配设计与验证

they can focus on the expression of verification thought other than the one of language details by using verification languages other than hardware description languages to build verification environment.

本文提出通过验证语言而不是硬件描述语言来建立验证环境，帮助验证工程师将时间与精力集中在验证思想的表达上而不是对验证实现细节的表达上。

and gives a verification method to implement hardware circuits of assertion based verification in psl.

然后给出了用PSL实现基于断言的硬件验证方法。

Trusted computing technology can provide terminal device authentication, data integrity verification, hardware protection of critical information, data encrypted storage and some other security features.

但现有信任模型仍然存在一些不足。可信计算提供了终端设备认证、数据完整性校验、重要信息的硬件保护、数据的加密存储等一些安全功能。

Finally, we handled a simulation testing to the hardware logic design part to achieve a good functional verification.

最后对本文的硬件逻辑设计部分进行了仿真测试，实现了良好的功能验证。

The hardware uses bus topology, and software module concludes communication module, signature module, verification module, omnium-gatherum module, encryption and decryption module and key-generating module.

硬件体系结构采用总线结构，软件子系统由通信模块、签名模块、验证模块、杂凑模块、加解密模块和密钥生成模块组成。

The first six chapters detail the dial indicator design theory and method of each part, Finally in the chapter seven, concluded that the system hardware and software test dial indicator verification results and achieve the performance index.

文中前六章详细说明了百分表各部分设计的理论基础和实现方法，最后第七章中说明百分表检定系统实现的功能及达到的性能指标，提出了升级、改进百分表检定系统需要完成的工作。

The constitution of hardware and software in 3D simulation demo of Mars exploration platform is introduced, its working principle and functions are also analyzed. This platform is used for visualization algorithm verification, many experiments applications are given.

介绍火星探测三维可视化输出平台的软硬件组成，分析该平台的工作原理及功能特点，并利用该平台验证相关可视化算法，并给出了部分实验及应用成果的实例。

And then we debug the hardware circuit. Finally, on base of the completed hardware platform, a robot obstacle avoidance control strategy table is proposed according to the actual situation, which is proved by an experimental verification.

最后，在硬件平台搭建完毕的基础上，根据实际情况设计了机器人避障控制策略表，并通过了实验验证。