混合SAT求解器相关硕士博士期刊学术论文 - 信丰网

混合SAT求解器相关论文

一种基于混合SAT求解器的RTL验证方法

为了提高集成电路验证系统的性能,提出一种面向Verilog描述的寄存器传输级（RTL）电路验证方法.该方法将验证问题转化为RTL可满足性问......

期刊

集成电路设计逻辑综合等价性验证混合SAT求解器 integrate circuit design logic synthesis equivalenc

看过本文同时还关注