Institute of VLSI Design, P.O.Box 1713, Zhejiang University, Hangzhou 310027, China;
机译:使用静态和动态切入点的程序Petri网模型的等效性检查
机译:使用静态和动态切割点的Petri网模型的等价检查
机译:检查与速度无关的电路的等效组合
机译:使用独立切割进行等效性检查逻辑设计验证
机译:模块化设计环境中的有效等效检查。
机译:一种新的基于等效性的度量标准用于进行预测性检查以验证混合效应模型
机译:使用分区和分层切割点进行高效的等效性检查
机译:使用无干扰检查spmD程序的等效性