As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
In addition, minimize the use of graphics-based verification points that may dramatically increase the size of the associated files.
另外,使用最小化基于图形的确认点也可以明显带增大相关文件的尺寸。
The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能。
应用推荐