设计验证

采用电子束探针测试（EBT）的IC单元设计验证技术

The IC Unit Design Verification with the E - beam Probe Station

伴随着系统规模的扩大和复杂性的增加，设计验证已经成为SOC设计中的一个巨大的挑战。

As the scale and complexity of systems increase , design verification has been a significant challenge of SOC design .

通用CPU设计验证中的等价性检验方法

Equivalence Checking for General Purpose CPU Design Verification

在上述工作的基础上，提出了基于网卡应用的IPSec协议安全芯片的整体结构，以及基于FPGA技术的设计验证方案。

Furthermore , a scheme of implementing IPSec security chip which is FPGA based is presented including its whole architecture .

CLP兼有逻辑编程和约束求解的能力，这使其在设计验证方面具有某些优势，尤其是对于高层次设计的验证。

CLP obtains powers from logic programming and constraint solving , which endows it with some advantages in design validation , especially in high-level design .

本文介绍了一款CPU芯片的AMBAAHB接口逻辑的设计验证工作，包括整体的验证环境，数据产生机制，以及数据检查机制。

This paper introduces verification of AMBA AHB-compatible interface logic of a CPU chip , including verification environment , mechanism for data generation and data checking .

内容覆盖工艺开发、设计验证、工艺变更的管理、设备维护、在线检测监控，以及PCM等。

The contents cover process developing , verification of design , management of process-changing , maintenance of equipment , on-line testing / monitoring , and PCM ( Process Control Monitor ), etc.

第三章：实验室环境组建并测试MPLSVPN，这部分工作主要通过实验设计验证并测试MPLSVPN的工作性能并为后面的生产实施作了准备。

Chapter 3 : " Building and testing MPLS VPN in laboratory " . This chapter discussed the test of the performance of the MPLS VPN by designing and building some special experiments in the laboratory .

用ERES-ET进行计算机设计验证

Design Verification of Computers by ERES-ET

为提高Baek-Zheng方案的解密效率，用逆运算代替Baek-Zheng方案中所用的点乘运算设计验证过程。

To improve the decryption efficiency of the Baek-Zheng scheme , a new threshold scheme was proposed based on pairing . In the new scheme , the dot product operation in the Baek-Zheng scheme is replaced by an inversion operation to design the verifying process .

经设计验证，满足使用要求。

Thought experiment proof , it can meet the requirement of use .

基于顺序栈的括号匹配程序设计验证。

Based on the order of the stack in parentheses matching program design verification .

最后通过几个运行实例进行系统设计验证。

Finally , some examples are used to testify whole design of the prototype system .

设计验证已经成为半导体芯片设计过程所面临的主要难题之一。

Verification of a design is today a major challenge in the semiconductor chip design cycle .

这一技术尝试，为集成电路的设计验证开辟了新的领域。

By using this new technique , some new area of IC design verification is opened .

设计验证和可用性测试

Design Validation and Usability Testing

设计验证是确保功能和时序正确的重要手段。

Design verification is one of the main means to insure the correctness of function and timing .

集成电路的设计验证

Design Verification of Integrated Circuit

由于知识产权的保护，包含黑盒的设计验证是一项非常重要的任务。

Because of the protection of IP , the design verification with black box becomes a very important task .

设计验证计划包括对部件和系统之间的实体界面的影响的测验吗？

Does the Design Verification Plan include tests that address the effects of physical interfaces between components or systems ?

实现了微处理器的设计验证。

The function of the microprocessor has been simulated and the design verification has been implemented on the simulation platform .

通过分析提出了解决这些问题的方法，并对解决后两问题而必须进行的设计验证计算作了较详细的介绍。

Design verifications by calculation necessary to be carried out to overcome the later two problems are introduced in detail .

最后是误差分析与实验部分，即设计验证部分。

At last , it 's analysis of the error and experiment part , namely , we validate the design here .

不仅如此，他还常常参与面向客户的一些活动，比如需求收集、设计验证以及销售支持。

As such , he is also often involved in client-facing activities such as requirements gathering , design validation , and sales enablement .

同时，结合实际介绍了芯片的设计验证及可测试性策略，最后提出了面向综合和测试的前端设计思想，并做了有益尝试。

After that , it introduces strategies of designing for verification & test , and put forward some design skills at the same time .

然而，由于外部面临恶劣的网络环境和内部缺乏系统化设计验证方法，网络安全协议变得非常脆弱和容易出错。

However , suffering from severe attacks and lack of systematic design and verification method , network security protocols become very fragile and error-prone .

设计验证计划规定的测验、方法、设备、验收准则、样本含量、设计水准、时间安排都清楚地记录了吗？

Are specified tests , methods , equipment , acceptance criteria , sample sizes , design levels , and time plans in the Design Verification Plan clearly documented ?

基于习得无助理论的动机缺乏模式和功能缺乏模式发展一个体育竞赛的努力缺乏综合模式，通过实验设计验证6个理论假设。

On the basis of motivational deficit and functional deficit of helplessness theories , this study to develop an integrative model in sport competitions through testing 6 theoretic hypotheses .

本文介绍秦山核电二期工程反应堆压力容器和堆芯的压降计算、旁流计算以及堆芯进口流量分配校核等计算分析方法和结果，提供了设计验证。

This paper presents the calculation of pressure drop and bypass flow in the reactor pressure vessel and core , the flow distribution in core inlet , and verification of the design verification .

接着在虚拟仿真平台和目标板上分别进行了设计验证，讨论了验证方法、验证过程和其中需要注意的问题，并分析了验证结果。

Then , the design verification on virtual simulation platform and target board are executed individually , the methods and process of verification are discussed , the probable problems are notified , and the results are analyzed .