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.
然而对一个复杂设计,通常在调用综合工具时会进行重定时等时序优化,这些优化容易破坏综合前后设计触发器间对应关系。
参考来源 - 基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
如果你的用色师抽离一个编织夹子和塑料瓶盖,其他人要重定时间表。
If your colorist pulls out a crochet hook and a plastic cap, reschedule with someone else.
有效重定时的判定算法是重定时优化的关键,因此也是时序调整策略的关键。
The effectivelyretiming determining algorithm is key of retiming, so it is the key of sequence adjust strategy.
您的代码可以设置一个五秒钟的定时器,接下来继续进行重绘屏幕等操作。
Your code can set a five-second timer and continue, say, redrawing the screen.
应用推荐