And formal verification is one form of static verification.
其中形式验证是静态验证的一种。
Assumptions are similar to assertions at runtime, but differ during static verification.
假定与运行时断言相似，不同之处在于静态检验的方式。
Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
It has been shown that the static verification, which is a substitute for dynamic verification, is more suitable for VLSI's.
由此可以说明，静态验证完全可以取代动态验证，并且静态验证比动态验证更加适合超大规模集成电路的发展趋势。
One of our engineers, Orion Hodson, had written a new FAT32 file system from scratch using all of the static verification features in Sing#.
我们其中的一个软件工程师OrionHodson，完全重新动手写了一个全新的FAT32文件系统，该系统使用了Sing#中的所有状态检验的特性。
A static verification methodology for circuit design-flow of ASIC's based on very deep sub-micron CMOS technology is described in the paper.
介绍了基于深亚微米cmos工艺asic电路设计流程中的静态验证方法。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
A comparison of the static verification methodology with the dynamic verification methodology indicates that the former is more efficient and more accurate than the latter.
将这种验证方法与以往的动态验证方法进行了比较，结果表明，前者比后者更加高效和准确。
Verification of the clue can be implemented by way of clue investigation, mainly examining its source, reality and causality before being processed by means of static and dynamic state.
对线索的查证可以采取立线查证的方法，主要查证其来源、真实性和因果关系，然后进行静态和动态处理。
Static timing analysis is widely applied in timing verification because of its high speed and great capacity. The gate delay computing is a critical part of static timing analysis.
静态时序分析由于速度快和容量大而广泛应用于时序验证，而门延时的计算则是静态时序分析中的关键部分。
Verification of the clue can be implemented by way of clue investigation, mainly examining its source, reality and causality before being processed by means of static and dynam...
对线索的查证可以采取立线查证的方法，主要查证其来源、真实性和因果关系，然后进行静态和动态处理。
The robot has used the fuzzy logic control algorithm to static obstacle avoidance, and through experimental verification this algorithm feasibility.
对机器人静态避障采用了基于模糊逻辑的控制算法，并通过实验验证了该算法的可行性。
Verification of the clue can be implemented by way of clue investigation, mainly examining its source, reality and causality before being processed by means of static and dynamic state. Ca...
对线索的查证可以采取立线查证的方法，主要查证其来源、真实性和因果关系，然后进行静态和动态处理。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
Finally USES FPGA platform for BIST functions and timing verification, and through design compiler, static timing analysis, automatic placing and routing to achieve a BIST system layout.
最后利用FPGA平台实现了BIST的功能和时序验证，并通过综合、静态时序分析、自动布局布线实现了BIST系统的版图设计。
Propose a security vulnerabilities detection model which use static analysis and dynamic verification strategy.
提出了一个静态分析，动态验证的安全漏洞检测模型。
The kind of virtual simulation provides basis for the verification of dynamic and static interference, path planning, and the parametric design of the grinder.
文中的虚拟仿真与分析也为机床结构设计中的动静态干涉、轨迹规划的合理性及参数设计的合理性评价提供了依据。
The virtual prototype was founded according to the structure's characteristics, and the static state verification was finished.
根据该定位机构的特点，建立了虚拟样机模型并完成静态校核。
The virtual prototype was founded according to the structure's characteristics, and the static state verification was finished.
根据该定位机构的特点，建立了虚拟样机模型并完成静态校核。
应用推荐