实现函数

函数描述

init_slice()

初始化二维数组slice

traverse_column()

为变量标记所在切片，根据所在切片依次放入二维数组slice中

collect_carry()

确定全加器和半加器的进位变量

fulladder_reduction()

确定全加器和半加器的所有变量