https://5dok.net/document/oz1dxd8z-autocorrelation-and-decomposition-methods-in-combinational-logic-design.html