In February 2009, Northrop Grumman passed Verification Compliance Review (VCR) -1, which audited the company's testing of the B-2 radar's hardware and basic operational modes.
2009年2月,诺斯罗普·格鲁曼公司通过第一次审核(VCR- 1),其中审核了公司在B - 2雷达的硬件和基本运作模式的测试。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础,曾经主要用于改良编译器优化,近来也用于硬件和软件验证。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成,其采用了指令集结构的协同模拟模型。
By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
The analysis result shows that the design of hardware platform is the solid base of many kinds of algorithm verification, production design and SOC realization for image fusion.
分析结果表明,该硬件平台为多种融合算法验证、产品设计和SOC芯片级实现奠定了坚实的基础。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
The design of system's hardware test platform is also presented for verification of its feasibility, and related test plans are introduced too.
为了验证设计的可行性,探讨了系统硬件测试平台的设计,并针对此平台介绍了其测试方案。
Our study makes use of APTIX equipment as development environment, and we have achieved validation of a digital system faster by means of accelerated hardware verification.
文中以APTIX设备为开发环境,应用硬件加速验证的方法来实现对数字系统的快速验证。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
Therefore it is necessary to design a powerful image processing hardware platform which can provide the verification of the high-speed and real-time image processing algorithms.
从而高速实时性的图像处理算法迫切需要一个供其运行的功能强大的图像处理硬件平台进行验证。
The results of the CAE and hardware verification showed good correlation.
CAE的结果和硬件验证显示了良好的相 关性。
D. Samples for Verification: for exposed door hardware of each type required, in each finish specified, prepared on Samples of size indicated below.
校验样品:针对暴露的每种所需类型的门用五金,每个指定的产品按照如下样品的尺寸来准备。
And finally, simulation results and verification by hardware test in FPGA show that the design of the IP core is valid and the proposed optimization strategy to reduce the memory is effective.
对以上优化设计方案进行了设计实现。仿真结果及FPGA硬件测试验证表明,文章提出的优化方案可行、有效,极大地降低了硬件资源占用和功耗。
The method is applied in fingerprint verification system about examinee, whose principle and basic structure, software and hardware design are discussed in detail.
该方法适用于在指纹验证系统有关考生,其基本原理和结构,软件和硬件设计进行了详细讨论。
In this paper, the derivation and verification, hardware implementation is given.
文中对此进行了推导验证,并给出硬件实现。
Functional verification which mostly relies on simulation is the major approach to ensuring the correctness of hardware design.
功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。
Assuming that the parallel CAE and hardware verification has a successful outcome, CAE can be specified as the basis of future verification.
假设并行的CAE和硬件验证具有成功的结果,可以指定CAE为将来验证的基础。
In order to continue to supply top of the line hardware and software - we have instituted a new verification system.
为了继续供应线的硬件和软件的顶端-我们已经制定了一个新的核查制度。
The paper introduced the technology of IP Reuse, hardware and software co-design, SOC verification, measurement and low-power design on the SOC design.
介绍了SOC设计中的IP核可复用技术、软硬件协同设计技术、SOC验证技术、可测性设计技术以及低功耗设计技术。
This paper aims at the verification currently in bottleneck problem, elaborated that current popular verification technologies and some hardware verification languages.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法。
It introduced the hardware design of temperature control for the thermocouple auto-verification system.
介绍了热电偶自动检定控温系统的硬件设计。
A new video decoding scheme based on embedded reconfigurable SoC is proposed. The software and hardware co-verification method is adopted in this scheme.
提出一种新的基于嵌入式可重构系统芯片的视频解码方案,采用了软硬件协同验证的方法。
The research work of the dissertation includes the following two parts: researching blind equalization technology and developing hardware and software of the verification platform.
本论文的研究工作主要分为两个部分:盲均衡算法的研究和算法验证平台软硬件的研制。
Your will set up a testing laboratory and maintain a verification environment for testing of application server products, which involves hardware and software installations, testing support.
懒得椅子一句翻译这句了,总之就是:你要负责建立、测试、维护测试环境。
Your will set up a testing laboratory and maintain a verification environment for testing of application server products, which involves hardware and software installations, testing support.
懒得椅子一句翻译这句了,总之就是:你要负责建立、测试、维护测试环境。
应用推荐