有限模型判别相关硕士博士期刊学术论文

集成电路的验证,已经成为其研发的最大障碍。传统的模拟验证技术无法满足当前SOC(System-On-Chip)设计带来的空前巨大的验证需求。......