In the end, we did equivalence verification to RTL level code and gate-level-netlist to verify the equivalence between RTL code and gate-level-netlist after logic synthesis.

A Neural Network Based Approach to Recognizing the Verification Code

基于神经网络的网络验证码识别研究

互联网摘选

Basic block is the minimum unit of encryption and verification for code; data block is the minimum unit of encryption and verification for data.

基本块是代码加密和验证的最小单位；数据块是数据加密与验证的最小单位。

互联网摘选

This e-mail contains an important verification code that you will need if you forget your password.

如果您忘了密码，该邮件含有您需要的重要的验证码。

互联网摘选

Unit testing provides verification that the code does what is expected, not just spell-checking your typing.

单元测试检验代码是否做了开发人员希望它做的事儿，而不只是对类型进行拼写检查。

互联网摘选

Limits of selections of join points in B construct and constraints of verification of system are analyzed. It suggests that the scope of join points should be in IMPLEMENTATION components in B and the verification of aspect code should take the context of join points into consideration.

分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约，提出连接点的范围必须限制在IMPLEMENTATION组件中，方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。

互联网摘选

So I hand-keyed the information in, like a technophilic caveman, and waited for a verification code to arrive as a text message.

于是，我不得不原始地手动输入信息，等着接受验证码短信。

互联网摘选

B-method is a useful formal method of software development. It includes all the process from abstract verification to execute code.

B方法是一种较为实用的形式化软件开发方法，覆盖了从抽象规约到可执行代码生成的过程，拥有强有力的支持工具。

互联网摘选

The graphic verification code research and implementation based on Servlet

基于Servlet的图形验证码研究与实现

互联网摘选

Without verification, the code can do anything.

如果没有验证，代码可以进行任何操作。

provided by jukuu

In order to improve the precision and practicability of dynamic verification for Java mobile code, the exception handling procedure is analyzed and an approach is presented to trace and record the information flow caused by the exception handling in Java bytecode.

为提高Java移动代码动态安全验证的准确性和实用性，通过分析Java字节码中异常处理的方式与流程，提出了追踪、记录异常处理中信息流的方法。

互联网摘选

The Implementation of Graphic Verification Code Technology without Server Component on Asp

Asp环境下无组件图像验证码的实现

互联网摘选

Captcha component completes the verification code switch by using Servlet directly, without affecting other components in the page.

Captcha组件直接利用Servlet来完成验证码的即时切换，而不影响页面中其他组件。

互联网摘选

TDD is about design and verification of code.

TDD是为了设计并验证代码。

互联网摘选

Research on the Generation and Verification Technology of NC Code in Machine Tool of Bonnet Tool Polishing

气囊抛光机床数控代码生成与检验技术的研究

互联网摘选

Image based on PHP verification code

一种基于PHP验证码图片的实现

互联网摘选

A New Property Verification Method for Code Security Based on Pointer Logic

一种基于指针逻辑的代码安全属性分析方法

互联网摘选

A vote will count as valid only if you have submitted the verification code and voted in all of the4 categories.

有效票为同时对4个单项奖均投票，且正确输入验证码。

互联网摘选

A model-based embedded software production line should integrate model based development tools and other correlative tools, and hence, it covers the entire development process of embedded software, such as modeling, simulation, verification, code generation and testing.

而一个基于模型的嵌入式生产线开发环境，应该是集成模型开发工具和其他相关工具，包含了建模、模型仿真验证、代码生成、测试等嵌入式软件开发的全过程。

互联网摘选

IMPROVEMENT AND VERIFICATION OF BEAM PROPAGATION CODE FOR HIGH-POWER MULTIPASS LASER AMPLIFIER SYSTEMS Solution of the inverse of high-power multi-pass amplifier with improved successive iteration method

多程激光放大系统光传输程序的改进和校核高功率多程激光放大系统逆问题研究

互联网摘选

For verification of mastering code, firstly, simulated are the dispersion characteristics parameters of a sample tube from Huges Co., the United States, which are completely consistent with those tested and theoretically calculated results published from Huges Co.

首先选用Huges公司试验样管参数进行了模拟计算的校验，计算结果与Huges发表的测试和理论分析结果完全吻合，理论分析的计算结果甚至略好。

互联网摘选