时序电路等价验证相关论文
提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不......
当今的VLSI芯片设计给验证带来巨大挑战。形式验证作为传统模拟验证的补充越来越受到重视。提高形式验证的验证规模和速度成为国际......
