Masayoshi Yoshimura, Yoshiyasu Takahashi, Hiroshi Yamazaki, Toshinori Hosokawa. A Don't Care Filling Method for Low Capture Power based on Correlation of FF Transitions Using SAT. IEICE Transactions, 100-A(12):2824-2833, 2017. [doi]
Abstract is missing.