模块验证

词组短语

module verification

与模块验证相关的网络例句 [注：此内容来源于网络，仅供参考]

The feasibility of the analog birefringent structure is verified through an experiment.

实验中，用单级模拟双折射模块验证了该结构的可行性。

Then, on the basis of the functional verification, the system architectures of the radio frequency analog front end and the control logic circuit for the passive UHF RFID transponder are studied and designed with low-power design techniques. The RF AFE circuit includes rectifier, matching network, backscatter, regulator, AM demodulator, voltage reference, local oscillator and power on reset circuit, and so on. The control logic circuit contains clock synchronization module, decoding module, coding module, cyclic redundancy checksum module, power management unit, control unit, shift register and memory.

然后，在功能验证的基础上，重点研究了无源超高频射频识别标签芯片射频模拟前端电路和控制逻辑电路的系统架构，并采用低功耗设计技术对其进行了设计，射频模拟前端电路设计包括了整流器、匹配网络、反向散射电路、稳压器、AM解调器、电压参考源、本地振荡器以及上电复位电路等，控制逻辑电路设计包括了时钟同步模块、解码模块、编码模块、CRC校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

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。

Because the implanted hash function of HMAC is implemented as an individual function block, this block could be replaced easily according to the security request. The high capability of withstanding attacks of HMAC-ECDSA algorithm is proved by using modular arithmetic.

从密码学理论分析，HMAC可以使用密钥且HMAC算法的验证只在当时有效；在程序设计中实现HMAC时，可以将嵌入的哈希算法作为一个独立的模块，根据安全强度的需求替换哈希算法模块；在对攻击高抵抗性的证明中，利用模运算对HMAC-ECDSA算法的安全强度进行了验证。

In addition, an experimental system using C language is established, including modules such as representation of waveform polynomial, decision of path senstization, delay computing, clocking based on single-period sensitization, clocking based on multi-period sensitization, test generation considering noise and transformation from bit-level waveform polynomial to word-level polynomial model. They respectively used to test models and techniques proposed in this paper.

另外，：基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

A new method that transforms bitlevel waveform polynomial to word-level polynomial model is given, allowing for simple composition This method offers an efficient way to determine whether two descriptions from different design levels are equivalent, so component reuse, synthesis and verification across design levels can be realized. In addition, an experimental system using C language is established, including modules such as representation of waveform polynomial, decision of path senstization, delay computing, clocking based on single-period sensitization, clocking based on multi-period sensitization, test generation considering noise and transformation from bit-level waveform polynomial to word-level polynomial model. They respectively used to test models and techniques proposed in this paper.

另外，基于C语言本人设计开发了一个实验软件系统，该系统包括波形多项式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

A kind of multifunctional hardware-system of monitoring device for motor vehicles road test was designed, based on vehicles-bus technology and GPRS.which adopts AU1250 embedded CPU to acquist data from the CAN/LIN bus in vehicles traffic environment ,with GPS and image monitoring as environment monitoring complements, at the same time to interact with monitoring center,function of vehicle road test data acquisition and remote monitoring and management was realized.

&一种多功能汽车行车试验监控装置硬件设计&一文介绍了一种具有远程GPRS通信模块，局部CAN、LIN 总线通信，具有位置信息采集GPS模块和图像模块的硬件架构，较好的进行了硬件设计，但文中缺乏明确的设计目标，如通讯带宽需求如何，选择的GPRS通信模块是否合乎要求，能否实现实时图像远程传输；同时文中缺乏实际验证数据，论文题目的&多功能&体现在何处。

The model designs an extensible authentication to replace the way which the expositive security uses on Web-Tier and an authentication for controlling the accessing to the protect resource on EJB-Tier. The improved model uses directory server to manage the role information. It reduces the complex of application development, and increases the ability of migrate other J2EE platform.

针对以上不足，本文提出了改进的安全策略模型，在Web层设计可扩展的验证模块来代替原来声明式安全采用的验证机制；在EJB层设计验证模块用于对业务逻辑资源的访问控制；在角色信息管理方面，使用目录服务器存储用户角色，来降低系统开发复杂度，提高系统的可移植性。

The author has finished simulation and verification every subcircuit, and a few important electrical parameter and characteristic.

作者在Cadence工作站上采用先进的0.6μm BiCMOS工艺模型，使用SpectureS和Hspice等EDA仿真工具对其各个模块进行功能仿真验证，并对关键模块进行了具体参数的仿真验证。

The identification authentication mainly completes is two levels of managers' identification authentications, the division different user uses this software the right; The data manipulation module mainly completes the student to synthesize the information the input, looks up shifts includes: The student information, the student result, the student bedroom information, the student party member information, the student cadre information, the student comment the superior information and so on; The foundation data module mainly completes to each is the specialized establishment and this sysop's establishment (includes: Increase, deletion user).

身份验证主要完成的是二级管理员的身份验证，划分不同用户使用该软件的权利；数据操作模块主要完成学生综合信息的录入、查询(包括：学生信息、学生成绩、学生寝室信息、学生党员信息、学生干部信息、学生评优信息等)；基础数据模块主要完成对各系专业的设置和本系统操作员的设置。

与模块验证相关的网络解释 [注：此内容来源于网络，仅供参考]

Associative：关联的

(2)关联的(Associative)通过创建零件、装配、绘图等方式,可利用Proe/ENGINEER验证模型. 由于各功能模块之间是相互关联的,如果改变装配中的某一零件,系统将会自动地在该装配中的其他零件与绘图上反映该变化. (3)参数化(Parametric) Pro/ENGINEER为一参数化系统,

conformance：符合性

何谓 ECMAScript 符合性在 ECMA-262 中,ECMAScript 符合性(conformance)有明确的定义. 一个脚本语言必须满足以下四项基本原则:符合的实现必须支持 Unicode 字符标准(UCS)DOM 遍历和范围 - 描述遍历和操作文档树的接口 DOM Level 3 引入了以统一的方式载入和保持文档的方法(包含在新模块 DOM Load and Save)以及验证文档(DOM

correctness proof：正确性证明

Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,

modified workweek：变动的工作周

modified replication 修改型验证实验 | modified workweek 变动的工作周 | modularity 模块化