CDC 异步检查问题

wls501 · 发表于 2013-7-1 15:53:00

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

第一次使用CDC下面这些ACX1问题如何解决。
坐等高人现身，谢了。。
-----------------------------------------------------------------------------
// Warning: (STRC1.1) Strong combinational loop detected (occurrence:17)
// Warning: (STRC2) Undriven fanin detected (occurrence:144)
// Warning: (STRC6.1) Data port of the DFF is tied (occurrence:9231)
// Warning: (STRC7) Set/Reset port of DFF/DLAT is driven by a multi-input logic gate (occurrence:412)
// Note: (CLK2) DFF/DLAT with gated clock (occurrence:6827)
// Warning: (CLK3) No clock waveform defined for DFF/DLAT (occurrence:195828)
// Warning: (INIT3) Uninitialized DFF/DLAT (occurrence:202694)
// Warning: (FSM1) Initial state of the FSM is not fully specified (occurrence:488)
// Warning: (FSM4.1) FSM terminal state (occurrence:6)
// Warning: (FSM4.2) All outgoing transitions from FSM state are reset transitions (occurrence:350)
// Command: add data association -ind -pi -pio -po -bbox
// Error: (ACX1) Clock port of DFF/DLAT is annotated as an unknown domain (occurrence:195828)
// Command: propagate clock domain
// Command: add syn rule rule_dff1 -dff 2 2 -first_dff -cdc_path logic single -sync_chain wire single
// Command: add syn rule rule_mux1 -mux 0 0
// Command: set cdc option -convergence_check -nogood_chain_convergence -all_domain_convergence
// Command: add cdc check -stru -from -all -to -all
// Error: (ACX3) Clock domain of reset port of DFF/DLAT is unknown (occurrence:172777)
// Error: (ACX4) Clock domain of set port of DFF/DLAT is unknown (occurrence:11723)
// Command: validate