Coverage-driven Verification 覆盖驱动验证 ; 基于覆盖率的验证 ; 覆盖驱动型检验 ; 涵盖率驱动式验证
It clarifies simulation results and makes the simulation more observable. The conclusion shows that functional coverage combined code coverage provide an integrated quality verification gauge.
结果表明:功能覆盖率和代码覆盖率结合在一起为设计和验证提供了一个完整的质量验证标尺。
The functional coverage model was set up based on on-chip-debugging structure features and the virtual verification prototype was built steadily according to the different memory access modes.
根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型。
Domain method is adopted to measure block level verification quality, domain coverage metrics can find more verification holes, compared with line and path coverage metrics.
采用域覆盖率衡量模块级验证工作的充分型,结果表明这种覆盖率相对于行覆盖率和路径覆盖率更能准确衡量验证工作的充分性和发现验证漏洞;
应用推荐