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.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
The method is applied in fingerprint verification system about examinee, whose principle and basic structure, software and hardware design are discussed in detail.
该方法适用于在指纹验证系统有关考生，其基本原理和结构，软件和硬件设计进行了详细讨论。
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验证技术、可测性设计技术以及低功耗设计技术。
A new video decoding scheme based on embedded reconfigurable SoC is proposed. The software and hardware co-verification method is adopted in this scheme.
提出一种新的基于嵌入式可重构系统芯片的视频解码方案，采用了软硬件协同验证的方法。
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.
懒得椅子一句翻译这句了，总之就是：你要负责建立、测试、维护测试环境。
The research work of the dissertation includes the following two parts: researching blind equalization technology and developing hardware and software of the verification platform.
本论文的研究工作主要分为两个部分：盲均衡算法的研究和算法验证平台软硬件的研制。
The research work of the dissertation includes the following two parts: researching blind equalization technology and developing hardware and software of the verification platform.
本论文的研究工作主要分为两个部分：盲均衡算法的研究和算法验证平台软硬件的研制。
应用推荐