time-frame expansion

基本解釋

Each component has its own expansion of the painting attributes, such as color gradual expansion frame, the alpha channel, real-time shadows.
每個(gè)控件都有自己擴(kuò)展的繪畫屬性，諸如漸進(jìn)色，擴(kuò)展邊框，alpha通道，實(shí)時(shí)陰影。
In pattern generation for sequential circuits at RTL, simulation-based methods avoid the large search space used in time-frame expansion methods, but the quality of patterns cant be guaranteed often.
在時(shí)序電路的RTL激勵(lì)生成中，基于模擬的方法避免了幀擴(kuò)展法龐大的搜索空間，但采用該方法常存在向量過多，質(zhì)量不高等問題。

時(shí)間幀展開
In the algorithm, we first partition the circuit into Logic Cones, do time-frame expansion for sequence cells in Logic Cones, and then convert sequential circuit into combinational circuit, finally use SAT solver to verify the combinational circuit.
該方法首先將部分實(shí)現(xiàn)時(shí)序電路劃分成為邏輯錐,通過把邏輯錐中的時(shí)序單元做時(shí)間幀展開使之內(nèi)部成為組合電路結(jié)構(gòu),再用可滿足性的方法進(jìn)行驗(yàn)證。