Assertion-based Verification 基于断言的验证方法 ; 基于断言的验证
Transaction-based verification 基于事务的验证 ; 验证 ; 事务的验证
Complete Assertion Based Verification 全面的基于断言的验证
ground-based verification 地面验证
library-based verification 验证库
simulation-based verification 模拟验证
Boolean expression based verification 布尔表达式
transaction-based verification methodology 基于事务的验证方法
hardware-based HDL verification 硬件加速验证技术
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.
还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能。
应用推荐