自动测试模式生成模型相关硕士博士期刊学术论文

通常的时序电路等价性验证方法是将触发器按时序展开，从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中，触发......