如何约束异步复位端口？

xylimm

在sdc文件中用set_false_path约束异步复位端口rst，但仍然报告UNCONSTRAINED，使用以下三种写法结果都一样：

set_false_path -from [get_ports rst] -to [all_registers]
set_false_path -from [get_ports rst] -to [get_pins {scr_w/ds_reg[0]/aclr scr_r/ds_reg[0]/aclr}]
set_false_path -from [get_ports rst]

综合工具及版本：GENUS 191


调用check_timing_intent命令输出：

Timing exceptions with no effect

The following timing exceptions are not currently affecting timing in the      
design.  Either no paths in the design satisfy the exception's path            
specification, or all paths that satisfy the path specification also satisfy an
exception with a higher priority.  You can improve runtime and memory usage by  
removing these exceptions if they are not truly needed.  To see if there is a   
path in the design that satisfies the path specification for an exception, or   
to see what other exception is overriding an exception because of priority, use
the command:                                                                    
  report timing -paths [eval [::legacy::get_attribute paths <exception>]]

exception:async_fifo_W4_NE3/constraints.sdc_line_7

调用report timing -unconstrained -paths [eval [::legacy::get_attribute paths exception:async_fifo_W4_NE3/constraints.sdc_line_7]]命令输出：

Path 1: UNCONSTRAINED
     Startpoint: (R) rst
       Endpoint: (F) scr_w/ds_reg[0]/aclr

                   Capture    Launch  
      Drv Adjust:+       0        18  
                                      
       Data Path:-      52            

#-----------------------------------------------------------------------------------------------------
#    Timing Point      Flags    Arc    Edge      Cell        Fanout Load Trans Delay Arrival Instance
#                                                                   (fF)  (ps)  (ps)   (ps)  Location
#-----------------------------------------------------------------------------------------------------
  rst                  <<< (u) -       R     (arrival)            2  8.0    43     0      18    (-,-)
  scr_w/g1/z           (a,u)   in_0->z F     unmapped_not         4  8.0     0    34      52    (-,-)
  scr_w/ds_reg[0]/aclr <<<     -       F     unmapped_d_flop      4    -     -     0      52    (-,-)
#-----------------------------------------------------------------------------------------------------

(a) : Net has asynchronous load pins which are being considered ideal.
(u) : Net has unmapped pin(s).


问题1：用set_false_path约束异步复位端口rst，应该怎么写？
问题2：scr_w和scr_r两个模块都使用了rst，为何只报告一个未约束路径？

xylimm

现在临时的解决方案是添加假的约束，让genus不报未约束。有更好的解决方案么？

xylimm

问题2解决了，未约束路径只报1个是因为默认最多报1个，添加选项 -nworst 20 就最多报20个了

upsidedown

异步复位设置false path仍然有warning不算实际问题，工具只是提示这个port没有相关时钟的input delay约束，这并不被以该port作为startpoint的timing path的false path约束影响。可以忽略此warning；如果不想看到warning，可以给复位port设置input delay为0或其他值（任意关联一个时钟即可）。