常见数字IC验证技术介绍

IC技术圈

致力于建立知识、人的联系

#验证 #EDA

数字验证有两种技术，动态仿真和静态形式验证（动态仿真也可以实时用sva来检查）。任何一种验证技术都不能解决全部问题，需要相互补充，发挥每个验证技术的长处，才能在项目中得到最好的效果。