retiming detail再定时
retiming transformation重定时变换
map retiming序调整
Retiming video footage重新定义素材时间
R Regenration Reshaping Retiming再生
R Regenr Reshaping Retiming再生
map -retiming序调整
Synthesis tools may often apply sequential optimizations such as retiming to complex designs and hence destroy the correspondence between flip-flops in both the reference and implementation designs.
然而对一个复杂设计,通常在调用综合工具时会进行重定时等时序优化,这些优化容易破坏综合前后设计触发器间对应关系。
参考来源 - 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究