high-level design & verification 顶层设计与验证
以上来源于: WordNet
At a high level it’ll provide simplified discovery, application, update and AIX configuration-verification properties across multiple systems.
简单地说，它将跨多个系统提供简化的发现、应用、更新和 AIX 配置确认属性。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
It is important to transform machine code to high level language program in program analysis, verification, maintenance and reformation.
将计算机可执行的机器代码转换为高级语言程序，这对于分析、理解、测试、验证、移植和改造程序非常重要。
应用推荐