提示 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.