有限模型判别论文

基于线性规划的RTL性质验证研究
论文摘要集成电路的验证,已经成为其研发的最大障碍。传统的模拟验证技术无法满足当前SOC（System-On-Chip）设计带来的空前巨大的验证需求。基于此,形式化的验证方法作为...