纵向可重用相关硕士博士期刊学术论文

现在片上系统（SOC）的复杂度和集成度越来越高，这给验证带来了巨大的挑战．传统的验证方法存在各种不足，在效率方面已经远远达不到生产的......