Maximum Fanout Free Cone 極大な Fanout Free Cone を Maximum Fanout Free Cone と呼ぶ 参考文献 誤り修正論理合成を用いた論理暗号化手法 DAG-aware AIG rewriting a fresh look at combinational logic synthesis