验证测试担负着检测芯片设计和检验测试程序正确性的双重任务，是芯片开发中不可或缺的重要环节。
The validation test has been a necessary and important process, which assumes the double task in checking the correctness of both the design and test programs.
数控加工图形仿真技术利用计算机图形显示来模拟实际加工过程，是验证数控加工程序正确性的有力工具之一。
Graphics Simulation technology in NC machining is a powerful tool for validating NC machining programming, which using the computer graphical output to simulate the real machining process.
提出了针对决定性应用程序分割图描述的一种程序正确性验证方法。
A program correctness verification method corresponding to decomposition diagram description of deterministic application programs is presented in this paper.
应用推荐