LEC形式验证

ALALAL

LEC检查出现non-equivalent，分析发现是golden merge了两个flops导致的，请问什么命令可以将revised中的对应flops也merge掉呢？试过下边的命令但是会提示找不到net

                               
登录/注册后可看大图

// Command: analyze nonequivalent 6165

Analyzing non-equivalent compared points:

  (G) + 6165   DFF  /fd_tail_ptr_reg_reg[94]

  (R) + 22895  DFF  /fd_tail_ptr_reg_reg_94_/U$1

  Compared points' data are non-equivalent.

  Following two supports may be merged together:

   (R) 20927 DFF /ctxt_info_fd_len_reg_2__2__rep1/U$1

   (R) 9293 DFF /ctxt_info_fd_len_reg_2__2_/U$1

ALALAL

                               
登录/注册后可看大图