查询词典 verification

Four-level read scheme is adopted for General Purpose Register design in order to reduce the fan-out of the data bus.As to verification, much research is focused on FPGA prototype technology. After making a detailed verification strategy, FPGA verifation platform is built.

探讨了Flash存储器的在线编程问题，利用FPGA实现了对Flash的在线编程；遵照FPGA原型实现流程对设计进行了仿真、综合和布局布线；对边界扫描测试技术进行了研究，开发了用于FPGA边界扫描测试的软件。

The first level of verification used the characteristic parameter technique, and also proposed an on-line signature verification algorithm based on the one dimensional Gauss probability distribution model.

以前面已经分割形成的曲线段为动态匹配对象，可以实现参考模板与测试签名之间曲线段的"一对一"或者"一对多"的动态匹配。

The period verification is one of the general requirements of verification and test laboratories.

期间核查是对校准实验室和检测实验室的通用要求之一。

English Description The goal of this course is that the students will learn a system design and verification methodology under a provided system protoyping platform. First, the system partitioning techniques will be applied from given a system specification. Then, system hardware and software design method base on FPGA systems will be implemented and studies,respectively. Finally, System functional verification techniques will be discussed.

Chinese Description 本课程的目标在於使学生学习利用FPGA系统来完成一个系之设计与验证的方法，同时在系设计过程了解如何从系统规格之下做软硬体的分割，进而学习系统之软体及硬体之设计技术，系统设计的功能之正确性的验证方法也将在本课程中探考。

Based on ZDFV work, the thesis focuses on the following key problems: how to construct an efficient synthesis engine; how to improve the structural similarity of the two designs; how to verify data path designs efficiently; how to use half adder graph to perform arithmetic unit verification; and how to use the hybrid SAT engine in the existing verification flow.

为了解决这个问题，本文作者结合自主研发等价性验证系统的工作，在高效综合引擎的研究与实现、单个模块的相似性研究、数据通路的验证方法、结合半加图的算术单元验证以及基于混合SAT引擎的RTL验证流程等五个方面开展了研究：1。

Organize verification and preinstall of modifying parts, and confirm the results of Engineering Change Verification

组织变更零件验证、试装报告，确认工程变更验证结果。

In this verification, according the topology of PCI Express, I have done some modification of the most popular verification environment at this moment, for example: add some modules with self-check function which has improve the efficiency of debug.

本次验证工作中，以目前国内外最流行的验证环境模型为基础，结合PCI Express的实际情况，做了许多有效的改进，增加了一些具有自动检查结果功能的模块，有效的提高了此后的调试过程的效率。

What is your opinion on the importance of applying informal and semi-formal verification techniques for system verification?

对此你有何看法的重要性，采用非正式和半正式核查技术的系统验证？

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

The new protocol can implement neat access control of audit logs verification based on recorder ID, time, subject, object and recorder type, so the new protocol is more efficient at access control of audit log verification than SK protocol.

在查证阅读证据记录的权限申请与分配方面新的协议与SK协议相比更加灵活和符合实际问题而且通信量更少。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。