Cool Link
Circuit Transformations, Loop Fusion, and Inductive Proof | Nate Young natetyoung.github.io

natetyoung.github.io/carry_save_fusion/