域覆盖率论文

基于仿真的系统芯片功能验证技术研究
论文摘要验证已成为系统芯片（SoC）设计所面临的重大挑战,形式验证所能验证的电路规模远远不能满足设计需要,基于仿真的验证方法一直占统治地位。课题主要研究基于仿真的SoC验证技术...