• 采用SystemVerilog语言，基于VMM构建的平台，借助商 用 验证模型 ( Verification IP )，可大幅提升验证效率，这一 套方法在近几年中正逐渐被业界广为采用。
基于24个网页-相关网页
"一种更好的方法是使用HTTP验证模型（HTTP Validation model）。该模型在每次发送响应时都会添加一个标签（ticket）来保证数据的唯一性。
基于12个网页-相关网页
事务验证模型 Transaction Verification Model
模型验证 [自] model verification ; Model Validation ; Model Checking ; validation
模型验证模块库 Model Verification
模拟模型验证 Verification of simulation models
概念模型验证 conceptional model validation
制模件模型验证 Molded Part Validation
同时提供了模型验证 Model Verifier
测量模型验证 Measurement Model Validation
验证成本预报模型 Cost Forecasting Model ; CFM
And then,combining these factors,the new model for verifying control flow error checking ability is presented. Finally,the ability of the typical signature-based control flow error checking algorithm is analyzed through the verification model.
本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
参考来源 - 基于签名的控制流错误检测算法检测能力的验证模型According to test on H.264 verification model JM 10.2, with the similar Peak Signal to Noise Ratio(PSNR) and bit rate the new algorithm has the minimum computational complexity. That demonstrates the new algorithm is most effective compared with others.
通过在H.264验证模型JM10.2上测试发现,与其他算法相比,本算法在保持相似的峰值信噪比和码率的前提下,计算复杂度最低,表明了本算法的高效性。
参考来源 - 视频编码中运动估计算法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐