错误现象

提示 OPT-1217  (error) The register ‘%s’ is not mapped because of a lack of compatible library cells with correct clock/enable phase.

问题原因
设计中存在多于一种时钟提供的DFF,当工具综合设计时，无法将相位不一致的时钟提供给全部寄存器，因此工具会报错。 When mapping registers to library cells, the tool tries to match the desired register clock phase exactly.  When this matching fails due to a difference in clock phase, the register will be left unmapped and this error message will be issued.

解决方案

 如果您的设计允许（包含）不同时钟提供的DFF，请设置 compile_automatic_clock_phase_inference 变量至 relaxed（尽量用同一时钟） 或 none（允许不同时钟） 即可解决该问题。If you want  to allow mapping to a library register with the opposite clock/enable phase,  then you  can use the variable  compile_automatic_clock_phase_inference  to alter  the way that mapping operates. Setting this variable to “none” will instruct the tool to ignore clock phase and allow  mapping to registers with both positive and negative clock/enable phase as needed.  Setting this variable to “relaxed”  will instruct the tool to only try the opposite phase device if there is no other way to implement the register with the automatically  inferred phase.   And,  setting the  variable to “strict” (the default setting) will instruct the tool to reject all library cells whose clock/enable phase does not match  the automatically  inferred phase.