In addition, the application of dynamic verification techniques such as testing remains applicable.
此外，动态验证技术的应用，像测试仍然是可用的。
Thankfully, the sophistication of verification techniques is improving at a rate that makes this at least feasible.
可喜的是，核查技术的复杂化程度正在提升，使得核查至少是可行的。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
To improve the efficiency of functional verification, this paper presents two efficient acceleration techniques: self-verification and co-simulation of mixed model.
为提高验证效率，提出了自验证和混合模型模拟两种模拟加速方法。
The digital signal processing techniques were used on the DSSS signal simulation and verification feature extraction. And the performance of each detection and advantages and disadvantages were given.
采用上述数字信号处理技术分别对DSSS信号进行特征提取的仿真和验证，并给出了每种检测技术的性能及优缺点。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques.
不过，在现实世界工程的现有的工具的部署也显示正式的证实技术的弱点和问题。
Because of this, the book is intended for CAD developers and researchers in the verification domain, where formal techniques become a core technology to successful circuit and system design.
因为这，书为计算机辅助设计开发者和在证实领土的研究人员准备，在那里正式的技术对成功的电路和系统设计成为一项核心技术。
Program verification techniques are code-oriented, but most of them are not capable of describing the property of execution time of practical programs.
而对于实际程序，大多数程序验证技术则不适合验证运行时间。
Clustering techniques usually have to assign the number of clusters, but whether the result really reflects the classification of users needs verification on the validity of cluster.
聚类技术通常必须指定一个聚类个数，这样给出的聚类结果是否合理，是否真正反映了用户群的分类就需要进行聚类有效性的验证。
Automatic off-line signature verification techniques, especially, the detection of skilled forgeries have a great number of challenges to be solved.
自动脱机签名识别技术特别是熟练伪签名检测技术还存在着大量的关键问题亟待解决。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
应用推荐