DEC1 is similar to half adder , b<K> is number of the SAR output code ,DEC2 is like binary caculator keep carry , but how to do this circuit ?