The paper presents a modular design based on object-oriented technology for extensible digital oscilloscope automatic verification system.
本文讨论应用面向对象技术实现可扩展数字示波器自动检定系统的模块化设计。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
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系统的版图设计。
This thesis is mainly about the study and design of the Automatic fingerprint verification system applying for one to one match, including the key algorithm.
论文主要对应用于“一对一匹配”的指纹认证系统的设计及其关键算法的实现进行了研究。
In order to improve reading method and upgrade intelligence, a design! of automatic reading system for verification of liquid-in-glass is introduced in this paper.
为改进原检定过程的人工读数方法和提升智能化程度，介绍了玻璃液体温度计自动读数系统的研制方法，讨论了计算机图像处理技术的应用、检定结果的计算。
In order to improve reading method and upgrade intelligence, a design! of automatic reading system for verification of liquid-in-glass is introduced in this paper.
为改进原检定过程的人工读数方法和提升智能化程度，介绍了玻璃液体温度计自动读数系统的研制方法，讨论了计算机图像处理技术的应用、检定结果的计算。
应用推荐