coverage-driven verification
coverage-driven验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The mechanism is also introduced for MATLAB reference model merged with testbench, functional coverage model define and coverage-driven verification.
并给出该方案中MATLAB参考模型与验证平台的融合，功能覆盖模型的定义以及覆盖率驱动验证机制。
youdao
应用推荐
模块上移
模块下移
不移动