Generate Ripple carrier CNF
Kogge Adder Jsim